runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459284-1307135843/watcher-3459284-1307135843 -o /tmp/evaluation-result-3459284-1307135843/solver-3459284-1307135843 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459284-1307135843.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.15 2.18 2/535 11314
/proc/meminfo: memFree=21244116/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 3196 0 1 0 0 0 0 0 25 0 2 0 825180982 13833195520 2898 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3377245 2911 906 9 0 3368401 0
[pid=11314/tid=11315] ppid=11312 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 7538 0 1 0 0 0 0 0 25 0 2 0 825180983 13850947584 8354 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.116707 s]
/proc/loadavg: 2.24 2.15 2.18 2/535 11314
/proc/meminfo: memFree=21244116/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13622448 CPUtime=0.13 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 15835 0 1 0 12 1 0 0 25 0 18 0 825180982 13949386752 15474 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3405612 15475 2133 9 0 3396346 0
[pid=11314/tid=11315] ppid=11312 vsize=13622448 CPUtime=0.1 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 13820 0 1 0 9 1 0 0 25 0 18 0 825180983 13949386752 15475 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46987424328766 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622448
[startup+0.20088 s]
/proc/loadavg: 2.24 2.15 2.18 2/535 11314
/proc/meminfo: memFree=21244116/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13623028 CPUtime=0.26 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 16530 0 1 0 25 1 0 0 25 0 18 0 825180982 13949980672 16169 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3405757 16170 2181 9 0 3396491 0
[pid=11314/tid=11315] ppid=11312 vsize=13623028 CPUtime=0.18 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 14293 0 1 0 17 1 0 0 25 0 18 0 825180983 13949980672 16170 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13623028
[startup+0.300853 s]
/proc/loadavg: 2.24 2.15 2.18 2/535 11314
/proc/meminfo: memFree=21244116/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13624560 CPUtime=0.49 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 18610 0 1 0 47 2 0 0 25 0 19 0 825180982 13951549440 17841 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3406140 17841 2211 9 0 3396874 0
[pid=11314/tid=11315] ppid=11312 vsize=13624560 CPUtime=0.28 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 15460 0 1 0 27 1 0 0 25 0 19 0 825180983 13951549440 17841 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13624560
[startup+0.700773 s]
/proc/loadavg: 2.24 2.15 2.18 2/535 11314
/proc/meminfo: memFree=21244116/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13691440 CPUtime=1.2 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 21414 0 1 0 118 2 0 0 25 0 19 0 825180982 14020034560 19363 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3422860 19363 2252 9 0 3413594 0
[pid=11314/tid=11315] ppid=11312 vsize=13691440 CPUtime=0.67 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 15781 0 1 0 66 1 0 0 25 0 19 0 825180983 14020034560 19363 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46912505662761 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13691440
[startup+1.50169 s]
/proc/loadavg: 2.24 2.15 2.18 3/554 11333
/proc/meminfo: memFree=21172488/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13691440 CPUtime=2.03 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 21930 0 1 0 201 2 0 0 25 0 19 0 825180982 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3422860 19876 2252 9 0 3413594 0
[pid=11314/tid=11315] ppid=11312 vsize=13691440 CPUtime=1.44 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 15784 0 1 0 143 1 0 0 18 0 19 0 825180983 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46912505643639 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11314/tid=11317] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11317/stat : 11317 (java) S 11312 11314 7151 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11318] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11318/stat : 11318 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11319] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11319/stat : 11319 (java) S 11312 11314 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11320] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11320/stat : 11320 (java) S 11312 11314 7151 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11321] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11321/stat : 11321 (java) S 11312 11314 7151 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11322] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11322/stat : 11322 (java) S 11312 11314 7151 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11323] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11323/stat : 11323 (java) S 11312 11314 7151 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11324] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11324/stat : 11324 (java) S 11312 11314 7151 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11325] ppid=11312 vsize=13691440 CPUtime=0.03 cores=1,3,5,7
/proc/11314/task/11325/stat : 11325 (java) S 11312 11314 7151 0 -1 4202560 481 0 0 0 3 0 0 0 16 0 19 0 825180986 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11326] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11326/stat : 11326 (java) S 11312 11314 7151 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825180986 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11327] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11327/stat : 11327 (java) S 11312 11314 7151 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825180986 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11328] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11328/stat : 11328 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11329] ppid=11312 vsize=13691440 CPUtime=0.31 cores=1,3,5,7
/proc/11314/task/11329/stat : 11329 (java) S 11312 11314 7151 0 -1 4202560 2312 0 0 0 31 0 0 0 17 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11330] ppid=11312 vsize=13691440 CPUtime=0.21 cores=1,3,5,7
/proc/11314/task/11330/stat : 11330 (java) S 11312 11314 7151 0 -1 4202560 1637 0 0 0 21 0 0 0 15 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11331] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11331/stat : 11331 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11332] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11332/stat : 11332 (java) S 11312 11314 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11333] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11333/stat : 11333 (java) S 11312 11314 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181012 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13691440
Solver just ended. Dumping a history of the last processes samples
[startup+1.60167 s]
/proc/loadavg: 2.24 2.15 2.18 3/554 11333
/proc/meminfo: memFree=21172488/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13691440 CPUtime=2.13 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 21930 0 1 0 211 2 0 0 25 0 19 0 825180982 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3422860 19876 2252 9 0 3413594 0
[pid=11314/tid=11315] ppid=11312 vsize=13691440 CPUtime=1.54 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 15784 0 1 0 153 1 0 0 18 0 19 0 825180983 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46912505643719 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11314/tid=11317] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11317/stat : 11317 (java) S 11312 11314 7151 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11318] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11318/stat : 11318 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11319] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11319/stat : 11319 (java) S 11312 11314 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11320] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11320/stat : 11320 (java) S 11312 11314 7151 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11321] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11321/stat : 11321 (java) S 11312 11314 7151 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11322] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11322/stat : 11322 (java) S 11312 11314 7151 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11323] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11323/stat : 11323 (java) S 11312 11314 7151 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11324] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11324/stat : 11324 (java) S 11312 11314 7151 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 825180985 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11325] ppid=11312 vsize=13691440 CPUtime=0.03 cores=1,3,5,7
/proc/11314/task/11325/stat : 11325 (java) S 11312 11314 7151 0 -1 4202560 481 0 0 0 3 0 0 0 16 0 19 0 825180986 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11326] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11326/stat : 11326 (java) S 11312 11314 7151 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825180986 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11327] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11327/stat : 11327 (java) S 11312 11314 7151 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825180986 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11328] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11328/stat : 11328 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11329] ppid=11312 vsize=13691440 CPUtime=0.31 cores=1,3,5,7
/proc/11314/task/11329/stat : 11329 (java) S 11312 11314 7151 0 -1 4202560 2312 0 0 0 31 0 0 0 17 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11330] ppid=11312 vsize=13691440 CPUtime=0.21 cores=1,3,5,7
/proc/11314/task/11330/stat : 11330 (java) S 11312 11314 7151 0 -1 4202560 1637 0 0 0 21 0 0 0 15 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11331] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11331/stat : 11331 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11332] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11332/stat : 11332 (java) S 11312 11314 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 825180988 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11333] ppid=11312 vsize=13691440 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11333/stat : 11333 (java) S 11312 11314 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825181012 14020034560 19876 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 13691440
[startup+1.80465 s]
/proc/loadavg: 2.24 2.15 2.18 3/554 11333
/proc/meminfo: memFree=21172488/32950928 swapFree=34259960/67111528
[pid=11314] ppid=11312 vsize=13691440 CPUtime=2.35 cores=1,3,5,7
/proc/11314/stat : 11314 (java) S 11312 11314 7151 0 -1 4202496 22127 0 1 0 233 2 0 0 25 0 19 0 825180982 14020034560 20058 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/11314/statm: 3422860 20060 2252 9 0 3413594 0
[pid=11314/tid=11315] ppid=11312 vsize=13691440 CPUtime=1.72 cores=1,3,5,7
/proc/11314/task/11315/stat : 11315 (java) R 11312 11314 7151 0 -1 4202560 15787 0 1 0 171 1 0 0 18 0 19 0 825180983 14020034560 20060 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46987422570515 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11314/tid=11317] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11317/stat : 11317 (java) S 11312 11314 7151 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20061 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11318] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11318/stat : 11318 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20062 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11319] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11319/stat : 11319 (java) S 11312 11314 7151 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20062 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11320] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11320/stat : 11320 (java) S 11312 11314 7151 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20068 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11321] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11321/stat : 11321 (java) S 11312 11314 7151 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20068 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11322] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11322/stat : 11322 (java) S 11312 11314 7151 0 -1 4202560 115 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11323] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11323/stat : 11323 (java) S 11312 11314 7151 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11324] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11324/stat : 11324 (java) S 11312 11314 7151 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 20 0 825180985 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 7 0 0 0
[pid=11314/tid=11325] ppid=11312 vsize=13692468 CPUtime=0.05 cores=1,3,5,7
/proc/11314/task/11325/stat : 11325 (java) S 11312 11314 7151 0 -1 4202560 481 0 0 0 5 0 0 0 16 0 20 0 825180986 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 0 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11326] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11326/stat : 11326 (java) S 11312 11314 7151 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 20 0 825180986 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11327] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11327/stat : 11327 (java) S 11312 11314 7151 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 20 0 825180986 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11328] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11328/stat : 11328 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 825180988 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512515505 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11329] ppid=11312 vsize=13692468 CPUtime=0.33 cores=1,3,5,7
/proc/11314/task/11329/stat : 11329 (java) R 11312 11314 7151 0 -1 4202560 2389 0 0 0 33 0 0 0 15 0 20 0 825180988 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 46987420997012 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11314/tid=11330] ppid=11312 vsize=13692468 CPUtime=0.22 cores=1,3,5,7
/proc/11314/task/11330/stat : 11330 (java) S 11312 11314 7151 0 -1 4202560 1638 0 0 0 22 0 0 0 15 0 20 0 825180988 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11331] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11331/stat : 11331 (java) S 11312 11314 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 825180988 14021087232 20069 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512507801 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
[pid=11314/tid=11332] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11332/stat : 11332 (java) S 11312 11314 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 825180988 14021087232 20070 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 5 0 0 0
[pid=11314/tid=11333] ppid=11312 vsize=13692468 CPUtime=0 cores=1,3,5,7
/proc/11314/task/11333/stat : 11333 (java) S 11312 11314 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 825181012 14021087232 20070 33554432000 1073741824 1073778376 140734979200832 18446744073709551615 254512508416 0 4 0 16800975 18446604456459772992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 13691440
Child status: 10
Real time (s): 1.82772
CPU time (s): 2.38464
CPU user time (s): 2.35464
CPU system time (s): 0.029995
CPU usage (%): 130.471
Max. virtual memory (cumulated for all children) (KiB): 13691440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.35464
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22195
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 342
involuntary context switches= 73
runsolver used 0.006998 second user time and 0.032994 second system time
The end