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-3457972-1307163611/watcher-3457972-1307163611 -o /tmp/evaluation-result-3457972-1307163611/solver-3457972-1307163611 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3457972-1307163611.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: 0.94 1.03 1.29 2/482 22599
/proc/meminfo: memFree=24828400/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 1235 0 0 0 0 0 0 0 25 0 2 0 906591778 31260672 955 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 7632 955 728 9 0 383 0
[pid=22598/tid=22601] ppid=22595 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 4552 0 1 0 0 0 0 0 25 0 2 0 906591779 13850947584 5368 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.052063 s]
/proc/loadavg: 0.94 1.03 1.29 2/482 22599
/proc/meminfo: memFree=24828400/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 13784 0 1 0 2 1 0 0 25 0 13 0 906591778 13874667520 13481 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3387370 13482 1675 9 0 3378118 0
[pid=22598/tid=22601] ppid=22595 vsize=13549480 CPUtime=0.03 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 12638 0 1 0 2 1 0 0 25 0 13 0 906591779 13874667520 13482 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917220811 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13549480
[startup+0.102388 s]
/proc/loadavg: 0.94 1.03 1.29 2/482 22599
/proc/meminfo: memFree=24828400/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13621904 CPUtime=0.1 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 15437 0 1 0 8 2 0 0 25 0 18 0 906591778 13948829696 15132 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3405476 15134 2092 9 0 3396210 0
[pid=22598/tid=22601] ppid=22595 vsize=13621904 CPUtime=0.08 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 13575 0 1 0 7 1 0 0 25 0 18 0 906591779 13948829696 15134 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 47815526990595 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621904
[startup+0.301018 s]
/proc/loadavg: 0.94 1.03 1.29 2/482 22599
/proc/meminfo: memFree=24828400/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13626068 CPUtime=0.45 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 18882 0 1 0 42 3 0 0 25 0 18 0 906591778 13953093632 18116 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3406517 18116 2220 9 0 3397251 0
[pid=22598/tid=22601] ppid=22595 vsize=13626068 CPUtime=0.28 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 15428 0 1 0 26 2 0 0 25 0 18 0 906591779 13953093632 18116 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 13626068
[startup+0.700944 s]
/proc/loadavg: 0.94 1.03 1.29 2/482 22599
/proc/meminfo: memFree=24828400/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13626880 CPUtime=1.12 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 20554 0 1 0 109 3 0 0 25 0 19 0 906591778 13953925120 18678 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3406720 18678 2234 9 0 3397454 0
[pid=22598/tid=22601] ppid=22595 vsize=13626880 CPUtime=0.68 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 15809 0 1 0 66 2 0 0 25 0 19 0 906591779 13953925120 18678 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 46912505698780 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 13626880
[startup+1.5008 s]
/proc/loadavg: 0.94 1.03 1.29 5/520 22637
/proc/meminfo: memFree=24681484/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13650152 CPUtime=2.17 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 29804 0 1 0 213 4 0 0 25 0 19 0 906591778 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3412538 25346 2262 9 0 3403272 0
[pid=22598/tid=22601] ppid=22595 vsize=13650152 CPUtime=1.46 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 16029 0 1 0 144 2 0 0 25 0 19 0 906591779 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 46912505644958 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22598/tid=22612] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22595 22598 22562 0 -1 4202560 29 0 0 0 0 0 0 0 17 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22613] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22595 22598 22562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22614] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22595 22598 22562 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22615] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22595 22598 22562 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22616] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22595 22598 22562 0 -1 4202560 186 0 0 0 0 0 0 0 17 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22617] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22595 22598 22562 0 -1 4202560 31 0 0 0 0 0 0 0 17 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22618] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22618/stat : 22618 (java) S 22595 22598 22562 0 -1 4202560 204 0 0 0 0 0 0 0 18 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22619] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22619/stat : 22619 (java) S 22595 22598 22562 0 -1 4202560 212 0 0 0 0 0 0 0 17 0 19 0 906591781 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22621] ppid=22595 vsize=13650152 CPUtime=0.01 cores=1,3,5,7
/proc/22598/task/22621/stat : 22621 (java) S 22595 22598 22562 0 -1 4202560 659 0 0 0 1 0 0 0 17 0 19 0 906591782 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 0 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22623] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22623/stat : 22623 (java) S 22595 22598 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22625] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22625/stat : 22625 (java) S 22595 22598 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22626] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22626/stat : 22626 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917217713 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22627] ppid=22595 vsize=13650152 CPUtime=0.42 cores=1,3,5,7
/proc/22598/task/22627/stat : 22627 (java) S 22595 22598 22562 0 -1 4202560 9138 0 0 0 41 1 0 0 19 0 19 0 906591785 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
[pid=22598/tid=22630] ppid=22595 vsize=13650152 CPUtime=0.25 cores=1,3,5,7
/proc/22598/task/22630/stat : 22630 (java) S 22595 22598 22562 0 -1 4202560 2160 0 0 0 25 0 0 0 21 0 19 0 906591785 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22632] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22632/stat : 22632 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22634] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22634/stat : 22634 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906591785 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22637] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22637/stat : 22637 (java) S 22595 22598 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906591808 13977755648 25346 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 13650152
[startup+3.1005 s]
/proc/loadavg: 0.94 1.03 1.29 3/520 22637
/proc/meminfo: memFree=24650580/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13650152 CPUtime=3.8 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 30873 0 1 0 376 4 0 0 25 0 19 0 906591778 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3412538 26413 2262 9 0 3403272 0
[pid=22598/tid=22601] ppid=22595 vsize=13650152 CPUtime=3.02 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 16032 0 1 0 300 2 0 0 25 0 19 0 906591779 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 46912505637850 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22598/tid=22612] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22595 22598 22562 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22613] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22595 22598 22562 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22614] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22595 22598 22562 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22615] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22595 22598 22562 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22616] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22595 22598 22562 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22617] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22595 22598 22562 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22618] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22618/stat : 22618 (java) S 22595 22598 22562 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22619] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22619/stat : 22619 (java) S 22595 22598 22562 0 -1 4202560 227 0 0 0 0 0 0 0 16 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22621] ppid=22595 vsize=13650152 CPUtime=0.04 cores=1,3,5,7
/proc/22598/task/22621/stat : 22621 (java) S 22595 22598 22562 0 -1 4202560 1162 0 0 0 4 0 0 0 16 0 19 0 906591782 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 0 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22623] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22623/stat : 22623 (java) S 22595 22598 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22625] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22625/stat : 22625 (java) S 22595 22598 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22626] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22626/stat : 22626 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917217713 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22627] ppid=22595 vsize=13650152 CPUtime=0.44 cores=1,3,5,7
/proc/22598/task/22627/stat : 22627 (java) S 22595 22598 22562 0 -1 4202560 9138 0 0 0 43 1 0 0 15 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
[pid=22598/tid=22630] ppid=22595 vsize=13650152 CPUtime=0.26 cores=1,3,5,7
/proc/22598/task/22630/stat : 22630 (java) S 22595 22598 22562 0 -1 4202560 2160 0 0 0 26 0 0 0 15 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22632] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22632/stat : 22632 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22634] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22634/stat : 22634 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22637] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22637/stat : 22637 (java) S 22595 22598 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906591808 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13650152
Solver just ended. Dumping a history of the last processes samples
[startup+3.90136 s]
/proc/loadavg: 0.94 1.03 1.29 3/520 22637
/proc/meminfo: memFree=24642032/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13650152 CPUtime=4.6 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 30873 0 1 0 456 4 0 0 25 0 19 0 906591778 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3412538 26413 2262 9 0 3403272 0
[pid=22598/tid=22601] ppid=22595 vsize=13650152 CPUtime=3.83 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 16032 0 1 0 381 2 0 0 25 0 19 0 906591779 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 46912505357473 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22598/tid=22612] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22595 22598 22562 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22613] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22595 22598 22562 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22614] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22595 22598 22562 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22615] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22595 22598 22562 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22616] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22595 22598 22562 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22617] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22595 22598 22562 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22618] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22618/stat : 22618 (java) S 22595 22598 22562 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22619] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22619/stat : 22619 (java) S 22595 22598 22562 0 -1 4202560 227 0 0 0 0 0 0 0 16 0 19 0 906591781 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22621] ppid=22595 vsize=13650152 CPUtime=0.04 cores=1,3,5,7
/proc/22598/task/22621/stat : 22621 (java) S 22595 22598 22562 0 -1 4202560 1162 0 0 0 4 0 0 0 15 0 19 0 906591782 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 0 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22623] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22623/stat : 22623 (java) S 22595 22598 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22625] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22625/stat : 22625 (java) S 22595 22598 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22626] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22626/stat : 22626 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917217713 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22627] ppid=22595 vsize=13650152 CPUtime=0.44 cores=1,3,5,7
/proc/22598/task/22627/stat : 22627 (java) S 22595 22598 22562 0 -1 4202560 9138 0 0 0 43 1 0 0 15 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
[pid=22598/tid=22630] ppid=22595 vsize=13650152 CPUtime=0.26 cores=1,3,5,7
/proc/22598/task/22630/stat : 22630 (java) S 22595 22598 22562 0 -1 4202560 2160 0 0 0 26 0 0 0 15 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22632] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22632/stat : 22632 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22634] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22634/stat : 22634 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906591785 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22637] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22637/stat : 22637 (java) S 22595 22598 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906591808 13977755648 26413 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 13650152
[startup+4.10132 s]
/proc/loadavg: 0.94 1.03 1.29 3/520 22637
/proc/meminfo: memFree=24642032/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13650152 CPUtime=4.82 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 30877 0 1 0 478 4 0 0 25 0 19 0 906591778 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3412538 26417 2262 9 0 3403272 0
[pid=22598/tid=22601] ppid=22595 vsize=13650152 CPUtime=4.03 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 16032 0 1 0 401 2 0 0 25 0 19 0 906591779 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 46912505783460 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22598/tid=22612] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22595 22598 22562 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22613] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22595 22598 22562 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22614] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22595 22598 22562 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22615] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22595 22598 22562 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22616] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22595 22598 22562 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22617] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22595 22598 22562 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22618] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22618/stat : 22618 (java) S 22595 22598 22562 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22619] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22619/stat : 22619 (java) S 22595 22598 22562 0 -1 4202560 227 0 0 0 0 0 0 0 16 0 19 0 906591781 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22621] ppid=22595 vsize=13650152 CPUtime=0.04 cores=1,3,5,7
/proc/22598/task/22621/stat : 22621 (java) S 22595 22598 22562 0 -1 4202560 1162 0 0 0 4 0 0 0 15 0 19 0 906591782 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 0 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22623] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22623/stat : 22623 (java) S 22595 22598 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22625] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22625/stat : 22625 (java) S 22595 22598 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22626] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22626/stat : 22626 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917217713 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22627] ppid=22595 vsize=13650152 CPUtime=0.45 cores=1,3,5,7
/proc/22598/task/22627/stat : 22627 (java) R 22595 22598 22562 0 -1 4202560 9142 0 0 0 44 1 0 0 15 0 19 0 906591785 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 47815526587264 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22598/tid=22630] ppid=22595 vsize=13650152 CPUtime=0.26 cores=1,3,5,7
/proc/22598/task/22630/stat : 22630 (java) S 22595 22598 22562 0 -1 4202560 2160 0 0 0 26 0 0 0 15 0 19 0 906591785 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22632] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22632/stat : 22632 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22634] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22634/stat : 22634 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906591785 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22637] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22637/stat : 22637 (java) S 22595 22598 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906591808 13977755648 26417 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 13650152
[startup+4.20131 s]
/proc/loadavg: 0.94 1.03 1.29 3/520 22637
/proc/meminfo: memFree=24642032/32950928 swapFree=61542356/67111528
[pid=22598] ppid=22595 vsize=13650152 CPUtime=4.93 cores=1,3,5,7
/proc/22598/stat : 22598 (java) S 22595 22598 22562 0 -1 4202496 31027 0 1 0 489 4 0 0 25 0 19 0 906591778 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22598/statm: 3412538 26565 2262 9 0 3403272 0
[pid=22598/tid=22601] ppid=22595 vsize=13650152 CPUtime=4.1 cores=1,3,5,7
/proc/22598/task/22601/stat : 22601 (java) R 22595 22598 22562 0 -1 4202560 16033 0 1 0 408 2 0 0 25 0 19 0 906591779 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 46912505638242 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22598/tid=22612] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22612/stat : 22612 (java) S 22595 22598 22562 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22613] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22613/stat : 22613 (java) S 22595 22598 22562 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22614] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22614/stat : 22614 (java) S 22595 22598 22562 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22615] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22615/stat : 22615 (java) S 22595 22598 22562 0 -1 4202560 68 0 0 0 0 0 0 0 16 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
[pid=22598/tid=22616] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22616/stat : 22616 (java) S 22595 22598 22562 0 -1 4202560 265 0 0 0 0 0 0 0 16 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22617] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22617/stat : 22617 (java) S 22595 22598 22562 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22618] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22618/stat : 22618 (java) S 22595 22598 22562 0 -1 4202560 204 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
[pid=22598/tid=22619] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22619/stat : 22619 (java) S 22595 22598 22562 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 906591781 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22621] ppid=22595 vsize=13650152 CPUtime=0.06 cores=1,3,5,7
/proc/22598/task/22621/stat : 22621 (java) S 22595 22598 22562 0 -1 4202560 1162 0 0 0 6 0 0 0 16 0 19 0 906591782 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 0 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22623] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22623/stat : 22623 (java) S 22595 22598 22562 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22625] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22625/stat : 22625 (java) S 22595 22598 22562 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906591782 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22626] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22626/stat : 22626 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917217713 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22627] ppid=22595 vsize=13650152 CPUtime=0.46 cores=1,3,5,7
/proc/22598/task/22627/stat : 22627 (java) S 22595 22598 22562 0 -1 4202560 9146 0 0 0 45 1 0 0 15 0 19 0 906591785 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
[pid=22598/tid=22630] ppid=22595 vsize=13650152 CPUtime=0.26 cores=1,3,5,7
/proc/22598/task/22630/stat : 22630 (java) S 22595 22598 22562 0 -1 4202560 2160 0 0 0 26 0 0 0 15 0 19 0 906591785 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22632] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22632/stat : 22632 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906591785 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210009 0 4 0 16800975 18446604464356369408 0 0 -1 3 0 0 0
[pid=22598/tid=22634] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22634/stat : 22634 (java) S 22595 22598 22562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906591785 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 7 0 0 0
[pid=22598/tid=22637] ppid=22595 vsize=13650152 CPUtime=0 cores=1,3,5,7
/proc/22598/task/22637/stat : 22637 (java) S 22595 22598 22562 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906591808 13977755648 26565 33554432000 1073741824 1073778376 140736296479344 18446744073709551615 260917210624 0 4 0 16800975 18446604464356369408 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 13650152
Child status: 10
Real time (s): 4.22826
CPU time (s): 4.97424
CPU user time (s): 4.92325
CPU system time (s): 0.050992
CPU usage (%): 117.643
Max. virtual memory (cumulated for all children) (KiB): 13650152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.92325
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31047
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= 743
involuntary context switches= 109
runsolver used 0.020996 second user time and 0.072988 second system time
The end