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-3455096-1307188883/watcher-3455096-1307188883 -o /tmp/evaluation-result-3455096-1307188883/solver-3455096-1307188883 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455096-1307188883.opb
running on 4 cores: 0,2,4,6
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.48 3.75 3.36 2/464 28592
/proc/meminfo: memFree=29223404/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 4922 0 1 0 0 0 0 0 25 0 2 0 909119005 10694979584 4625 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2611079 4638 917 9 0 2602235 0
[pid=28592/tid=28593] ppid=28590 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) R 28590 28592 23545 0 -1 4202560 5943 0 1 0 0 0 0 0 25 0 2 0 909119006 10694979584 6759 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.104135 s]
/proc/loadavg: 3.48 3.75 3.36 2/464 28592
/proc/meminfo: memFree=29223404/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10540088 CPUtime=0.11 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 13091 0 1 0 9 2 0 0 25 0 18 0 909119005 10793050112 12788 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2635022 12788 2092 9 0 2625756 0
[pid=28592/tid=28593] ppid=28590 vsize=10540088 CPUtime=0.08 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) R 28590 28592 23545 0 -1 4202560 11209 0 1 0 7 1 0 0 22 0 18 0 909119006 10793050112 12788 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 47823062828085 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540088
[startup+0.201101 s]
/proc/loadavg: 3.48 3.75 3.36 2/464 28592
/proc/meminfo: memFree=29223404/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10540876 CPUtime=0.28 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 14167 0 1 0 26 2 0 0 25 0 18 0 909119005 10793857024 13793 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2635219 13793 2184 9 0 2625953 0
[pid=28592/tid=28593] ppid=28590 vsize=10540876 CPUtime=0.19 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) R 28590 28592 23545 0 -1 4202560 11888 0 1 0 17 2 0 0 22 0 18 0 909119006 10793857024 13793 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307462 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10540876
[startup+0.30608 s]
/proc/loadavg: 3.48 3.75 3.36 2/464 28592
/proc/meminfo: memFree=29223404/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10542288 CPUtime=0.48 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 15994 0 1 0 46 2 0 0 25 0 18 0 909119005 10795302912 15266 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2635572 15267 2198 9 0 2626306 0
[pid=28592/tid=28593] ppid=28590 vsize=10542288 CPUtime=0.29 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) R 28590 28592 23545 0 -1 4202560 12936 0 1 0 27 2 0 0 22 0 18 0 909119006 10795302912 15267 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505545694 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542288
[startup+0.766029 s]
/proc/loadavg: 3.48 3.75 3.36 2/464 28592
/proc/meminfo: memFree=29223404/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10550164 CPUtime=1.99 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 32540 0 1 0 195 4 0 0 25 0 22 0 909119005 10803367936 28833 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2637191 28833 2240 9 0 2627925 0
[pid=28592/tid=28593] ppid=28590 vsize=10548764 CPUtime=0.49 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) S 28590 28592 23545 0 -1 4202560 21123 0 1 0 47 2 0 0 24 0 22 0 909119006 10801934336 28833 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10550164
[startup+1.5008 s]
/proc/loadavg: 3.48 3.75 3.36 4/486 28614
/proc/meminfo: memFree=29016708/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10548764 CPUtime=3.67 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 70163 0 1 0 359 8 0 0 25 0 22 0 909119005 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2637191 65898 2266 9 0 2627925 0
[pid=28592/tid=28593] ppid=28590 vsize=10548764 CPUtime=0.49 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) S 28590 28592 23545 0 -1 4202560 21123 0 1 0 47 2 0 0 19 0 22 0 909119006 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28595] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28595/stat : 28595 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28596] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28596/stat : 28596 (java) S 28590 28592 23545 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28597] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28597/stat : 28597 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28598] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28598/stat : 28598 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28599] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28599/stat : 28599 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28600] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28600/stat : 28600 (java) S 28590 28592 23545 0 -1 4202560 394 0 0 0 0 0 0 0 18 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28601] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28601/stat : 28601 (java) S 28590 28592 23545 0 -1 4202560 415 0 0 0 0 0 0 0 18 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28602] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28602/stat : 28602 (java) S 28590 28592 23545 0 -1 4202560 503 0 0 0 0 0 0 0 18 0 22 0 909119007 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28603] ppid=28590 vsize=10548764 CPUtime=0.02 cores=0,2,4,6
/proc/28592/task/28603/stat : 28603 (java) S 28590 28592 23545 0 -1 4202560 1309 0 0 0 2 0 0 0 16 0 22 0 909119008 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 0 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28604] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28604/stat : 28604 (java) S 28590 28592 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909119009 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28605] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28605/stat : 28605 (java) S 28590 28592 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909119009 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28606] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28606/stat : 28606 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909119011 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907314097 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28607] ppid=28590 vsize=10548764 CPUtime=0.55 cores=0,2,4,6
/proc/28592/task/28607/stat : 28607 (java) S 28590 28592 23545 0 -1 4202560 3546 0 0 0 55 0 0 0 16 0 22 0 909119011 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28608] ppid=28590 vsize=10548764 CPUtime=0.66 cores=0,2,4,6
/proc/28592/task/28608/stat : 28608 (java) S 28590 28592 23545 0 -1 4202560 3653 0 0 0 66 0 0 0 15 0 22 0 909119011 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28609] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28609/stat : 28609 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909119011 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28610] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28610/stat : 28610 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909119011 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28611] ppid=28590 vsize=10548764 CPUtime=0.95 cores=0,2,4,6
/proc/28592/task/28611/stat : 28611 (java) R 28590 28592 23545 0 -1 4202560 332 0 0 0 95 0 0 0 19 0 22 0 909119056 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505876265 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28592/tid=28612] ppid=28590 vsize=10548764 CPUtime=0.94 cores=0,2,4,6
/proc/28592/task/28612/stat : 28612 (java) R 28590 28592 23545 0 -1 4202560 37725 0 0 0 91 3 0 0 17 0 22 0 909119056 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505935744 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28592/tid=28613] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28613/stat : 28613 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909119060 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28614] ppid=28590 vsize=10548764 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28614/stat : 28614 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909119060 10801934336 65898 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 10548764
[startup+3.10145 s]
/proc/loadavg: 3.48 3.75 3.36 4/486 28614
/proc/meminfo: memFree=28951980/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10550276 CPUtime=7.29 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 91220 0 1 0 719 10 0 0 25 0 22 0 909119005 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2637569 85481 2266 9 0 2628303 0
[pid=28592/tid=28593] ppid=28590 vsize=10550276 CPUtime=0.49 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) S 28590 28592 23545 0 -1 4202560 21123 0 1 0 47 2 0 0 15 0 22 0 909119006 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28595] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28595/stat : 28595 (java) S 28590 28592 23545 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28596] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28596/stat : 28596 (java) S 28590 28592 23545 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28597] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28597/stat : 28597 (java) S 28590 28592 23545 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28598] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28598/stat : 28598 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28599] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28599/stat : 28599 (java) S 28590 28592 23545 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28600] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28600/stat : 28600 (java) S 28590 28592 23545 0 -1 4202560 468 0 0 0 1 0 0 0 16 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28601] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28601/stat : 28601 (java) S 28590 28592 23545 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28602] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28602/stat : 28602 (java) S 28590 28592 23545 0 -1 4202560 569 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28603] ppid=28590 vsize=10550276 CPUtime=0.1 cores=0,2,4,6
/proc/28592/task/28603/stat : 28603 (java) S 28590 28592 23545 0 -1 4202560 1940 0 0 0 10 0 0 0 16 0 22 0 909119008 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 0 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28604] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28604/stat : 28604 (java) S 28590 28592 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909119009 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28605] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28605/stat : 28605 (java) S 28590 28592 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909119009 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28606] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28606/stat : 28606 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909119011 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907314097 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28607] ppid=28590 vsize=10550276 CPUtime=0.96 cores=0,2,4,6
/proc/28592/task/28607/stat : 28607 (java) S 28590 28592 23545 0 -1 4202560 7914 0 0 0 95 1 0 0 16 0 22 0 909119011 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28608] ppid=28590 vsize=10550276 CPUtime=0.76 cores=0,2,4,6
/proc/28592/task/28608/stat : 28608 (java) S 28590 28592 23545 0 -1 4202560 3983 0 0 0 76 0 0 0 15 0 22 0 909119011 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28609] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28609/stat : 28609 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909119011 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28610] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28610/stat : 28610 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909119011 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28611] ppid=28590 vsize=10550276 CPUtime=2.44 cores=0,2,4,6
/proc/28592/task/28611/stat : 28611 (java) R 28590 28592 23545 0 -1 4202560 375 0 0 0 244 0 0 0 22 0 22 0 909119056 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505856941 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28592/tid=28612] ppid=28590 vsize=10550276 CPUtime=2.43 cores=0,2,4,6
/proc/28592/task/28612/stat : 28612 (java) R 28590 28592 23545 0 -1 4202560 52809 0 0 0 239 4 0 0 18 0 22 0 909119056 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505717999 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=28592/tid=28613] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28613/stat : 28613 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909119060 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28614] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28614/stat : 28614 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909119060 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 10550276
Solver just ended. Dumping a history of the last processes samples
[startup+3.20148 s]
/proc/loadavg: 3.48 3.75 3.36 4/486 28614
/proc/meminfo: memFree=28951980/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10550276 CPUtime=7.49 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 91220 0 1 0 739 10 0 0 25 0 22 0 909119005 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2637569 85481 2266 9 0 2628303 0
[pid=28592/tid=28593] ppid=28590 vsize=10550276 CPUtime=0.49 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) S 28590 28592 23545 0 -1 4202560 21123 0 1 0 47 2 0 0 15 0 22 0 909119006 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28595] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28595/stat : 28595 (java) S 28590 28592 23545 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28596] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28596/stat : 28596 (java) S 28590 28592 23545 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28597] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28597/stat : 28597 (java) S 28590 28592 23545 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28598] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28598/stat : 28598 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28599] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28599/stat : 28599 (java) S 28590 28592 23545 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28600] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28600/stat : 28600 (java) S 28590 28592 23545 0 -1 4202560 468 0 0 0 1 0 0 0 16 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28601] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28601/stat : 28601 (java) S 28590 28592 23545 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 85481 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/28592/task/28600/stat : 28600 (java) S 28590 28592 23545 0 -1 4202560 468 0 0 0 1 0 0 0 15 0 22 0 909119007 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28601] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28601/stat : 28601 (java) S 28590 28592 23545 0 -1 4202560 483 0 0 0 1 0 0 0 16 0 22 0 909119007 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28602] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28602/stat : 28602 (java) S 28590 28592 23545 0 -1 4202560 571 0 0 0 1 0 0 0 16 0 22 0 909119007 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28603] ppid=28590 vsize=10550276 CPUtime=0.19 cores=0,2,4,6
/proc/28592/task/28603/stat : 28603 (java) S 28590 28592 23545 0 -1 4202560 2962 0 0 0 19 0 0 0 15 0 22 0 909119008 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 0 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28604] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28604/stat : 28604 (java) S 28590 28592 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909119009 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28605] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28605/stat : 28605 (java) S 28590 28592 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909119009 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28606] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28606/stat : 28606 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909119011 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907314097 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28607] ppid=28590 vsize=10550276 CPUtime=1.01 cores=0,2,4,6
/proc/28592/task/28607/stat : 28607 (java) S 28590 28592 23545 0 -1 4202560 7915 0 0 0 100 1 0 0 15 0 22 0 909119011 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28608] ppid=28590 vsize=10550276 CPUtime=0.76 cores=0,2,4,6
/proc/28592/task/28608/stat : 28608 (java) S 28590 28592 23545 0 -1 4202560 3983 0 0 0 76 0 0 0 15 0 22 0 909119011 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28609] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28609/stat : 28609 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909119011 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28610] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28610/stat : 28610 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909119011 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28611] ppid=28590 vsize=10550276 CPUtime=4.05 cores=0,2,4,6
/proc/28592/task/28611/stat : 28611 (java) R 28590 28592 23545 0 -1 4202560 377 0 0 0 405 0 0 0 18 0 22 0 909119056 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505869328 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28592/tid=28612] ppid=28590 vsize=10550276 CPUtime=4.04 cores=0,2,4,6
/proc/28592/task/28612/stat : 28612 (java) R 28590 28592 23545 0 -1 4202560 68558 0 0 0 397 7 0 0 20 0 22 0 909119056 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912506005083 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28592/tid=28613] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28613/stat : 28613 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909119060 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28614] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28614/stat : 28614 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909119060 10803482624 102261 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.66
Current children cumulated vsize (KiB) 10550276
[startup+5.61708 s]
/proc/loadavg: 3.52 3.75 3.36 5/486 28617
/proc/meminfo: memFree=28824632/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10550276 CPUtime=12.17 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 108031 0 1 0 1204 13 0 0 25 0 22 0 909119005 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2637569 101039 2267 9 0 2628303 0
[pid=28592/tid=28593] ppid=28590 vsize=10550276 CPUtime=0.5 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) S 28590 28592 23545 0 -1 4202560 21137 0 1 0 48 2 0 0 15 0 22 0 909119006 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28595] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28595/stat : 28595 (java) S 28590 28592 23545 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28596] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28596/stat : 28596 (java) S 28590 28592 23545 0 -1 4202560 175 0 0 0 0 0 0 0 16 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28597] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28597/stat : 28597 (java) S 28590 28592 23545 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28598] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28598/stat : 28598 (java) S 28590 28592 23545 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28599] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28599/stat : 28599 (java) S 28590 28592 23545 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28600] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28600/stat : 28600 (java) S 28590 28592 23545 0 -1 4202560 469 0 0 0 1 0 0 0 16 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28601] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28601/stat : 28601 (java) S 28590 28592 23545 0 -1 4202560 483 0 0 0 1 0 0 0 16 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28602] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28602/stat : 28602 (java) S 28590 28592 23545 0 -1 4202560 571 0 0 0 1 0 0 0 15 0 22 0 909119007 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28603] ppid=28590 vsize=10550276 CPUtime=0.23 cores=0,2,4,6
/proc/28592/task/28603/stat : 28603 (java) S 28590 28592 23545 0 -1 4202560 2962 0 0 0 23 0 0 0 16 0 22 0 909119008 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 0 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28604] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28604/stat : 28604 (java) S 28590 28592 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909119009 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28605] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28605/stat : 28605 (java) S 28590 28592 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909119009 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28606] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28606/stat : 28606 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909119011 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907314097 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28607] ppid=28590 vsize=10550276 CPUtime=1.12 cores=0,2,4,6
/proc/28592/task/28607/stat : 28607 (java) S 28590 28592 23545 0 -1 4202560 7922 0 0 0 111 1 0 0 15 0 22 0 909119011 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28608] ppid=28590 vsize=10550276 CPUtime=0.82 cores=0,2,4,6
/proc/28592/task/28608/stat : 28608 (java) S 28590 28592 23545 0 -1 4202560 3983 0 0 0 82 0 0 0 16 0 22 0 909119011 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28609] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28609/stat : 28609 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909119011 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28610] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28610/stat : 28610 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909119011 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28614] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28614/stat : 28614 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 909119060 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28615] ppid=28590 vsize=10550276 CPUtime=0.52 cores=0,2,4,6
/proc/28592/task/28615/stat : 28615 (java) R 28590 28592 23545 0 -1 4202560 2 0 0 0 52 0 0 0 18 0 22 0 909119510 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505876323 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28592/tid=28616] ppid=28590 vsize=10550276 CPUtime=0.52 cores=0,2,4,6
/proc/28592/task/28616/stat : 28616 (java) R 28590 28592 23545 0 -1 4202560 0 0 0 0 52 0 0 0 19 0 22 0 909119510 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 46912505906986 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28592/tid=28617] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28617/stat : 28617 (java) S 28590 28592 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909119512 10803482624 101039 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 10550276
[startup+6.00106 s]
/proc/loadavg: 3.52 3.75 3.36 5/486 28617
/proc/meminfo: memFree=28824632/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10550276 CPUtime=12.73 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 108037 0 1 0 1260 13 0 0 25 0 19 0 909119005 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2637569 101045 2267 9 0 2628303 0
[pid=28592/tid=28593] ppid=28590 vsize=10550276 CPUtime=0.5 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) S 28590 28592 23545 0 -1 4202560 21137 0 1 0 48 2 0 0 15 0 19 0 909119006 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28595] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28595/stat : 28595 (java) S 28590 28592 23545 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28596] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28596/stat : 28596 (java) S 28590 28592 23545 0 -1 4202560 175 0 0 0 0 0 0 0 16 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28597] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28597/stat : 28597 (java) S 28590 28592 23545 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28598] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28598/stat : 28598 (java) S 28590 28592 23545 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28599] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28599/stat : 28599 (java) S 28590 28592 23545 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28600] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28600/stat : 28600 (java) S 28590 28592 23545 0 -1 4202560 469 0 0 0 1 0 0 0 16 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28601] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28601/stat : 28601 (java) S 28590 28592 23545 0 -1 4202560 483 0 0 0 1 0 0 0 16 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28602] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28602/stat : 28602 (java) S 28590 28592 23545 0 -1 4202560 571 0 0 0 1 0 0 0 15 0 19 0 909119007 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28603] ppid=28590 vsize=10550276 CPUtime=0.23 cores=0,2,4,6
/proc/28592/task/28603/stat : 28603 (java) S 28590 28592 23545 0 -1 4202560 2962 0 0 0 23 0 0 0 16 0 19 0 909119008 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 0 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28604] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28604/stat : 28604 (java) S 28590 28592 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 909119009 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28605] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28605/stat : 28605 (java) S 28590 28592 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909119009 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28606] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28606/stat : 28606 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 909119011 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907314097 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28607] ppid=28590 vsize=10550276 CPUtime=1.17 cores=0,2,4,6
/proc/28592/task/28607/stat : 28607 (java) S 28590 28592 23545 0 -1 4202560 7928 0 0 0 116 1 0 0 16 0 19 0 909119011 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28608] ppid=28590 vsize=10550276 CPUtime=0.82 cores=0,2,4,6
/proc/28592/task/28608/stat : 28608 (java) S 28590 28592 23545 0 -1 4202560 3983 0 0 0 82 0 0 0 16 0 19 0 909119011 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28609] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28609/stat : 28609 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909119011 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28610] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28610/stat : 28610 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909119011 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28614] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28614/stat : 28614 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 909119060 10803482624 101045 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 10550276
[startup+6.10098 s]
/proc/loadavg: 3.52 3.75 3.36 5/486 28617
/proc/meminfo: memFree=28824632/32950928 swapFree=52246700/67111528
[pid=28592] ppid=28590 vsize=10550276 CPUtime=12.8 cores=0,2,4,6
/proc/28592/stat : 28592 (java) S 28590 28592 23545 0 -1 4202496 108045 0 1 0 1267 13 0 0 25 0 18 0 909119005 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28592/statm: 2637569 101052 2269 9 0 2628303 0
[pid=28592/tid=28593] ppid=28590 vsize=10550276 CPUtime=0.52 cores=0,2,4,6
/proc/28592/task/28593/stat : 28593 (java) S 28590 28592 23545 0 -1 4202560 21140 0 1 0 50 2 0 0 15 0 18 0 909119006 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28595] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28595/stat : 28595 (java) S 28590 28592 23545 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28596] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28596/stat : 28596 (java) S 28590 28592 23545 0 -1 4202560 175 0 0 0 0 0 0 0 16 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28597] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28597/stat : 28597 (java) S 28590 28592 23545 0 -1 4202560 3 0 0 0 1 0 0 0 15 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28598] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28598/stat : 28598 (java) S 28590 28592 23545 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28599] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28599/stat : 28599 (java) S 28590 28592 23545 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28600] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28600/stat : 28600 (java) S 28590 28592 23545 0 -1 4202560 469 0 0 0 1 0 0 0 16 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28601] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28601/stat : 28601 (java) S 28590 28592 23545 0 -1 4202560 483 0 0 0 1 0 0 0 16 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28602] ppid=28590 vsize=10550276 CPUtime=0.01 cores=0,2,4,6
/proc/28592/task/28602/stat : 28602 (java) S 28590 28592 23545 0 -1 4202560 571 0 0 0 1 0 0 0 15 0 18 0 909119007 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
[pid=28592/tid=28603] ppid=28590 vsize=10550276 CPUtime=0.23 cores=0,2,4,6
/proc/28592/task/28603/stat : 28603 (java) S 28590 28592 23545 0 -1 4202560 2962 0 0 0 23 0 0 0 15 0 18 0 909119008 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 0 0 16800975 18446604448310063488 0 0 -1 2 0 0 0
[pid=28592/tid=28604] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28604/stat : 28604 (java) S 28590 28592 23545 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 909119009 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28605] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28605/stat : 28605 (java) S 28590 28592 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 909119009 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28606] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28606/stat : 28606 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 909119011 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28607] ppid=28590 vsize=10550276 CPUtime=1.18 cores=0,2,4,6
/proc/28592/task/28607/stat : 28607 (java) S 28590 28592 23545 0 -1 4202560 7929 0 0 0 117 1 0 0 15 0 18 0 909119011 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28608] ppid=28590 vsize=10550276 CPUtime=0.84 cores=0,2,4,6
/proc/28592/task/28608/stat : 28608 (java) S 28590 28592 23545 0 -1 4202560 3985 0 0 0 84 0 0 0 15 0 18 0 909119011 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 4 0 0 0
[pid=28592/tid=28609] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28609/stat : 28609 (java) S 28590 28592 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909119011 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907306393 0 4 0 16800975 18446604448310063488 0 0 -1 6 0 0 0
[pid=28592/tid=28614] ppid=28590 vsize=10550276 CPUtime=0 cores=0,2,4,6
/proc/28592/task/28614/stat : 28614 (java) S 28590 28592 23545 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 909119060 10803482624 101052 33554432000 1073741824 1073778376 140736428177936 18446744073709551615 231907307008 0 4 0 16800975 18446604448310063488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 10550276
Child status: 30
Real time (s): 6.12482
CPU time (s): 12.827
CPU user time (s): 12.6751
CPU system time (s): 0.151976
CPU usage (%): 209.427
Max. virtual memory (cumulated for all children) (KiB): 10550276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.6751
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108045
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= 756
involuntary context switches= 208
runsolver used 0.035994 second user time and 0.06199 second system time
The end