runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4244171-1500681400/watcher-4244171-1500681400 -o /tmp/evaluation-result-4244171-1500681400/solver-4244171-1500681400 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500678414-14987 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244171-1500681400.xml
pid=15720
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 8.37 7.23 5.65 3/262 15723
/proc/meminfo: memFree=28823164/32770624 swapFree=6580/73768
[pid=15723] ppid=15720 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 2113 0 0 0 0 0 0 0 20 0 2 0 3404994 8550137856 2375 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2087436 2375 1197 1 0 2076347 0
[pid=15723/tid=15724] ppid=15720 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) R 15720 15723 14955 0 -1 4202560 904 0 0 0 0 0 0 0 20 0 2 0 3404994 8550137856 2441 33554432000 4194304 4196468 140728720559744 139757346052512 139757334994545 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[startup+0.100087 s]
/proc/loadavg: 8.37 7.23 5.65 3/262 15723
/proc/meminfo: memFree=28823164/32770624 swapFree=6580/73768
[pid=15723] ppid=15720 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 4937 0 0 0 8 1 0 0 20 0 20 0 3404994 11162169344 6038 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725139 6038 2620 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) R 15720 15723 14955 0 -1 4202560 3031 0 0 0 7 1 0 0 20 0 20 0 3404994 11162169344 6038 33554432000 4194304 4196468 140728720559744 139757346047752 139757341832349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200312 s]
/proc/loadavg: 8.37 7.23 5.65 3/262 15723
/proc/meminfo: memFree=28823164/32770624 swapFree=6580/73768
[pid=15723] ppid=15720 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 7056 0 0 0 24 2 0 0 20 0 20 0 3404994 11162169344 8377 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725139 8377 2892 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) R 15720 15723 14955 0 -1 4202560 4751 0 0 0 16 1 0 0 20 0 20 0 3404994 11162169344 8377 33554432000 4194304 4196468 140728720559744 139757346007312 139757328026842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.30026 s]
/proc/loadavg: 8.37 7.23 5.65 3/262 15723
/proc/meminfo: memFree=28823164/32770624 swapFree=6580/73768
[pid=15723] ppid=15720 vsize=10900556 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 8369 0 0 0 39 3 0 0 20 0 20 0 3404994 11162169344 10605 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725139 10605 2936 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) R 15720 15723 14955 0 -1 4202560 5430 0 0 0 26 2 0 0 20 0 20 0 3404994 11162169344 10605 33554432000 4194304 4196468 140728720559744 139757346031072 139756977659827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556
[startup+0.700303 s]
/proc/loadavg: 8.37 7.23 5.65 3/262 15723
/proc/meminfo: memFree=28823164/32770624 swapFree=6580/73768
[pid=15723] ppid=15720 vsize=10900632 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 11184 0 0 0 163 5 0 0 20 0 20 0 3404994 11162247168 30324 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725158 30324 3083 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) R 15720 15723 14955 0 -1 4202560 5847 0 0 0 64 3 0 0 20 0 20 0 3404994 11162247168 30324 33554432000 4194304 4196468 140728720559744 139757346046264 139756980507132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10900632
[startup+1.50079 s]
/proc/loadavg: 8.37 7.23 5.65 6/282 15743
/proc/meminfo: memFree=28639820/32770624 swapFree=6580/73840
[pid=15723] ppid=15720 vsize=10900632 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 14926 0 0 0 409 49 0 0 20 0 20 0 3404994 11162247168 71352 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725158 71352 3117 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900632 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) R 15720 15723 14955 0 -1 4202560 6040 0 0 0 130 4 0 0 20 0 20 0 3404994 11162247168 71352 33554432000 4194304 4196468 140728720559744 139757346047024 139756981115119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15725] ppid=15720 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15725/stat : 15725 (java) S 15720 15723 14955 0 -1 1077944384 88 0 0 0 6 5 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139757298363152 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15727] ppid=15720 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15727/stat : 15727 (java) S 15720 15723 14955 0 -1 1077944384 85 0 0 0 7 5 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756947037072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15728] ppid=15720 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15728/stat : 15728 (java) S 15720 15723 14955 0 -1 1077944384 72 0 0 0 7 4 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756945984528 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15729] ppid=15720 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15729/stat : 15729 (java) S 15720 15723 14955 0 -1 1077944384 91 0 0 0 7 5 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756944931984 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15730] ppid=15720 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15730/stat : 15730 (java) S 15720 15723 14955 0 -1 1077944384 80 0 0 0 6 5 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756943878416 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15731] ppid=15720 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15731/stat : 15731 (java) S 15720 15723 14955 0 -1 1077944384 88 0 0 0 7 5 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756942825872 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15732] ppid=15720 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15732/stat : 15732 (java) S 15720 15723 14955 0 -1 1077944384 83 0 0 0 6 5 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756941773328 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15733] ppid=15720 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15733/stat : 15733 (java) S 15720 15723 14955 0 -1 1077944384 81 0 0 0 6 5 0 0 20 0 20 0 3404995 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756940720784 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15734] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15734/stat : 15734 (java) S 15720 15723 14955 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3404998 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756159588848 139757341821570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15735] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15735/stat : 15735 (java) S 15720 15723 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756158535072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15736] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15736/stat : 15736 (java) S 15720 15723 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 71352 33554432000 4194304 4196468 140728720559744 139756157482480 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15737] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15737/stat : 15737 (java) S 15720 15723 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 71352 33554432000 4194304 4196468 140728720559744 139755954105040 139757341829019 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15738] ppid=15720 vsize=10900632 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15738/stat : 15738 (java) S 15720 15723 14955 0 -1 1077944384 1768 0 0 0 57 0 0 0 20 0 20 0 3405003 11162247168 71352 33554432000 4194304 4196468 140728720559744 139755953051632 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15739] ppid=15720 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15739/stat : 15739 (java) S 15720 15723 14955 0 -1 1077944384 1419 0 0 0 54 0 0 0 20 0 20 0 3405003 11162247168 71352 33554432000 4194304 4196468 140728720559744 139755951999088 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15740] ppid=15720 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15740/stat : 15740 (java) R 15720 15723 14955 0 -1 4202560 2456 0 0 0 79 0 0 0 20 0 20 0 3405003 11162247168 71352 33554432000 4194304 4196468 140728720559744 139755950932568 139757323355024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15741] ppid=15720 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15741/stat : 15741 (java) S 15720 15723 14955 0 -1 1077944384 1124 0 0 0 31 0 0 0 20 0 20 0 3405003 11162247168 71352 33554432000 4194304 4196468 140728720559744 139755949894000 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15742] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15742/stat : 15742 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 71352 33554432000 4194304 4196468 140728720559744 139755948841696 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15743] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15743/stat : 15743 (java) S 15720 15723 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 71352 33554432000 4194304 4196468 140728720559744 139755947789232 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 10900632
[startup+3.10129 s]
/proc/loadavg: 8.42 7.26 5.67 10/282 15743
/proc/meminfo: memFree=28250272/32770624 swapFree=6580/73840
[pid=15723] ppid=15720 vsize=10900632 CPUtime=12.19 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 18322 0 0 0 1037 182 0 0 20 0 20 0 3404994 11162247168 187371 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725158 187371 3135 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900632 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) R 15720 15723 14955 0 -1 4202560 6096 0 0 0 173 6 0 0 20 0 20 0 3404994 11162247168 187371 33554432000 4194304 4196468 140728720559744 139757346047472 139756981203603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15725] ppid=15720 vsize=10900632 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15725/stat : 15725 (java) S 15720 15723 14955 0 -1 1077944384 426 0 0 0 72 22 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139757298363152 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15727] ppid=15720 vsize=10900632 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15727/stat : 15727 (java) S 15720 15723 14955 0 -1 1077944384 289 0 0 0 77 20 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756947037072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15728] ppid=15720 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15728/stat : 15728 (java) S 15720 15723 14955 0 -1 1077944384 600 0 0 0 73 22 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756945984528 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15729] ppid=15720 vsize=10900632 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15729/stat : 15729 (java) S 15720 15723 14955 0 -1 1077944384 313 0 0 0 75 22 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756944931984 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15730] ppid=15720 vsize=10900632 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15730/stat : 15730 (java) S 15720 15723 14955 0 -1 1077944384 298 0 0 0 74 22 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756943878416 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15731] ppid=15720 vsize=10900632 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15731/stat : 15731 (java) S 15720 15723 14955 0 -1 1077944384 282 0 0 0 74 22 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756942825872 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15732] ppid=15720 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15732/stat : 15732 (java) S 15720 15723 14955 0 -1 1077944384 366 0 0 0 73 22 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756941773328 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15733] ppid=15720 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15733/stat : 15733 (java) S 15720 15723 14955 0 -1 1077944384 707 0 0 0 78 17 0 0 20 0 20 0 3404995 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756940720784 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15734] ppid=15720 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15734/stat : 15734 (java) S 15720 15723 14955 0 -1 1077944384 474 0 0 0 30 0 0 0 20 0 20 0 3404998 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756159588848 139757341821570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15735] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15735/stat : 15735 (java) S 15720 15723 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756158535072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15736] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15736/stat : 15736 (java) S 15720 15723 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 187371 33554432000 4194304 4196468 140728720559744 139756157482480 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15737] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15737/stat : 15737 (java) S 15720 15723 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 187371 33554432000 4194304 4196468 140728720559744 139755954105040 139757341829019 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15738] ppid=15720 vsize=10900632 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15738/stat : 15738 (java) S 15720 15723 14955 0 -1 1077944384 1768 0 0 0 57 0 0 0 20 0 20 0 3405003 11162247168 187371 33554432000 4194304 4196468 140728720559744 139755953051632 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15739] ppid=15720 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15739/stat : 15739 (java) S 15720 15723 14955 0 -1 1077944384 1419 0 0 0 54 0 0 0 20 0 20 0 3405003 11162247168 187371 33554432000 4194304 4196468 140728720559744 139755951999088 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15740] ppid=15720 vsize=10900632 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15740/stat : 15740 (java) S 15720 15723 14955 0 -1 1077944384 2790 0 0 0 91 0 0 0 20 0 20 0 3405003 11162247168 187371 33554432000 4194304 4196468 140728720559744 139755950946544 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15741] ppid=15720 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15741/stat : 15741 (java) S 15720 15723 14955 0 -1 1077944384 1124 0 0 0 31 0 0 0 20 0 20 0 3405003 11162247168 187371 33554432000 4194304 4196468 140728720559744 139755949894000 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15742] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15742/stat : 15742 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 187371 33554432000 4194304 4196468 140728720559744 139755948841696 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15743] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15743/stat : 15743 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 187371 33554432000 4194304 4196468 140728720559744 139755947789232 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 10900632
[startup+6.30078 s]
/proc/loadavg: 8.42 7.26 5.67 3/282 15743
/proc/meminfo: memFree=27756652/32770624 swapFree=6580/73852
[pid=15723] ppid=15720 vsize=10900632 CPUtime=27.74 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 23553 0 0 0 2497 277 0 0 20 0 20 0 3404994 11162247168 268938 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725158 268938 3135 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900632 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) S 15720 15723 14955 0 -1 1077944384 6414 0 0 0 210 7 0 0 20 0 20 0 3404994 11162247168 268938 33554432000 4194304 4196468 140728720559744 139757346047232 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15725] ppid=15720 vsize=10900632 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15725/stat : 15725 (java) S 15720 15723 14955 0 -1 1077944384 583 0 0 0 233 35 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139757298363152 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15727] ppid=15720 vsize=10900632 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15727/stat : 15727 (java) S 15720 15723 14955 0 -1 1077944384 466 0 0 0 241 33 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756947037072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15728] ppid=15720 vsize=10900632 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15728/stat : 15728 (java) S 15720 15723 14955 0 -1 1077944384 841 0 0 0 238 34 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756945984528 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15729] ppid=15720 vsize=10900632 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15729/stat : 15729 (java) S 15720 15723 14955 0 -1 1077944384 1646 0 0 0 242 31 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756944931984 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15730] ppid=15720 vsize=10900632 CPUtime=2.74 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15730/stat : 15730 (java) S 15720 15723 14955 0 -1 1077944384 735 0 0 0 241 33 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756943878416 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15731] ppid=15720 vsize=10900632 CPUtime=2.73 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15731/stat : 15731 (java) S 15720 15723 14955 0 -1 1077944384 1398 0 0 0 239 34 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756942825872 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15732] ppid=15720 vsize=10900632 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15732/stat : 15732 (java) S 15720 15723 14955 0 -1 1077944384 538 0 0 0 239 33 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756941773328 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15733] ppid=15720 vsize=10900632 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15733/stat : 15733 (java) S 15720 15723 14955 0 -1 1077944384 843 0 0 0 242 30 0 0 20 0 20 0 3404995 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756940720784 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15734] ppid=15720 vsize=10900632 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15734/stat : 15734 (java) R 15720 15723 14955 0 -1 4202560 1056 0 0 0 132 0 0 0 20 0 20 0 3404998 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756159587280 139757326511085 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15735] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15735/stat : 15735 (java) S 15720 15723 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756158535072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15736] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15736/stat : 15736 (java) S 15720 15723 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 268938 33554432000 4194304 4196468 140728720559744 139756157482480 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15737] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=15723/tid=15739] ppid=15720 vsize=10900632 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15739/stat : 15739 (java) S 15720 15723 14955 0 -1 1077944384 2398 0 0 0 64 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755951999136 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15740] ppid=15720 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15740/stat : 15740 (java) S 15720 15723 14955 0 -1 1077944384 3923 0 0 0 102 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755950946592 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15741] ppid=15720 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15741/stat : 15741 (java) S 15720 15723 14955 0 -1 1077944384 1604 0 0 0 32 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755949893760 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15742] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15742/stat : 15742 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755948841696 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15743] ppid=15720 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15743/stat : 15743 (java) S 15720 15723 14955 0 -1 1077944384 1020 0 0 0 7 5 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755947789232 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 2400.4
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15723
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15723 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+344.801 s]
/proc/loadavg: 8.84 7.94 6.38 10/283 15782
/proc/meminfo: memFree=20432052/32770624 swapFree=6580/74216
[pid=15723] ppid=15720 vsize=10900632 CPUtime=2406.65 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 459732 0 0 0 238327 2338 0 0 20 0 20 0 3404994 11162247168 2095694 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725158 2095694 3136 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900632 CPUtime=14.61 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) S 15720 15723 14955 0 -1 1077944384 14061 0 0 0 1451 10 0 0 20 0 20 0 3404994 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139757346047296 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15725] ppid=15720 vsize=10900632 CPUtime=296.09 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15725/stat : 15725 (java) R 15720 15723 14955 0 -1 4202560 38124 0 0 0 29341 268 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139757298363352 139757326806768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15727] ppid=15720 vsize=10900632 CPUtime=295.33 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15727/stat : 15727 (java) R 15720 15723 14955 0 -1 4202560 60674 0 0 0 29238 295 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756947037272 139757326807057 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15728] ppid=15720 vsize=10900632 CPUtime=293.38 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15728/stat : 15728 (java) R 15720 15723 14955 0 -1 4202560 58663 0 0 0 29035 303 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756945984728 139757326267873 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15729] ppid=15720 vsize=10900632 CPUtime=295.62 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15729/stat : 15729 (java) R 15720 15723 14955 0 -1 4202560 56997 0 0 0 29282 280 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756944932184 139757326268035 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15730] ppid=15720 vsize=10900632 CPUtime=295.17 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15730/stat : 15730 (java) R 15720 15723 14955 0 -1 4202560 59652 0 0 0 29235 282 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756943878616 139757323420199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15731] ppid=15720 vsize=10900632 CPUtime=294.77 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15731/stat : 15731 (java) R 15720 15723 14955 0 -1 4202560 21456 0 0 0 29181 296 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756942826072 139757323420032 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15732] ppid=15720 vsize=10900632 CPUtime=294.82 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15732/stat : 15732 (java) R 15720 15723 14955 0 -1 4202560 34705 0 0 0 29187 295 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756941773216 139757326509120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15733] ppid=15720 vsize=10900632 CPUtime=294.11 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15733/stat : 15733 (java) R 15720 15723 14955 0 -1 4202560 33302 0 0 0 29118 293 0 0 20 0 20 0 3404995 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756940720984 139757326267891 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15734] ppid=15720 vsize=10900632 CPUtime=29.83 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15734/stat : 15734 (java) S 15720 15723 14955 0 -1 1077944384 68908 0 0 0 2980 3 0 0 20 0 20 0 3404998 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756159587392 139757341820629 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15735] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15735/stat : 15735 (java) S 15720 15723 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756158535072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15736] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15736/stat : 15736 (java) S 15720 15723 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139756157482480 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15737] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15737/stat : 15737 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755954104688 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15738] ppid=15720 vsize=10900632 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15738/stat : 15738 (java) S 15720 15723 14955 0 -1 1077944384 2875 0 0 0 66 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755953051680 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15739] ppid=15720 vsize=10900632 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15739/stat : 15739 (java) S 15720 15723 14955 0 -1 1077944384 2398 0 0 0 64 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755951999136 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15740] ppid=15720 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15740/stat : 15740 (java) S 15720 15723 14955 0 -1 1077944384 3923 0 0 0 102 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755950946592 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15741] ppid=15720 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15741/stat : 15741 (java) S 15720 15723 14955 0 -1 1077944384 1604 0 0 0 32 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755949893760 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15742] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15742/stat : 15742 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755948841696 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15743] ppid=15720 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15743/stat : 15743 (java) S 15720 15723 14955 0 -1 1077944384 1020 0 0 0 7 5 0 0 20 0 20 0 3405003 11162247168 2095694 33554432000 4194304 4196468 140728720559744 139755947789232 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 2406.65
Current children cumulated vsize (KiB) 10900632
[startup+345.601 s]
/proc/loadavg: 8.84 7.94 6.38 10/283 15782
/proc/meminfo: memFree=20432052/32770624 swapFree=6580/74244
[pid=15723] ppid=15720 vsize=10900632 CPUtime=2413.02 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 491209 0 0 0 238963 2339 0 0 20 0 20 0 3404994 11162247168 2095695 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725158 2095695 3136 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900632 CPUtime=14.61 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) S 15720 15723 14955 0 -1 1077944384 14061 0 0 0 1451 10 0 0 20 0 20 0 3404994 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139757346047296 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15725] ppid=15720 vsize=10900632 CPUtime=296.89 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15725/stat : 15725 (java) R 15720 15723 14955 0 -1 4202560 38179 0 0 0 29421 268 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139757298363352 139757326509120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15727] ppid=15720 vsize=10900632 CPUtime=296.13 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15727/stat : 15727 (java) R 15720 15723 14955 0 -1 4202560 60712 0 0 0 29318 295 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756947037272 139757326806932 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15728] ppid=15720 vsize=10900632 CPUtime=294.16 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15728/stat : 15728 (java) R 15720 15723 14955 0 -1 4202560 89915 0 0 0 29111 305 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756945984728 139757326806768 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15729] ppid=15720 vsize=10900632 CPUtime=296.42 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15729/stat : 15729 (java) R 15720 15723 14955 0 -1 4202560 56997 0 0 0 29362 280 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756944932184 139757326806768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15730] ppid=15720 vsize=10900632 CPUtime=295.97 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15730/stat : 15730 (java) R 15720 15723 14955 0 -1 4202560 59652 0 0 0 29315 282 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756943878616 139757323420228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15731] ppid=15720 vsize=10900632 CPUtime=295.57 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15731/stat : 15731 (java) R 15720 15723 14955 0 -1 4202560 21501 0 0 0 29261 296 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756942826072 139757326806775 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15732] ppid=15720 vsize=10900632 CPUtime=295.62 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15732/stat : 15732 (java) R 15720 15723 14955 0 -1 4202560 34792 0 0 0 29267 295 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756941773216 139757326509168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15733] ppid=15720 vsize=10900632 CPUtime=294.91 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15733/stat : 15733 (java) R 15720 15723 14955 0 -1 4202560 33302 0 0 0 29198 293 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756940720984 139757323420131 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15734] ppid=15720 vsize=10900632 CPUtime=29.83 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15734/stat : 15734 (java) S 15720 15723 14955 0 -1 1077944384 68908 0 0 0 2980 3 0 0 20 0 20 0 3404998 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756159587392 139757341820629 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15735] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15735/stat : 15735 (java) S 15720 15723 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756158535072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15736] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15736/stat : 15736 (java) S 15720 15723 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756157482480 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15737] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15737/stat : 15737 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755954104688 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15738] ppid=15720 vsize=10900632 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15738/stat : 15738 (java) S 15720 15723 14955 0 -1 1077944384 2875 0 0 0 66 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755953051680 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15739] ppid=15720 vsize=10900632 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15739/stat : 15739 (java) S 15720 15723 14955 0 -1 1077944384 2398 0 0 0 64 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755951999136 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15740] ppid=15720 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15740/stat : 15740 (java) S 15720 15723 14955 0 -1 1077944384 3923 0 0 0 102 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755950946592 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15741] ppid=15720 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15741/stat : 15741 (java) S 15720 15723 14955 0 -1 1077944384 1604 0 0 0 32 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755949893760 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15742] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15742/stat : 15742 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755948841696 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15743] ppid=15720 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15743/stat : 15743 (java) S 15720 15723 14955 0 -1 1077944384 1020 0 0 0 7 5 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755947789232 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 2413.02
Current children cumulated vsize (KiB) 10900632
[startup+346.001 s]
/proc/loadavg: 8.84 7.94 6.38 10/283 15782
/proc/meminfo: memFree=20432052/32770624 swapFree=6580/74244
[pid=15723] ppid=15720 vsize=10900632 CPUtime=2416.21 cores=0,2,4,6,8,10,12,14
/proc/15723/stat : 15723 (java) S 15720 15723 14955 0 -1 1077944320 491209 0 0 0 239281 2340 0 0 20 0 20 0 3404994 11162247168 2095695 33554432000 4194304 4196468 140728720559744 140728720542288 139757341810423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
/proc/15723/statm: 2725158 2095695 3136 1 0 2713552 0
[pid=15723/tid=15724] ppid=15720 vsize=10900632 CPUtime=14.61 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15724/stat : 15724 (java) S 15720 15723 14955 0 -1 1077944384 14061 0 0 0 1451 10 0 0 20 0 20 0 3404994 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139757346047296 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15725] ppid=15720 vsize=10900632 CPUtime=297.29 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15725/stat : 15725 (java) R 15720 15723 14955 0 -1 4202560 38179 0 0 0 29461 268 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139757298363352 139757326806916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15727] ppid=15720 vsize=10900632 CPUtime=296.53 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15727/stat : 15727 (java) R 15720 15723 14955 0 -1 4202560 60712 0 0 0 29358 295 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756947037272 139757326806779 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15728] ppid=15720 vsize=10900632 CPUtime=294.55 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15728/stat : 15728 (java) R 15720 15723 14955 0 -1 4202560 89915 0 0 0 29150 305 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756945984648 139757327569240 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15729] ppid=15720 vsize=10900632 CPUtime=296.82 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15729/stat : 15729 (java) R 15720 15723 14955 0 -1 4202560 56997 0 0 0 29402 280 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756944932184 139757326509239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15730] ppid=15720 vsize=10900632 CPUtime=296.37 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15730/stat : 15730 (java) R 15720 15723 14955 0 -1 4202560 59652 0 0 0 29355 282 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756943878616 139757326806827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15731] ppid=15720 vsize=10900632 CPUtime=295.96 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15731/stat : 15731 (java) R 15720 15723 14955 0 -1 4202560 21501 0 0 0 29300 296 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756942825992 139757334438631 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15732] ppid=15720 vsize=10900632 CPUtime=296.01 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15732/stat : 15732 (java) R 15720 15723 14955 0 -1 4202560 34792 0 0 0 29306 295 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756941773448 139757334438631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15733] ppid=15720 vsize=10900632 CPUtime=295.31 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15733/stat : 15733 (java) R 15720 15723 14955 0 -1 4202560 33302 0 0 0 29238 293 0 0 20 0 20 0 3404995 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756940720984 139757326267989 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15734] ppid=15720 vsize=10900632 CPUtime=29.83 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15734/stat : 15734 (java) S 15720 15723 14955 0 -1 1077944384 68908 0 0 0 2980 3 0 0 20 0 20 0 3404998 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756159587392 139757341820629 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15735] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15735/stat : 15735 (java) S 15720 15723 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756158535072 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15736] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15736/stat : 15736 (java) S 15720 15723 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3404999 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139756157482480 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15737] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15737/stat : 15737 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755954104688 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15738] ppid=15720 vsize=10900632 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15738/stat : 15738 (java) S 15720 15723 14955 0 -1 1077944384 2875 0 0 0 66 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755953051680 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15739] ppid=15720 vsize=10900632 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15739/stat : 15739 (java) S 15720 15723 14955 0 -1 1077944384 2398 0 0 0 64 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755951999136 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15740] ppid=15720 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15740/stat : 15740 (java) S 15720 15723 14955 0 -1 1077944384 3923 0 0 0 102 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755950946592 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15741] ppid=15720 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15741/stat : 15741 (java) S 15720 15723 14955 0 -1 1077944384 1604 0 0 0 32 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755949893760 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15742] ppid=15720 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15742/stat : 15742 (java) S 15720 15723 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755948841696 139757341820629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
[pid=15723/tid=15743] ppid=15720 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15723/task/15743/stat : 15743 (java) S 15720 15723 14955 0 -1 1077944384 1020 0 0 0 7 5 0 0 20 0 20 0 3405003 11162247168 2095695 33554432000 4194304 4196468 140728720559744 139755947789232 139757341821570 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6639616 140728720561323 140728720561476 140728720561476 140728720564175 0
Current children cumulated CPU time (s) 2416.21
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 346.053
CPU time (s): 2416.29
CPU user time (s): 2392.85
CPU system time (s): 23.4466
CPU usage (%): 698.244
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.85
system time used= 23.4466
maximum resident set size= 8383064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45241
involuntary context switches= 175740
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.05791 second user time and 3.52176 second system time
The end