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-3455561-1307196855/watcher-3455561-1307196855 -o /tmp/evaluation-result-3455561-1307196855/solver-3455561-1307196855 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455561-1307196855.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: 3.50 3.62 3.55 4/509 24283
/proc/meminfo: memFree=17833112/32951124 swapFree=46575304/67111528
[pid=24283] ppid=24281 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 23882 0 -1 4202496 4200 0 1 0 0 0 0 0 25 0 2 0 563876738 10694979584 3902 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 2611079 3916 917 9 0 2602235 0
[pid=24283/tid=24284] ppid=24281 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 23882 0 -1 4202560 7102 0 1 0 0 0 0 0 25 0 2 0 563876739 10694979584 7918 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.081558 s]
/proc/loadavg: 3.50 3.62 3.55 4/509 24283
/proc/meminfo: memFree=17833112/32951124 swapFree=46575304/67111528
[pid=24283] ppid=24281 vsize=10538768 CPUtime=0.07 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 23882 0 -1 4202496 12294 0 1 0 6 1 0 0 25 0 18 0 563876738 10791698432 11991 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 2634692 11992 1914 9 0 2625426 0
[pid=24283/tid=24284] ppid=24281 vsize=10538768 CPUtime=0.07 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 23882 0 -1 4202560 10899 0 1 0 6 1 0 0 18 0 18 0 563876739 10791698432 11993 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 47617467606552 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538768
[startup+0.100556 s]
/proc/loadavg: 3.50 3.62 3.55 4/509 24283
/proc/meminfo: memFree=17833112/32951124 swapFree=46575304/67111528
[pid=24283] ppid=24281 vsize=10539540 CPUtime=0.1 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 23882 0 -1 4202496 13131 0 1 0 9 1 0 0 25 0 18 0 563876738 10792488960 12793 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 2634885 12793 2092 9 0 2625619 0
[pid=24283/tid=24284] ppid=24281 vsize=10539540 CPUtime=0.09 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) R 24281 24283 23882 0 -1 4202560 11169 0 1 0 8 1 0 0 18 0 18 0 563876739 10792488960 12793 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 47617469041491 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539540
[startup+0.300519 s]
/proc/loadavg: 3.50 3.62 3.55 4/509 24283
/proc/meminfo: memFree=17833112/32951124 swapFree=46575304/67111528
[pid=24283] ppid=24281 vsize=10545088 CPUtime=0.49 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 23882 0 -1 4202496 15645 0 1 0 47 2 0 0 25 0 22 0 563876738 10798170112 15131 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 2636272 15131 2212 9 0 2627006 0
[pid=24283/tid=24284] ppid=24281 vsize=10545088 CPUtime=0.27 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) S 24281 24283 23882 0 -1 4202560 12672 0 1 0 26 1 0 0 19 0 22 0 563876739 10798170112 15131 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10545088
[startup+0.700451 s]
/proc/loadavg: 3.50 3.62 3.55 4/509 24283
/proc/meminfo: memFree=17833112/32951124 swapFree=46575304/67111528
[pid=24283] ppid=24281 vsize=10545552 CPUtime=0.57 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 23882 0 -1 4202496 16158 0 1 0 55 2 0 0 25 0 19 0 563876738 10798645248 15466 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 2636388 15466 2217 9 0 2627122 0
[pid=24283/tid=24284] ppid=24281 vsize=10545552 CPUtime=0.27 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) S 24281 24283 23882 0 -1 4202560 12672 0 1 0 26 1 0 0 19 0 19 0 563876739 10798645248 15466 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10545552
Solver just ended. Dumping a history of the last processes samples
[startup+1.11938 s]
/proc/loadavg: 3.50 3.62 3.55 3/529 24308
/proc/meminfo: memFree=17776232/32951124 swapFree=46575304/67111528
[pid=24283] ppid=24281 vsize=10546924 CPUtime=0.67 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 23882 0 -1 4202496 17506 0 1 0 65 2 0 0 25 0 20 0 563876738 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 2636731 15927 2218 9 0 2627465 0
[pid=24283/tid=24284] ppid=24281 vsize=10546924 CPUtime=0.27 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) S 24281 24283 23882 0 -1 4202560 12753 0 1 0 26 1 0 0 16 0 20 0 563876739 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 23882 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 23882 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 563876741 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 0 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 23882 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 563876742 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 23882 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 563876742 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672485809 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=10546924 CPUtime=0.18 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) S 24281 24283 23882 0 -1 4202560 2118 0 0 0 18 0 0 0 21 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 3 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=10546924 CPUtime=0.13 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 23882 0 -1 4202560 1289 0 0 0 13 0 0 0 15 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 3 0 0 0
[pid=24283/tid=24304] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24304/stat : 24304 (java) S 24281 24283 23882 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 563876767 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24308] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24308/stat : 24308 (java) S 24281 24283 23882 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 563876819 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10546924
[startup+1.30137 s]
/proc/loadavg: 3.50 3.62 3.55 3/529 24308
/proc/meminfo: memFree=17776232/32951124 swapFree=46575304/67111528
[pid=24283] ppid=24281 vsize=10546924 CPUtime=0.67 cores=1,3,5,7
/proc/24283/stat : 24283 (java) S 24281 24283 23882 0 -1 4202496 17506 0 1 0 65 2 0 0 25 0 20 0 563876738 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/24283/statm: 2636731 15927 2218 9 0 2627465 0
[pid=24283/tid=24284] ppid=24281 vsize=10546924 CPUtime=0.27 cores=1,3,5,7
/proc/24283/task/24284/stat : 24284 (java) S 24281 24283 23882 0 -1 4202560 12753 0 1 0 26 1 0 0 16 0 20 0 563876739 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24286] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24286/stat : 24286 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24287] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24287/stat : 24287 (java) S 24281 24283 23882 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24288] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24288/stat : 24288 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24289] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24289/stat : 24289 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24290] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24290/stat : 24290 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24291] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24291/stat : 24291 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24292] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24292/stat : 24292 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24293] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24293/stat : 24293 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876740 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24294] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24294/stat : 24294 (java) S 24281 24283 23882 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 563876741 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 0 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24295] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24295/stat : 24295 (java) S 24281 24283 23882 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 563876742 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24296] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24296/stat : 24296 (java) S 24281 24283 23882 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 563876742 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24297] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24297/stat : 24297 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672485809 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24298] ppid=24281 vsize=10546924 CPUtime=0.18 cores=1,3,5,7
/proc/24283/task/24298/stat : 24298 (java) S 24281 24283 23882 0 -1 4202560 2118 0 0 0 18 0 0 0 21 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 3 0 0 0
[pid=24283/tid=24299] ppid=24281 vsize=10546924 CPUtime=0.13 cores=1,3,5,7
/proc/24283/task/24299/stat : 24299 (java) S 24281 24283 23882 0 -1 4202560 1289 0 0 0 13 0 0 0 15 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 5 0 0 0
[pid=24283/tid=24300] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24300/stat : 24300 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478105 0 4 0 16800975 18446604457159234880 0 0 -1 1 0 0 0
[pid=24283/tid=24301] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24301/stat : 24301 (java) S 24281 24283 23882 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 563876744 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 3 0 0 0
[pid=24283/tid=24304] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24304/stat : 24304 (java) S 24281 24283 23882 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 563876767 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
[pid=24283/tid=24308] ppid=24281 vsize=10546924 CPUtime=0 cores=1,3,5,7
/proc/24283/task/24308/stat : 24308 (java) S 24281 24283 23882 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 563876819 10800050176 15927 33554432000 1073741824 1073778376 140734138393392 18446744073709551615 268672478720 0 4 0 16800975 18446604457159234880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10546924
Child status: 30
Real time (s): 1.31267
CPU time (s): 0.684895
CPU user time (s): 0.6549
CPU system time (s): 0.029995
CPU usage (%): 52.1758
Max. virtual memory (cumulated for all children) (KiB): 10546924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.6549
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= 17529
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= 192
involuntary context switches= 14
runsolver used 0.009998 second user time and 0.026995 second system time
The end