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-4243888-1500677133/watcher-4243888-1500677133 -o /tmp/evaluation-result-4243888-1500677133/solver-4243888-1500677133 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500674614-13045 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243888-1500677133.xml
pid=13430
running on 8 cores: 1,3,5,7,9,11,13,15
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.90 6.22 3.84 3/262 13433
/proc/meminfo: memFree=28653556/32770624 swapFree=5916/203144
[pid=13433] ppid=13430 vsize=8356940 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 2250 0 0 0 0 0 0 0 20 0 9 0 2978378 8557506560 2508 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2089492 2508 1208 1 0 2078403 0
[pid=13433/tid=13434] ppid=13430 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) D 13430 13433 9824 0 -1 4202560 955 0 0 0 0 0 0 0 20 0 10 0 2978378 9028321280 2508 33554432000 4194304 4196468 140733196523568 139985548625208 139985537101210 0 4 0 16784584 18446744071582151463 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=9065552 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2978379 9283125248 2508 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=9147248 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) D 13430 13433 9824 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 10 0 2978379 9366781952 2537 33554432000 4194304 4196468 140733196523568 139985469405880 139985537101399 0 4 0 16784584 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2978379 10448912384 2537 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2978379 10448912384 2537 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2978379 10449768448 2537 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2978379 10449768448 2602 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2978379 10449768448 2602 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2978379 10449768448 2602 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[startup+0.100074 s]
/proc/loadavg: 8.90 6.22 3.84 3/262 13433
/proc/meminfo: memFree=28653556/32770624 swapFree=5916/203144
[pid=13433] ppid=13430 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 4932 0 0 0 9 1 0 0 20 0 20 0 2978378 11162169344 6512 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2725139 6512 2639 1 0 2713552 0
[pid=13433/tid=13434] ppid=13430 vsize=10900556 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) R 13430 13433 9824 0 -1 4202560 3015 0 0 0 7 1 0 0 20 0 20 0 2978378 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985548613104 139985544406173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 6512 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.201039 s]
/proc/loadavg: 8.90 6.22 3.84 3/262 13433
/proc/meminfo: memFree=28653556/32770624 swapFree=5916/203144
[pid=13433] ppid=13430 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 7077 0 0 0 23 3 0 0 20 0 20 0 2978378 11162169344 8953 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2725139 8953 2903 1 0 2713552 0
[pid=13433/tid=13434] ppid=13430 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) R 13430 13433 9824 0 -1 4202560 4746 0 0 0 16 2 0 0 20 0 20 0 2978378 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985548615784 139985528464734 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162169344 8953 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300788 s]
/proc/loadavg: 8.90 6.22 3.84 3/262 13433
/proc/meminfo: memFree=28653556/32770624 swapFree=5916/203144
[pid=13433] ppid=13430 vsize=10900632 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 8403 0 0 0 40 4 0 0 20 0 20 0 2978378 11162247168 10737 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2725158 10737 2986 1 0 2713552 0
[pid=13433/tid=13434] ppid=13430 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) R 13430 13433 9824 0 -1 4202560 5428 0 0 0 25 3 0 0 20 0 20 0 2978378 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985548609376 139985530079256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 10737 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900632
[startup+0.700611 s]
/proc/loadavg: 8.90 6.22 3.84 3/262 13433
/proc/meminfo: memFree=28653556/32770624 swapFree=5916/203144
[pid=13433] ppid=13430 vsize=10900632 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 12657 0 0 0 148 5 0 0 20 0 20 0 2978378 11162247168 27869 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2725158 27869 3074 1 0 2713552 0
[pid=13433/tid=13434] ppid=13430 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) R 13430 13433 9824 0 -1 4202560 5663 0 0 0 64 3 0 0 20 0 20 0 2978378 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985548620824 139985150231146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2978379 11162247168 27869 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10900632
[startup+1.50107 s]
/proc/loadavg: 8.90 6.22 3.84 11/282 13453
/proc/meminfo: memFree=28449316/32770624 swapFree=5916/203496
[pid=13433] ppid=13430 vsize=10967196 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 22494 0 0 0 432 25 0 0 20 0 21 0 2978378 11230408704 59339 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2741799 59339 3125 1 0 2730193 0
[pid=13433/tid=13434] ppid=13430 vsize=10967196 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) R 13430 13433 9824 0 -1 4202560 6616 0 0 0 137 4 0 0 20 0 21 0 2978378 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985548620744 139985152059860 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=10967196 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 119 0 0 0 4 1 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=10967196 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=10967196 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=10967196 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=10967196 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 78 0 0 0 3 2 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=10967196 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=10967196 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 72 0 0 0 3 2 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=10967196 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 21 0 2978379 11230408704 59339 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13444] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13444/stat : 13444 (java) S 13430 13433 9824 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 21 0 2978381 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984750983920 139985544395394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13445] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13445/stat : 13445 (java) S 13430 13433 9824 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 21 0 2978382 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984749930144 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13446] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13446/stat : 13446 (java) S 13430 13433 9824 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 2978382 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984748877040 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13447] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13447/stat : 13447 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2978386 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984747825616 139985544402843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13448] ppid=13430 vsize=10967196 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13448/stat : 13448 (java) R 13430 13433 9824 0 -1 4202560 3593 0 0 0 73 0 0 0 20 0 21 0 2978386 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984746759264 139985521938327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13449] ppid=13430 vsize=10967196 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13449/stat : 13449 (java) R 13430 13433 9824 0 -1 4202560 4243 0 0 0 75 1 0 0 20 0 21 0 2978386 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984745706056 139985525928790 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13450] ppid=13430 vsize=10967196 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13450/stat : 13450 (java) R 13430 13433 9824 0 -1 4202560 3715 0 0 0 82 0 0 0 20 0 21 0 2978386 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984744667040 139985536618661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13451] ppid=13430 vsize=10967196 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13451/stat : 13451 (java) S 13430 13433 9824 0 -1 1077944384 2357 0 0 0 38 1 0 0 20 0 21 0 2978386 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984743614576 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13452] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13452/stat : 13452 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2978386 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984742562784 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13453] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13453/stat : 13453 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2978386 11230408704 59339 33554432000 4194304 4196468 140733196523568 139984741510320 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 4.57
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2363.5 s]
/proc/loadavg: 2.28 2.57 2.45 3/283 13638
/proc/meminfo: memFree=20600668/32770624 swapFree=5916/205868
[pid=13433] ppid=13430 vsize=10967196 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 190002 0 0 0 238625 1381 0 0 20 0 21 0 2978378 11230408704 759946 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2741799 759946 3166 1 0 2730193 0
[pid=13433/tid=13434] ppid=13430 vsize=10967196 CPUtime=2357.28 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) R 13430 13433 9824 0 -1 4202560 84202 0 0 0 235705 23 0 0 20 0 21 0 2978378 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985548622848 139985152599573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=10967196 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 6717 0 0 0 300 164 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=10967196 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 6707 0 0 0 297 163 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=10967196 CPUtime=4.56 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 7955 0 0 0 298 158 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=10967196 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 8045 0 0 0 296 149 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=10967196 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 6986 0 0 0 300 163 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=10967196 CPUtime=4.58 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 7425 0 0 0 296 162 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=10967196 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 6611 0 0 0 305 158 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=10967196 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 7107 0 0 0 301 161 0 0 20 0 21 0 2978379 11230408704 759946 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13444] ppid=13430 vsize=10967196 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13444/stat : 13444 (java) S 13430 13433 9824 0 -1 1077944384 20855 0 0 0 42 5 0 0 20 0 21 0 2978381 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984750983920 139985544395394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13445] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13445/stat : 13445 (java) S 13430 13433 9824 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 2978382 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984749930208 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13446] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13446/stat : 13446 (java) S 13430 13433 9824 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 21 0 2978382 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984748877056 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13447] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13447/stat : 13447 (java) S 13430 13433 9824 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2978386 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984747825616 139985544402843 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13448] ppid=13430 vsize=10967196 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13448/stat : 13448 (java) S 13430 13433 9824 0 -1 1077944384 5177 0 0 0 106 1 0 0 20 0 21 0 2978386 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984746772720 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13449] ppid=13430 vsize=10967196 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13449/stat : 13449 (java) S 13430 13433 9824 0 -1 1077944384 6437 0 0 0 137 1 0 0 20 0 21 0 2978386 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984745720176 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13450] ppid=13430 vsize=10967196 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13450/stat : 13450 (java) S 13430 13433 9824 0 -1 1077944384 6485 0 0 0 125 1 0 0 20 0 21 0 2978386 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984744667120 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13451] ppid=13430 vsize=10967196 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13451/stat : 13451 (java) S 13430 13433 9824 0 -1 1077944384 5271 0 0 0 43 2 0 0 20 0 21 0 2978386 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984743614576 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13452] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13452/stat : 13452 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2978386 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984742562784 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13453] ppid=13430 vsize=10967196 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13453/stat : 13453 (java) S 13430 13433 9824 0 -1 1077944384 2552 0 0 0 60 71 0 0 20 0 21 0 2978386 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984741510320 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13454] ppid=13430 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13454/stat : 13454 (java) S 13430 13433 9824 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2978502 11230408704 759946 33554432000 4194304 4196468 140733196523568 139984740455600 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13433 sig 9
??? kill -13433 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2363.61 s]
/proc/loadavg: 2.28 2.57 2.45 3/283 13638
/proc/meminfo: memFree=20600668/32770624 swapFree=5916/205868
[pid=13433] ppid=13430 vsize=11166888 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 190971 0 0 0 238626 1382 0 0 20 0 22 0 2978378 11434893312 760020 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2791722 760020 3168 1 0 2780116 0
[pid=13433/tid=13434] ppid=13430 vsize=11166888 CPUtime=2357.29 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) S 13430 13433 9824 0 -1 1077944384 84339 0 0 0 235706 23 0 0 20 0 22 0 2978378 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985548627120 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=11166888 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 6717 0 0 0 300 164 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=11166888 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 6707 0 0 0 297 163 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=11166888 CPUtime=4.56 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 7955 0 0 0 298 158 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=11166888 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 8045 0 0 0 296 149 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 6986 0 0 0 300 163 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=11166888 CPUtime=4.58 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 7425 0 0 0 296 162 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 6611 0 0 0 305 158 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=11166888 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 7107 0 0 0 301 161 0 0 20 0 22 0 2978379 11434893312 760020 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13444] ppid=13430 vsize=11166888 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13444/stat : 13444 (java) S 13430 13433 9824 0 -1 1077944384 20855 0 0 0 42 5 0 0 20 0 22 0 2978381 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984750983920 139985544395394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13445] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13445/stat : 13445 (java) S 13430 13433 9824 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 22 0 2978382 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984749930208 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13446] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13446/stat : 13446 (java) S 13430 13433 9824 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 22 0 2978382 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984748877056 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13447] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13447/stat : 13447 (java) S 13430 13433 9824 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 22 0 2978386 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984747825616 139985544402843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13448] ppid=13430 vsize=11166888 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13448/stat : 13448 (java) S 13430 13433 9824 0 -1 1077944384 5177 0 0 0 106 1 0 0 20 0 22 0 2978386 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984746772720 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13449] ppid=13430 vsize=11166888 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13449/stat : 13449 (java) S 13430 13433 9824 0 -1 1077944384 6437 0 0 0 137 1 0 0 20 0 22 0 2978386 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984745720176 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13450] ppid=13430 vsize=11166888 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13450/stat : 13450 (java) S 13430 13433 9824 0 -1 1077944384 6485 0 0 0 125 1 0 0 20 0 22 0 2978386 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984744667120 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13451] ppid=13430 vsize=11166888 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13451/stat : 13451 (java) S 13430 13433 9824 0 -1 1077944384 5447 0 0 0 43 2 0 0 20 0 22 0 2978386 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984743614576 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13452] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13452/stat : 13452 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2978386 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984742562784 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13453] ppid=13430 vsize=11166888 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13453/stat : 13453 (java) S 13430 13433 9824 0 -1 1077944384 2552 0 0 0 60 71 0 0 20 0 22 0 2978386 11434893312 760020 33554432000 4194304 4196468 140733196523568 139984741510320 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 11166888
[startup+2363.8 s]
/proc/loadavg: 2.28 2.57 2.45 3/283 13638
/proc/meminfo: memFree=20600668/32770624 swapFree=5916/205868
[pid=13433] ppid=13430 vsize=11166888 CPUtime=2400.23 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) S 13430 13433 9824 0 -1 1077944320 192815 0 0 0 238641 1382 0 0 20 0 22 0 2978378 11434893312 760034 33554432000 4194304 4196468 140733196523568 140733196506112 139985544384247 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
/proc/13433/statm: 2791722 760034 3168 1 0 2780116 0
[pid=13433/tid=13434] ppid=13430 vsize=11166888 CPUtime=2357.29 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13434/stat : 13434 (java) S 13430 13433 9824 0 -1 1077944384 84339 0 0 0 235706 23 0 0 20 0 22 0 2978378 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985548627120 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13435] ppid=13430 vsize=11166888 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13435/stat : 13435 (java) S 13430 13433 9824 0 -1 1077944384 6717 0 0 0 300 164 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985470458896 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13436] ppid=13430 vsize=11166888 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13436/stat : 13436 (java) S 13430 13433 9824 0 -1 1077944384 6707 0 0 0 297 163 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985469406352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13437] ppid=13430 vsize=11166888 CPUtime=4.56 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13437/stat : 13437 (java) S 13430 13433 9824 0 -1 1077944384 7955 0 0 0 298 158 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985468353296 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13438] ppid=13430 vsize=11166888 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13438/stat : 13438 (java) S 13430 13433 9824 0 -1 1077944384 8045 0 0 0 296 149 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985147653008 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13439] ppid=13430 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13439/stat : 13439 (java) S 13430 13433 9824 0 -1 1077944384 6986 0 0 0 300 163 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985146599952 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13440] ppid=13430 vsize=11166888 CPUtime=4.58 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13440/stat : 13440 (java) S 13430 13433 9824 0 -1 1077944384 7425 0 0 0 296 162 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985145547408 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13441] ppid=13430 vsize=11166888 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13441/stat : 13441 (java) S 13430 13433 9824 0 -1 1077944384 6611 0 0 0 305 158 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985144494352 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13442] ppid=13430 vsize=11166888 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13442/stat : 13442 (java) S 13430 13433 9824 0 -1 1077944384 7107 0 0 0 301 161 0 0 20 0 22 0 2978379 11434893312 760034 33554432000 4194304 4196468 140733196523568 139985143441808 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13444] ppid=13430 vsize=11166888 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13444/stat : 13444 (java) S 13430 13433 9824 0 -1 1077944384 20855 0 0 0 42 5 0 0 20 0 22 0 2978381 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984750983920 139985544395394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13445] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13445/stat : 13445 (java) S 13430 13433 9824 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 22 0 2978382 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984749930208 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13446] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13446/stat : 13446 (java) S 13430 13433 9824 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 22 0 2978382 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984748877056 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13447] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13447/stat : 13447 (java) S 13430 13433 9824 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 22 0 2978386 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984747825616 139985544402843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13448] ppid=13430 vsize=11166888 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13448/stat : 13448 (java) S 13430 13433 9824 0 -1 1077944384 5268 0 0 0 106 1 0 0 20 0 22 0 2978386 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984746772720 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13449] ppid=13430 vsize=11166888 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13449/stat : 13449 (java) R 13430 13433 9824 0 -1 4202560 6927 0 0 0 139 2 0 0 20 0 22 0 2978386 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984745720472 139985527771239 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13450] ppid=13430 vsize=11166888 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13450/stat : 13450 (java) S 13430 13433 9824 0 -1 1077944384 6751 0 0 0 127 1 0 0 20 0 22 0 2978386 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984744667120 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13451] ppid=13430 vsize=11166888 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13451/stat : 13451 (java) S 13430 13433 9824 0 -1 1077944384 6245 0 0 0 44 2 0 0 20 0 22 0 2978386 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984743614576 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13452] ppid=13430 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13452/stat : 13452 (java) S 13430 13433 9824 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2978386 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984742562784 139985544394453 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
[pid=13433/tid=13453] ppid=13430 vsize=11166888 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13453/stat : 13453 (java) S 13430 13433 9824 0 -1 1077944384 2552 0 0 0 60 71 0 0 20 0 22 0 2978386 11434893312 760034 33554432000 4194304 4196468 140733196523568 139984741510320 139985544395394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31830016 140733196530859 140733196531012 140733196531012 140733196533711 0
Current children cumulated CPU time (s) 2400.23
Current children cumulated vsize (KiB) 11166888
[startup+2363.9 s]
/proc/loadavg: 2.28 2.57 2.45 3/264 13641
/proc/meminfo: memFree=21359524/32770624 swapFree=5916/205868
[pid=13433] ppid=13430 vsize=0 CPUtime=2400.33 cores=1,3,5,7,9,11,13,15
/proc/13433/stat : 13433 (java) Z 13430 13433 9824 0 -1 4228108 192893 0 0 0 238650 1383 0 0 20 0 2 0 2978378 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/13433/statm: 0 0 0 0 0 0 0
[pid=13433/tid=13451] ppid=13430 vsize=0 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/13433/task/13451/stat : 13451 (java) R 13430 13433 9824 0 -1 4203588 6245 0 0 0 44 4 0 0 20 0 2 0 2978386 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 2363.91
CPU time (s): 2400.35
CPU user time (s): 2386.51
CPU system time (s): 13.8416
CPU usage (%): 101.541
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.51
system time used= 13.8416
maximum resident set size= 3224656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57512
involuntary context switches= 123281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2281 second user time and 17.4883 second system time
The end