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-3459579-1307150925/watcher-3459579-1307150925 -o /tmp/evaluation-result-3459579-1307150925/solver-3459579-1307150925 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459579-1307150925.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: 2.01 2.04 2.00 2/501 20524
/proc/meminfo: memFree=24471120/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 2119 0 1 0 0 0 0 0 25 0 2 0 905323188 13833195520 1820 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3377245 1833 906 9 0 3368401 0
[pid=20524/tid=20525] ppid=20522 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 7123 0 1 0 0 0 0 0 25 0 2 0 905323189 13850947584 7938 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0526251 s]
/proc/loadavg: 2.01 2.04 2.00 2/501 20524
/proc/meminfo: memFree=24471120/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 13923 0 1 0 3 1 0 0 25 0 13 0 905323188 13874806784 13619 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3387404 13619 1684 9 0 3378152 0
[pid=20524/tid=20525] ppid=20522 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 12776 0 1 0 3 1 0 0 25 0 13 0 905323189 13874806784 13619 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 47173686216231 0 4 0 16800971 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.100636 s]
/proc/loadavg: 2.01 2.04 2.00 2/501 20524
/proc/meminfo: memFree=24471120/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13621720 CPUtime=0.11 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 15567 0 1 0 9 2 0 0 25 0 18 0 905323188 13948641280 15244 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3405430 15244 2093 9 0 3396164 0
[pid=20524/tid=20525] ppid=20522 vsize=13621720 CPUtime=0.08 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 13621 0 1 0 7 1 0 0 25 0 18 0 905323189 13948641280 15244 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 47173687784862 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621720
[startup+0.300571 s]
/proc/loadavg: 2.01 2.04 2.00 2/501 20524
/proc/meminfo: memFree=24471120/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13628508 CPUtime=0.62 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 23663 0 1 0 59 3 0 0 25 0 18 0 905323188 13955592192 21507 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3407127 21507 2203 9 0 3397861 0
[pid=20524/tid=20525] ppid=20522 vsize=13628508 CPUtime=0.28 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 16684 0 1 0 27 1 0 0 18 0 18 0 905323189 13955592192 21507 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 46912505166925 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13628508
[startup+0.70045 s]
/proc/loadavg: 2.01 2.04 2.00 2/501 20524
/proc/meminfo: memFree=24471120/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13629536 CPUtime=1.49 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 37383 0 1 0 143 6 0 0 25 0 19 0 905323188 13956644864 35016 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3407384 35016 2220 9 0 3398118 0
[pid=20524/tid=20525] ppid=20522 vsize=13629536 CPUtime=0.68 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 30061 0 1 0 64 4 0 0 18 0 19 0 905323189 13956644864 35016 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 46912505728608 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13629536
[startup+1.50143 s]
/proc/loadavg: 2.01 2.04 2.00 4/520 20543
/proc/meminfo: memFree=24337788/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13629536 CPUtime=2.48 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 37855 0 1 0 242 6 0 0 25 0 19 0 905323188 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3407384 35236 2224 9 0 3398118 0
[pid=20524/tid=20525] ppid=20522 vsize=13629536 CPUtime=1.48 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 30257 0 1 0 144 4 0 0 19 0 19 0 905323189 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 46912505728297 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20524/tid=20527] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20527/stat : 20527 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323190 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20528] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20528/stat : 20528 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323191 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20529] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20529/stat : 20529 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323191 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20530] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20530/stat : 20530 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323191 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20531] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20531/stat : 20531 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323191 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20532] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20532/stat : 20532 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323191 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20533] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20533/stat : 20533 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323191 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20534] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20534/stat : 20534 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323191 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20535] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20535/stat : 20535 (java) S 20522 20524 14759 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 0 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20536] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20536/stat : 20536 (java) S 20522 20524 14759 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905323192 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20537] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20537/stat : 20537 (java) S 20522 20524 14759 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905323192 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20538] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20538/stat : 20538 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917217713 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20539] ppid=20522 vsize=13629536 CPUtime=0.48 cores=0,2,4,6
/proc/20524/task/20539/stat : 20539 (java) S 20522 20524 14759 0 -1 4202560 4030 0 0 0 48 0 0 0 15 0 19 0 905323194 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20540] ppid=20522 vsize=13629536 CPUtime=0.49 cores=0,2,4,6
/proc/20524/task/20540/stat : 20540 (java) S 20522 20524 14759 0 -1 4202560 2408 0 0 0 49 0 0 0 23 0 19 0 905323194 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20541] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20541/stat : 20541 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20542] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20542/stat : 20542 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323194 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20543] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20543/stat : 20543 (java) S 20522 20524 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905323238 13956644864 35236 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 13629536
[startup+3.101 s]
/proc/loadavg: 2.09 2.05 2.01 4/520 20543
/proc/meminfo: memFree=24325760/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13629536 CPUtime=4.18 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 40834 0 1 0 412 6 0 0 25 0 19 0 905323188 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3407384 38208 2253 9 0 3398118 0
[pid=20524/tid=20525] ppid=20522 vsize=13629536 CPUtime=3.03 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 30290 0 1 0 299 4 0 0 22 0 19 0 905323189 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 46912505852920 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20524/tid=20527] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20527/stat : 20527 (java) S 20522 20524 14759 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 905323190 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20528] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20528/stat : 20528 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20529] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20529/stat : 20529 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20530] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20530/stat : 20530 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20531] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20531/stat : 20531 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20532] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20532/stat : 20532 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20533] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20533/stat : 20533 (java) S 20522 20524 14759 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20534] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20534/stat : 20534 (java) S 20522 20524 14759 0 -1 4202560 746 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20535] ppid=20522 vsize=13629536 CPUtime=0.03 cores=0,2,4,6
/proc/20524/task/20535/stat : 20535 (java) S 20522 20524 14759 0 -1 4202560 1420 0 0 0 3 0 0 0 15 0 19 0 905323192 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 0 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20536] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20536/stat : 20536 (java) S 20522 20524 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20537] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20537/stat : 20537 (java) S 20522 20524 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20538] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20538/stat : 20538 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917217713 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20539] ppid=20522 vsize=13629536 CPUtime=0.55 cores=0,2,4,6
/proc/20524/task/20539/stat : 20539 (java) S 20522 20524 14759 0 -1 4202560 4051 0 0 0 55 0 0 0 15 0 19 0 905323194 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20540] ppid=20522 vsize=13629536 CPUtime=0.51 cores=0,2,4,6
/proc/20524/task/20540/stat : 20540 (java) S 20522 20524 14759 0 -1 4202560 2413 0 0 0 51 0 0 0 18 0 19 0 905323194 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20541] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20541/stat : 20541 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20542] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20542/stat : 20542 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323194 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20543] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20543/stat : 20543 (java) S 20522 20524 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905323238 13956644864 38208 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 13629536
Solver just ended. Dumping a history of the last processes samples
[startup+3.90091 s]
/proc/loadavg: 2.09 2.05 2.01 4/520 20543
/proc/meminfo: memFree=24324152/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13629536 CPUtime=4.99 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 40964 0 1 0 493 6 0 0 25 0 19 0 905323188 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3407384 38336 2253 9 0 3398118 0
[pid=20524/tid=20525] ppid=20522 vsize=13629536 CPUtime=3.81 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 30291 0 1 0 377 4 0 0 25 0 19 0 905323189 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 46912505797437 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20524/tid=20527] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20527/stat : 20527 (java) S 20522 20524 14759 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 905323190 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20528] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20528/stat : 20528 (java) S 20522 20524 14759 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20529] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20529/stat : 20529 (java) S 20522 20524 14759 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20530] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20530/stat : 20530 (java) S 20522 20524 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20531] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20531/stat : 20531 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20532] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20532/stat : 20532 (java) S 20522 20524 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20533] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20533/stat : 20533 (java) S 20522 20524 14759 0 -1 4202560 667 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20534] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20534/stat : 20534 (java) S 20522 20524 14759 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20535] ppid=20522 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/20524/task/20535/stat : 20535 (java) S 20522 20524 14759 0 -1 4202560 1536 0 0 0 5 0 0 0 15 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 0 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20536] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20536/stat : 20536 (java) S 20522 20524 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20537] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20537/stat : 20537 (java) S 20522 20524 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20538] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20538/stat : 20538 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917217713 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20539] ppid=20522 vsize=13629536 CPUtime=0.55 cores=0,2,4,6
/proc/20524/task/20539/stat : 20539 (java) S 20522 20524 14759 0 -1 4202560 4051 0 0 0 55 0 0 0 15 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20540] ppid=20522 vsize=13629536 CPUtime=0.52 cores=0,2,4,6
/proc/20524/task/20540/stat : 20540 (java) S 20522 20524 14759 0 -1 4202560 2416 0 0 0 52 0 0 0 17 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20541] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20541/stat : 20541 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20542] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20542/stat : 20542 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20543] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20543/stat : 20543 (java) S 20522 20524 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905323238 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 13629536
[startup+4.30085 s]
/proc/loadavg: 2.09 2.05 2.01 4/520 20543
/proc/meminfo: memFree=24323656/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13629536 CPUtime=5.4 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 40965 0 1 0 534 6 0 0 25 0 19 0 905323188 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3407384 38336 2253 9 0 3398118 0
[pid=20524/tid=20525] ppid=20522 vsize=13629536 CPUtime=4.22 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 30292 0 1 0 418 4 0 0 25 0 19 0 905323189 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 46912505728691 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20524/tid=20527] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20527/stat : 20527 (java) S 20522 20524 14759 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 905323190 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20528] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20528/stat : 20528 (java) S 20522 20524 14759 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20529] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20529/stat : 20529 (java) S 20522 20524 14759 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20530] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20530/stat : 20530 (java) S 20522 20524 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20531] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20531/stat : 20531 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20532] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20532/stat : 20532 (java) S 20522 20524 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20533] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20533/stat : 20533 (java) S 20522 20524 14759 0 -1 4202560 667 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20534] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20534/stat : 20534 (java) S 20522 20524 14759 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20535] ppid=20522 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/20524/task/20535/stat : 20535 (java) S 20522 20524 14759 0 -1 4202560 1536 0 0 0 5 0 0 0 16 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 0 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20536] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20536/stat : 20536 (java) S 20522 20524 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20537] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20537/stat : 20537 (java) S 20522 20524 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20538] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20538/stat : 20538 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917217713 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20539] ppid=20522 vsize=13629536 CPUtime=0.55 cores=0,2,4,6
/proc/20524/task/20539/stat : 20539 (java) S 20522 20524 14759 0 -1 4202560 4051 0 0 0 55 0 0 0 15 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20540] ppid=20522 vsize=13629536 CPUtime=0.52 cores=0,2,4,6
/proc/20524/task/20540/stat : 20540 (java) S 20522 20524 14759 0 -1 4202560 2416 0 0 0 52 0 0 0 17 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20541] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20541/stat : 20541 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20542] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20542/stat : 20542 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20543] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20543/stat : 20543 (java) S 20522 20524 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905323238 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 13629536
[startup+4.50086 s]
/proc/loadavg: 2.09 2.05 2.01 4/520 20543
/proc/meminfo: memFree=24323656/32950928 swapFree=61542356/67111528
[pid=20524] ppid=20522 vsize=13629536 CPUtime=5.59 cores=0,2,4,6
/proc/20524/stat : 20524 (java) S 20522 20524 14759 0 -1 4202496 40965 0 1 0 553 6 0 0 25 0 19 0 905323188 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20524/statm: 3407384 38336 2253 9 0 3398118 0
[pid=20524/tid=20525] ppid=20522 vsize=13629536 CPUtime=4.41 cores=0,2,4,6
/proc/20524/task/20525/stat : 20525 (java) R 20522 20524 14759 0 -1 4202560 30292 0 1 0 437 4 0 0 25 0 19 0 905323189 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 46912505753111 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20524/tid=20527] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20527/stat : 20527 (java) S 20522 20524 14759 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 905323190 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20528] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20528/stat : 20528 (java) S 20522 20524 14759 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20529] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20529/stat : 20529 (java) S 20522 20524 14759 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20530] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20530/stat : 20530 (java) S 20522 20524 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20531] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20531/stat : 20531 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20532] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20532/stat : 20532 (java) S 20522 20524 14759 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20533] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20533/stat : 20533 (java) S 20522 20524 14759 0 -1 4202560 667 0 0 0 0 0 0 0 16 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20534] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20534/stat : 20534 (java) S 20522 20524 14759 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 19 0 905323191 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20535] ppid=20522 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/20524/task/20535/stat : 20535 (java) S 20522 20524 14759 0 -1 4202560 1536 0 0 0 5 0 0 0 16 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 0 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20536] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20536/stat : 20536 (java) S 20522 20524 14759 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20537] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20537/stat : 20537 (java) S 20522 20524 14759 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905323192 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20538] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20538/stat : 20538 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917217713 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20539] ppid=20522 vsize=13629536 CPUtime=0.55 cores=0,2,4,6
/proc/20524/task/20539/stat : 20539 (java) S 20522 20524 14759 0 -1 4202560 4051 0 0 0 55 0 0 0 15 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 2 0 0 0
[pid=20524/tid=20540] ppid=20522 vsize=13629536 CPUtime=0.52 cores=0,2,4,6
/proc/20524/task/20540/stat : 20540 (java) S 20522 20524 14759 0 -1 4202560 2416 0 0 0 52 0 0 0 17 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20541] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20541/stat : 20541 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210009 0 4 0 16800975 18446604451330462656 0 0 -1 6 0 0 0
[pid=20524/tid=20542] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20542/stat : 20542 (java) S 20522 20524 14759 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905323194 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 0 0 0 0
[pid=20524/tid=20543] ppid=20522 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/20524/task/20543/stat : 20543 (java) S 20522 20524 14759 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905323238 13956644864 38336 33554432000 1073741824 1073778376 140733999931696 18446744073709551615 260917210624 0 4 0 16800975 18446604451330462656 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 13629536
Child status: 20
Real time (s): 4.56783
CPU time (s): 5.65814
CPU user time (s): 5.58415
CPU system time (s): 0.073988
CPU usage (%): 123.869
Max. virtual memory (cumulated for all children) (KiB): 13629536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.58415
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40983
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= 373
involuntary context switches= 134
runsolver used 0.023996 second user time and 0.065989 second system time
The end