runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9702 MiB free)
memory of node 1: 16384 MiB (13663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302400-1532896291/watcher-4302400-1532896291 -o /tmp/evaluation-result-4302400-1532896291/solver-4302400-1532896291 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1821596534 HOME/instance-4302400-1532896291.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18440, runsolver pid=18437
[startup+0.100119 s]*
/proc/loadavg: 1.64 1.64 1.79 3/207 18497
/proc/meminfo: memFree=23922520/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=10005480 memory=14912 CPUtime=0.09 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 4397 13218 0 0 1 0 5 3 20 0 6 0 107192287 10245611520 3728 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2501370 3728 1935 1 0 2489808 0
[pid=18440/tid=18493] ppid=18437 vsize=10005480 memory=4279135703946462859 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 2231 13218 0 0 0 0 5 3 20 0 6 0 107192296 10245611520 3794 33554432000 4194304 4196468 140722080407552 139785283408464 139785295652220 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 6 0 107192297 10245611520 3794 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=10005480 memory=140463629244032 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 6 0 107192297 10245611520 3794 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 6 0 107192297 10245611520 3794 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 6 0 107192297 10245611520 3794 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14912 KiB
[startup+0.209834 s]*
/proc/loadavg: 1.64 1.64 1.79 3/216 18506
/proc/meminfo: memFree=23898104/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=10982744 memory=43248 CPUtime=0.26 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 7952 13218 0 0 17 1 5 3 20 0 15 0 107192287 11246329856 10812 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2745686 10812 2986 1 0 2708109 0
[pid=18440/tid=18493] ppid=18437 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 4590 13218 0 0 10 1 5 3 20 0 15 0 107192296 11246329856 10944 33554432000 4194304 4196468 140722080407552 139785283349664 139785291847463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246329856 10944 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=10982744 memory=140463629244032 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246329856 10944 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246329856 10944 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246329856 10944 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=10982744 memory=140463629244032 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246329856 10944 33554432000 4194304 4196468 140722080407552 139784603273584 139785311582850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 13 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246329856 10944 33554432000 4194304 4196468 140722080407552 139784139826208 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246329856 11010 33554432000 4194304 4196468 140722080407552 139783938499440 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246329856 11010 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 431 13218 0 0 1 0 5 3 20 0 15 0 107192302 11246329856 11010 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 199 13218 0 0 1 0 5 3 20 0 15 0 107192302 11246329856 11010 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=10982744 memory=140463629244032 CPUtime=0.11 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 662 13218 0 0 3 0 5 3 20 0 15 0 107192302 11246329856 11010 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246329856 11010 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=10982744 memory=140463629244032 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246329856 11010 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43248 KiB
[startup+0.310107 s]*
/proc/loadavg: 1.64 1.64 1.79 3/216 18506
/proc/meminfo: memFree=23885204/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=10983192 memory=55540 CPUtime=0.38 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 10923 13218 0 0 28 2 5 3 20 0 15 0 107192287 11246788608 13885 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2745798 13885 3105 1 0 2708109 0
[pid=18440/tid=18493] ppid=18437 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 7367 13218 0 0 19 2 5 3 20 0 15 0 107192296 11246788608 13885 33554432000 4194304 4196468 140722080407552 139785283383712 139785311593629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=10983192 memory=7012755875661107280 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 13885 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784603273584 139785311582850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 13 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784139826208 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246788608 13885 33554432000 4194304 4196468 140722080407552 139783938499440 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246788608 13885 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 436 13218 0 0 1 0 5 3 20 0 15 0 107192302 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 203 13218 0 0 1 0 5 3 20 0 15 0 107192302 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 697 13218 0 0 4 0 5 3 20 0 15 0 107192302 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246788608 13885 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246788608 13885 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55540 KiB
[startup+0.70078 s]
/proc/loadavg: 1.64 1.64 1.79 4/216 18506
/proc/meminfo: memFree=23874288/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=10983192 memory=88196 CPUtime=1 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 17187 13218 0 0 88 4 5 3 20 0 15 0 107192287 11246788608 22049 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2745798 22049 3241 1 0 2708109 0
[pid=18440/tid=18493] ppid=18437 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 12472 13218 0 0 56 3 5 3 20 0 15 0 107192296 11246788608 22049 33554432000 4194304 4196468 140722080407552 139785283391992 139785295652190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 22049 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 2 13218 0 0 0 0 5 3 20 0 15 0 107192297 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 5 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784603273584 139785311582850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 13 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784139826208 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192299 11246788608 22049 33554432000 4194304 4196468 140722080407552 139783938499440 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246788608 22049 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=10983192 memory=13252 CPUtime=0.18 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 1063 13218 0 0 10 0 5 3 20 0 15 0 107192302 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 562 13218 0 0 7 0 5 3 20 0 15 0 107192302 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 868 13218 0 0 13 0 5 3 20 0 15 0 107192302 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246788608 22049 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192302 11246788608 22049 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88196 KiB
[startup+1.50075 s]
/proc/loadavg: 1.64 1.64 1.79 3/216 18506
/proc/meminfo: memFree=23827772/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=10996044 memory=229560 CPUtime=2.76 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 24977 13218 0 0 260 8 5 3 20 0 15 0 107192287 11259949056 57390 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2749011 57390 3453 1 0 2710669 0
[pid=18440/tid=18493] ppid=18437 vsize=10996044 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) S 18437 18440 12183 0 -1 1077944384 17044 13218 0 0 131 6 5 3 20 0 15 0 107192296 11259949056 57390 33554432000 4194304 4196468 140722080407552 139785283386432 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 10 13218 0 0 0 0 5 3 20 0 15 0 107192297 11259949056 57390 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) R 18437 18440 12183 0 -1 4202560 9 13218 0 0 0 0 5 3 20 0 15 0 107192297 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784851164176 139785296579863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) R 18437 18440 12183 0 -1 1077944384 162 13218 0 0 0 0 5 3 20 0 15 0 107192297 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) R 18437 18440 12183 0 -1 4202560 53 13218 0 0 0 0 5 3 20 0 15 0 107192297 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784849058576 139785296269337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=10996044 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 38 13218 0 0 0 0 5 3 20 0 15 0 107192299 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784603271872 139785311581909 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=10996044 memory=280926965803264 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 13 13218 0 0 0 0 5 3 20 0 15 0 107192299 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784139826208 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192299 11259949056 57390 33554432000 4194304 4196468 140722080407552 139783938499440 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=10996044 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11259949056 57390 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=10996044 memory=1232 CPUtime=0.54 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 2204 13218 0 0 46 0 5 3 20 0 15 0 107192302 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=10996044 memory=8560 CPUtime=0.47 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 1667 13218 0 0 39 0 5 3 20 0 15 0 107192302 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=10996044 memory=1712 CPUtime=0.45 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 1583 13218 0 0 37 0 5 3 20 0 15 0 107192302 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=10996044 memory=5412 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11259949056 57390 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=10996044 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1 13218 0 0 0 0 5 3 20 0 15 0 107192302 11259949056 57390 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 61267 13218 0 0 16157 25 5 3 20 0 15 0 107192296 11345952768 343541 33554432000 4194304 4196468 140722080407552 139785283395312 139784897496027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=11080032 memory=4612 CPUtime=0.28 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1301 13218 0 0 13 7 5 3 20 0 15 0 107192297 11345952768 343541 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=11080032 memory=1374164 CPUtime=0.28 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 4095 13218 0 0 13 7 5 3 20 0 15 0 107192297 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=11080032 memory=8 CPUtime=0.28 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 1653 13218 0 0 13 7 5 3 20 0 15 0 107192297 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=11080032 memory=1696 CPUtime=0.27 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 2050 13218 0 0 12 7 5 3 20 0 15 0 107192297 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=11080032 memory=1377756 CPUtime=0.18 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 5523 13218 0 0 9 1 5 3 20 0 15 0 107192299 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784603273584 139785311582850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=11080032 memory=1377756 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 18 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784139826336 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=11080032 memory=1377756 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 15 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 343541 33554432000 4194304 4196468 140722080407552 139783938499456 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=11080032 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 343541 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=11080032 memory=1584 CPUtime=5.04 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 16252 13218 0 0 494 2 5 3 20 0 15 0 107192302 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=11080032 memory=4124 CPUtime=6.35 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 24107 13218 0 0 624 3 5 3 20 0 15 0 107192302 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=11080032 memory=8560 CPUtime=1.96 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 11795 13218 0 0 186 2 5 3 20 0 15 0 107192302 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=11080032 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 343541 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=11080032 memory=1374164 CPUtime=0.15 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1052 13218 0 0 4 3 5 3 20 0 15 0 107192302 11345952768 343541 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 176.11 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1374164 KiB
[startup+222.301 s]
/proc/loadavg: 1.78 1.76 1.81 3/215 18509
/proc/meminfo: memFree=22205220/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=11080032 memory=1356720 CPUtime=236.36 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 143000 13218 0 0 23556 72 5 3 20 0 15 0 107192287 11345952768 339180 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2770008 339180 3526 1 0 2731661 0
[pid=18440/tid=18493] ppid=18437 vsize=11080032 memory=1356720 CPUtime=221.82 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 63258 13218 0 0 22148 26 5 3 20 0 15 0 107192296 11345952768 339180 33554432000 4194304 4196468 140722080407552 139785283400640 139784883711547 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.32 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1395 13218 0 0 16 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.33 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 4124 13218 0 0 17 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.32 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 2301 13218 0 0 16 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.3 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 3124 13218 0 0 15 7 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.21 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 5847 13218 0 0 12 1 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784603273584 139785311582850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 18 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784139826336 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=11080032 memory=18232 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 15 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783938499456 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=11080032 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=11080032 memory=6791534058613427641 CPUtime=5.08 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 18438 13218 0 0 498 2 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=11080032 memory=30696 CPUtime=6.43 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 27293 13218 0 0 631 4 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=11080032 memory=1296 CPUtime=1.98 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 13905 13218 0 0 188 2 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=11080032 memory=2400 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=11080032 memory=1836 CPUtime=0.18 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1084 13218 0 0 5 5 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 236.36 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1356720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+237.901 s]
/proc/loadavg: 1.84 1.77 1.81 4/215 18637
/proc/meminfo: memFree=20818848/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=11080032 memory=1356720 CPUtime=252 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 148799 13218 0 0 25119 73 5 3 20 0 15 0 107192287 11345952768 339180 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2770008 339180 3526 1 0 2731661 0
[pid=18440/tid=18493] ppid=18437 vsize=11080032 memory=1356720 CPUtime=237.41 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 64176 13218 0 0 23707 26 5 3 20 0 15 0 107192296 11345952768 339180 33554432000 4194304 4196468 140722080407552 139785283404720 139784897495244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.33 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1469 13218 0 0 17 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.33 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 4253 13218 0 0 17 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.32 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 3393 13218 0 0 16 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.31 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 3699 13218 0 0 16 7 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.23 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 6180 13218 0 0 13 2 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784603273584 139785311582850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 18 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784139826336 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=11080032 memory=280926967551872 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 15 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783938499456 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=11080032 memory=4140 CPUtime=5.09 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 19681 13218 0 0 499 2 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=11080032 memory=4140 CPUtime=6.44 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 28074 13218 0 0 632 4 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=11080032 memory=30696 CPUtime=1.98 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 14538 13218 0 0 188 2 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=11080032 memory=66 CPUtime=0.18 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1105 13218 0 0 5 5 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1356720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+237.95 s]
# the end of solver process 18440 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.271 s, system=0.78707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+237.901 s]
/proc/loadavg: 1.84 1.77 1.81 4/215 18637
/proc/meminfo: memFree=20818848/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=11080032 memory=1356720 CPUtime=252 cores=1,3,5,7
/proc/18440/stat : 18440 (java) S 18437 18440 12183 0 -1 1077944320 148799 13218 0 0 25119 73 5 3 20 0 15 0 107192287 11345952768 339180 33554432000 4194304 4196468 140722080407552 140722080390096 139785311571703 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
/proc/18440/statm: 2770008 339180 3526 1 0 2731661 0
[pid=18440/tid=18493] ppid=18437 vsize=11080032 memory=1356720 CPUtime=237.41 cores=1,3,5,7
/proc/18440/task/18493/stat : 18493 (java) R 18437 18440 12183 0 -1 4202560 64176 13218 0 0 23707 26 5 3 20 0 15 0 107192296 11345952768 339180 33554432000 4194304 4196468 140722080407552 139785283404720 139784897495244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18494] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.33 cores=1,3,5,7
/proc/18440/task/18494/stat : 18494 (java) S 18437 18440 12183 0 -1 1077944384 1469 13218 0 0 17 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139785315814544 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18495] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.33 cores=1,3,5,7
/proc/18440/task/18495/stat : 18495 (java) S 18437 18440 12183 0 -1 1077944384 4253 13218 0 0 17 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784851164176 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18496] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.32 cores=1,3,5,7
/proc/18440/task/18496/stat : 18496 (java) S 18437 18440 12183 0 -1 1077944384 3393 13218 0 0 16 8 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784850111376 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18497] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.31 cores=1,3,5,7
/proc/18440/task/18497/stat : 18497 (java) S 18437 18440 12183 0 -1 1077944384 3699 13218 0 0 16 7 5 3 20 0 15 0 107192297 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784849058576 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18498] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.23 cores=1,3,5,7
/proc/18440/task/18498/stat : 18498 (java) S 18437 18440 12183 0 -1 1077944384 6180 13218 0 0 13 2 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784603273584 139785311582850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18499] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18499/stat : 18499 (java) S 18437 18440 12183 0 -1 1077944384 18 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784139826336 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18500] ppid=18437 vsize=11080032 memory=280926967551872 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18500/stat : 18500 (java) S 18437 18440 12183 0 -1 1077944384 15 13218 0 0 0 0 5 3 20 0 15 0 107192299 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783938499456 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18501] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18501/stat : 18501 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783631099728 139785311590299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18502] ppid=18437 vsize=11080032 memory=4140 CPUtime=5.09 cores=1,3,5,7
/proc/18440/task/18502/stat : 18502 (java) S 18437 18440 12183 0 -1 1077944384 19681 13218 0 0 499 2 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784602221424 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18503] ppid=18437 vsize=11080032 memory=4140 CPUtime=6.44 cores=1,3,5,7
/proc/18440/task/18503/stat : 18503 (java) S 18437 18440 12183 0 -1 1077944384 28074 13218 0 0 632 4 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784601168624 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18504] ppid=18437 vsize=11080032 memory=30696 CPUtime=1.98 cores=1,3,5,7
/proc/18440/task/18504/stat : 18504 (java) S 18437 18440 12183 0 -1 1077944384 14538 13218 0 0 188 2 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784600115824 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18505] ppid=18437 vsize=11080032 memory=1356720 CPUtime=0.08 cores=1,3,5,7
/proc/18440/task/18505/stat : 18505 (java) S 18437 18440 12183 0 -1 1077944384 3 13218 0 0 0 0 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139783200303840 139785311581909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
[pid=18440/tid=18506] ppid=18437 vsize=11080032 memory=66 CPUtime=0.18 cores=1,3,5,7
/proc/18440/task/18506/stat : 18506 (java) S 18437 18440 12183 0 -1 1077944384 1105 13218 0 0 5 5 5 3 20 0 15 0 107192302 11345952768 339180 33554432000 4194304 4196468 140722080407552 139784599063216 139785311582850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26009600 140722080410225 140722080413025 140722080413025 140722080415695 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1356720 KiB
Child status: 143
Real time (s): 237.95
CPU time (s): 252.058
CPU user time (s): 251.271
CPU system time (s): 0.78707
CPU usage (%): 105.929
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 1474720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.271
system time used= 0.78707
maximum resident set size= 1476284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14938
involuntary context switches= 274
# summary of solver processes directly reported to runsolver:
# pid: 18440
# total CPU time (s): 252.058
# total CPU user time (s): 251.271
# total CPU system time (s): 0.78707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07362 second user time and 2.56509 second system time
The end