runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/1092.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//1092.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/1092.cudf.caixa.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.05 1.06 3/35 13158 /proc/meminfo: memFree=672832/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) R 13156 13157 29493 34817 29493 4202496 356 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2564 CPUtime=0 /proc/13158/stat : 13158 (p2cudf-trendy-1) R 13157 13157 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75334872 2625536 40 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/13158/statm: 641 40 0 194 0 28 0 [startup+0.125855 s] /proc/loadavg: 1.00 1.05 1.06 3/35 13158 /proc/meminfo: memFree=672832/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.205857 s] /proc/loadavg: 1.00 1.05 1.06 3/35 13158 /proc/meminfo: memFree=672832/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.305872 s] /proc/loadavg: 1.00 1.05 1.06 3/35 13158 /proc/meminfo: memFree=672832/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.705951 s] /proc/loadavg: 1.00 1.05 1.06 3/35 13158 /proc/meminfo: memFree=672832/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+1.50613 s] /proc/loadavg: 1.00 1.05 1.06 5/46 13180 /proc/meminfo: memFree=631620/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 [pid=13171] ppid=13158 vsize=881720 CPUtime=1.46 /proc/13171/stat : 13171 (java) S 13158 13157 29493 34817 29493 4202496 18049 0 1 0 141 5 0 0 25 0 10 0 75334875 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13171/statm: 220430 13501 1727 10 0 217521 0 [pid=13171/tid=13172] ppid=13158 vsize=881720 CPUtime=0.64 /proc/13171/task/13172/stat : 13172 (java) R 13158 13157 29493 34817 29493 4202560 5880 0 1 0 62 2 0 0 25 0 10 0 75334876 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13171/tid=13173] ppid=13158 vsize=881720 CPUtime=0.01 /proc/13171/task/13173/stat : 13173 (java) S 13158 13157 29493 34817 29493 4202560 7 0 0 0 1 0 0 0 15 0 10 0 75334877 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13174] ppid=13158 vsize=881720 CPUtime=0 /proc/13171/task/13174/stat : 13174 (java) S 13158 13157 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75334878 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13175] ppid=13158 vsize=881720 CPUtime=0 /proc/13171/task/13175/stat : 13175 (java) S 13158 13157 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75334878 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13176] ppid=13158 vsize=881720 CPUtime=0 /proc/13171/task/13176/stat : 13176 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75334880 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13177] ppid=13158 vsize=881720 CPUtime=0.55 /proc/13171/task/13177/stat : 13177 (java) R 13158 13157 29493 34817 29493 4202560 8837 0 0 0 52 3 0 0 22 0 10 0 75334880 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4150358981 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13171/tid=13178] ppid=13158 vsize=881720 CPUtime=0.25 /proc/13171/task/13178/stat : 13178 (java) R 13158 13157 29493 34817 29493 4202560 2252 0 0 0 25 0 0 0 24 0 10 0 75334881 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4149380916 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13171/tid=13179] ppid=13158 vsize=881720 CPUtime=0 /proc/13171/task/13179/stat : 13179 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75334881 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13180] ppid=13158 vsize=881720 CPUtime=0 /proc/13171/task/13180/stat : 13180 (java) S 13158 13157 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75334881 902881280 13501 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 886856 [startup+3.1059 s] /proc/loadavg: 1.00 1.05 1.06 4/46 13180 /proc/meminfo: memFree=557840/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 [pid=13171] ppid=13158 vsize=882352 CPUtime=2.87 /proc/13171/stat : 13171 (java) S 13158 13157 29493 34817 29493 4202496 56417 0 1 0 265 22 0 0 25 0 11 0 75334875 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13171/statm: 220588 51432 1744 10 0 217679 0 [pid=13171/tid=13172] ppid=13158 vsize=882352 CPUtime=1.56 /proc/13171/task/13172/stat : 13172 (java) S 13158 13157 29493 34817 29493 4202560 43501 0 1 0 138 18 0 0 25 0 11 0 75334876 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13173] ppid=13158 vsize=882352 CPUtime=0.01 /proc/13171/task/13173/stat : 13173 (java) S 13158 13157 29493 34817 29493 4202560 7 0 0 0 1 0 0 0 15 0 11 0 75334877 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13174] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13174/stat : 13174 (java) S 13158 13157 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 75334878 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13175] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13175/stat : 13175 (java) S 13158 13157 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75334878 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13176] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13176/stat : 13176 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75334880 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13177] ppid=13158 vsize=882352 CPUtime=0.93 /proc/13171/task/13177/stat : 13177 (java) S 13158 13157 29493 34817 29493 4202560 9459 0 0 0 90 3 0 0 19 0 11 0 75334880 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13178] ppid=13158 vsize=882352 CPUtime=0.36 /proc/13171/task/13178/stat : 13178 (java) S 13158 13157 29493 34817 29493 4202560 2373 0 0 0 36 0 0 0 25 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13179] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13179/stat : 13179 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13180] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13180/stat : 13180 (java) S 13158 13157 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 887488 Solver just ended. Dumping a history of the last processes samples [startup+3.20597 s] /proc/loadavg: 1.00 1.05 1.06 4/46 13180 /proc/meminfo: memFree=557840/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 [pid=13171] ppid=13158 vsize=882352 CPUtime=2.87 /proc/13171/stat : 13171 (java) S 13158 13157 29493 34817 29493 4202496 56417 0 1 0 265 22 0 0 25 0 11 0 75334875 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13171/statm: 220588 51432 1744 10 0 217679 0 [pid=13171/tid=13172] ppid=13158 vsize=882352 CPUtime=1.56 /proc/13171/task/13172/stat : 13172 (java) S 13158 13157 29493 34817 29493 4202560 43501 0 1 0 138 18 0 0 25 0 11 0 75334876 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13173] ppid=13158 vsize=882352 CPUtime=0.01 /proc/13171/task/13173/stat : 13173 (java) S 13158 13157 29493 34817 29493 4202560 7 0 0 0 1 0 0 0 15 0 11 0 75334877 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13174] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13174/stat : 13174 (java) S 13158 13157 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 75334878 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13175] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13175/stat : 13175 (java) S 13158 13157 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75334878 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13176] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13176/stat : 13176 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75334880 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13177] ppid=13158 vsize=882352 CPUtime=0.93 /proc/13171/task/13177/stat : 13177 (java) S 13158 13157 29493 34817 29493 4202560 9459 0 0 0 90 3 0 0 19 0 11 0 75334880 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13178] ppid=13158 vsize=882352 CPUtime=0.36 /proc/13171/task/13178/stat : 13178 (java) S 13158 13157 29493 34817 29493 4202560 2373 0 0 0 36 0 0 0 25 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13179] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13179/stat : 13179 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13180] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13180/stat : 13180 (java) S 13158 13157 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 887488 [startup+3.40594 s] /proc/loadavg: 1.00 1.05 1.06 1/47 13181 /proc/meminfo: memFree=473140/1048576 swapFree=0/0 [pid=13157] ppid=13156 vsize=2564 CPUtime=0 /proc/13157/stat : 13157 (p2cudf-trendy-1) S 13156 13157 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75334871 2625536 270 1283457024 134512640 135304128 4289203376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13157/statm: 641 270 230 194 0 28 0 [pid=13158] ppid=13157 vsize=2572 CPUtime=0.03 /proc/13158/stat : 13158 (p2cudf) S 13157 13157 29493 34817 29493 4202496 392 3015 0 1 0 0 1 2 25 0 1 0 75334872 2633728 281 1283457024 134512640 135304128 4291520224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13158/statm: 643 281 239 194 0 30 0 [pid=13171] ppid=13158 vsize=882352 CPUtime=2.87 /proc/13171/stat : 13171 (java) S 13158 13157 29493 34817 29493 4202496 56417 0 1 0 265 22 0 0 25 0 11 0 75334875 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/13171/statm: 220588 51432 1744 10 0 217679 0 [pid=13171/tid=13172] ppid=13158 vsize=882352 CPUtime=1.56 /proc/13171/task/13172/stat : 13172 (java) S 13158 13157 29493 34817 29493 4202560 43501 0 1 0 138 18 0 0 25 0 11 0 75334876 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13173] ppid=13158 vsize=882352 CPUtime=0.01 /proc/13171/task/13173/stat : 13173 (java) S 13158 13157 29493 34817 29493 4202560 7 0 0 0 1 0 0 0 15 0 11 0 75334877 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 0 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13174] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13174/stat : 13174 (java) S 13158 13157 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 75334878 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13175] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13175/stat : 13175 (java) S 13158 13157 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75334878 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13176] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13176/stat : 13176 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75334880 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13177] ppid=13158 vsize=882352 CPUtime=0.93 /proc/13171/task/13177/stat : 13177 (java) S 13158 13157 29493 34817 29493 4202560 9459 0 0 0 90 3 0 0 19 0 11 0 75334880 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13178] ppid=13158 vsize=882352 CPUtime=0.36 /proc/13171/task/13178/stat : 13178 (java) S 13158 13157 29493 34817 29493 4202560 2373 0 0 0 36 0 0 0 25 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13179] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13179/stat : 13179 (java) S 13158 13157 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13180] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13180/stat : 13180 (java) S 13158 13157 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75334881 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 [pid=13171/tid=13181] ppid=13158 vsize=882352 CPUtime=0 /proc/13171/task/13181/stat : 13181 (java) S 13158 13157 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75335163 903528448 51432 1283457024 134512640 134550932 4292212256 18446744073709551615 4294960130 0 4 0 16800975 18446612133395009856 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 887488 Child status: 0 Real time (s): 3.49303 CPU time (s): 2.94018 CPU user time (s): 2.66817 CPU system time (s): 0.272017 CPU usage (%): 84.1729 Max. virtual memory (cumulated for all children) (KiB): 888744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.66817 system time used= 0.272017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60225 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 211 involuntary context switches= 177 runsolver used 0 second user time and 0 second system time The end