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 (14985 MiB free)
memory of node 1: 16384 MiB (15393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274342-1502686224/watcher-4274342-1502686224 -o /tmp/evaluation-result-4274342-1502686224/solver-4274342-1502686224 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1070992116 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274342-1502686224.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=11273, runsolver pid=11270
[startup+0.101739 s]*
/proc/loadavg: 1.36 1.39 1.40 3/204 11279
/proc/meminfo: memFree=31103392/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13358552 memory=14932 CPUtime=0.01 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 3574 0 0 0 1 0 0 0 20 0 6 0 116437615 13679157248 3733 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3339638 3733 1913 1 0 3329135 0
[pid=11273/tid=11275] ppid=11270 vsize=13358552 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 2296 0 0 0 1 0 0 0 20 0 6 0 116437624 13679157248 3799 18446744073709551615 4194304 4196468 140723078552512 140232682447440 140232670448446 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116437625 13679157248 3799 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13358552 memory=140703899813504 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 116437625 13679157248 3799 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116437625 13679157248 3799 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 116437625 13679157248 3799 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14932 KiB
[startup+0.210487 s]*
/proc/loadavg: 1.36 1.39 1.40 3/213 11288
/proc/meminfo: memFree=31093672/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13975920 memory=29956 CPUtime=0.08 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 6801 0 0 0 7 1 0 0 20 0 15 0 116437615 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3493980 7489 3324 1 0 3482759 0
[pid=11273/tid=11275] ppid=11270 vsize=13975920 memory=7077796292425249400 CPUtime=0.07 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 4888 0 0 0 6 1 0 0 20 0 15 0 116437624 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232682440696 140232678223254 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13975920 memory=140703899813504 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13975920 memory=140703899813504 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437626 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116437626 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232155444384 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116437627 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232154391280 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) S 11270 11273 8289 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 116437629 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232152287984 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232151235440 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13975920 memory=140703899813504 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) R 11270 11273 8289 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 15 0 116437629 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232150182384 140232678232666 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13975920 memory=140703899813504 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437635 14311342080 7489 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 29956 KiB
[startup+0.310843 s]*
/proc/loadavg: 1.36 1.39 1.40 3/213 11288
/proc/meminfo: memFree=31081364/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13975920 memory=39696 CPUtime=0.24 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 10154 0 0 0 21 3 0 0 20 0 15 0 116437615 14311342080 9924 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3493980 9924 3545 1 0 3482759 0
[pid=11273/tid=11275] ppid=11270 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 7880 0 0 0 14 2 0 0 20 0 15 0 116437624 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232682433264 140232662291806 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13975920 memory=140703899820497 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116437626 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116437626 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232155444384 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116437627 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232154391280 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) S 11270 11273 8289 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 116437629 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232152287984 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) S 11270 11273 8289 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 116437629 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232151235440 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) S 11270 11273 8289 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 15 0 116437629 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232150182384 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437635 14311342080 9947 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39696 KiB
[startup+0.700815 s]
/proc/loadavg: 1.36 1.39 1.40 4/213 11288
/proc/meminfo: memFree=31068920/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13977988 memory=66496 CPUtime=0.98 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 13847 0 0 0 94 4 0 0 20 0 15 0 116437615 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3494497 16624 3731 1 0 3483271 0
[pid=11273/tid=11275] ppid=11270 vsize=13977988 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) S 11270 11273 8289 0 -1 1077944384 10358 0 0 0 50 3 0 0 20 0 15 0 116437624 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232682444848 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116437626 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116437626 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232155444384 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116437627 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232154391280 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13977988 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) R 11270 11273 8289 0 -1 4202560 733 0 0 0 9 0 0 0 20 0 15 0 116437629 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232152278816 140232657904415 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13977988 memory=7524860340579717849 CPUtime=0.11 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) R 11270 11273 8289 0 -1 4202560 538 0 0 0 11 0 0 0 20 0 15 0 116437629 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232151224912 140232663135606 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13977988 memory=6944656592387989600 CPUtime=0.21 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) R 11270 11273 8289 0 -1 4202560 836 0 0 0 21 0 0 0 20 0 15 0 116437629 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232150179320 140232662027543 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437635 14313459712 16624 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66496 KiB
[startup+1.5008 s]
/proc/loadavg: 1.36 1.39 1.40 4/213 11288
/proc/meminfo: memFree=31035976/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13982084 memory=138356 CPUtime=3.08 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 31003 0 0 0 299 9 0 0 20 0 15 0 116437615 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3495521 34589 3765 1 0 3484295 0
[pid=11273/tid=11275] ppid=11270 vsize=13982084 memory=7811042137166332004 CPUtime=1.33 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 14622 0 0 0 127 6 0 0 20 0 15 0 116437624 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232682448208 140232316587954 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13982084 memory=7811042137166332004 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13982084 memory=281407599663104 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13982084 memory=7595698331001776997 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116437625 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13982084 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116437625 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13982084 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 116437626 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116437626 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232155444384 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13982084 memory=140703799942208 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116437627 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232154391280 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13982084 memory=-8774313645642428999 CPUtime=0.51 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) R 11270 11273 8289 0 -1 4202560 2488 0 0 0 51 0 0 0 20 0 15 0 116437629 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232152273864 140232663319354 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13982084 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) R 11270 11273 8289 0 -1 4202560 4005 0 0 0 57 1 0 0 20 0 15 0 116437629 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232151222224 140232663326562 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13982084 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) S 11270 11273 8289 0 -1 1077944384 8455 0 0 0 63 1 0 0 20 0 15 0 116437629 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232150182384 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 116437635 14317654016 34589 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 13982084 KiB
################
# More data... #
################
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 28599 0 0 0 243781 16 0 0 20 0 15 0 116437624 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232682449696 140232317992543 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13982084 memory=1008 CPUtime=1.47 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 4072 0 0 0 137 10 0 0 20 0 15 0 116437625 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13982084 memory=218684 CPUtime=1.47 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 3604 0 0 0 136 11 0 0 20 0 15 0 116437625 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13982084 memory=56 CPUtime=1.46 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 4475 0 0 0 134 12 0 0 20 0 15 0 116437625 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13982084 memory=218580 CPUtime=1.49 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 1881 0 0 0 137 12 0 0 20 0 15 0 116437625 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13982084 memory=218532 CPUtime=1.53 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 6016 0 0 0 142 11 0 0 20 0 15 0 116437626 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13982084 memory=218684 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 116437626 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232155444448 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13982084 memory=218684 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116437627 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232154391296 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13982084 memory=218684 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13982084 memory=218684 CPUtime=3.58 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) S 11270 11273 8289 0 -1 1077944384 16701 0 0 0 356 2 0 0 20 0 15 0 116437629 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232152287984 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13982084 memory=218684 CPUtime=3.57 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) S 11270 11273 8289 0 -1 1077944384 16798 0 0 0 355 2 0 0 20 0 15 0 116437629 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232151235440 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13982084 memory=218684 CPUtime=0.77 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) S 11270 11273 8289 0 -1 1077944384 12138 0 0 0 75 2 0 0 20 0 15 0 116437629 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232150182384 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13982084 memory=218684 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13982084 memory=218684 CPUtime=0.53 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 1094 0 0 0 22 31 0 0 20 0 15 0 116437635 14317654016 54671 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 2453.93 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 218684 KiB
[startup+2502.3 s]
/proc/loadavg: 1.19 1.36 1.39 3/212 11538
/proc/meminfo: memFree=30891248/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13982084 memory=220800 CPUtime=2514.03 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 96958 0 0 0 251311 92 0 0 20 0 15 0 116437615 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3495521 55200 3809 1 0 3484295 0
[pid=11273/tid=11275] ppid=11270 vsize=13982084 memory=15880 CPUtime=2497.87 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 28666 0 0 0 249771 16 0 0 20 0 15 0 116437624 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232682449648 140232317767139 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.5 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 4095 0 0 0 140 10 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.51 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 3611 0 0 0 139 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.49 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 4485 0 0 0 137 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.52 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 1889 0 0 0 140 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.56 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 6020 0 0 0 145 11 0 0 20 0 15 0 116437626 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 116437626 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232155444448 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116437627 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232154391296 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13982084 memory=220800 CPUtime=3.58 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) S 11270 11273 8289 0 -1 1077944384 16701 0 0 0 356 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232152287984 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13982084 memory=220800 CPUtime=3.57 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) S 11270 11273 8289 0 -1 1077944384 16798 0 0 0 355 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232151235440 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13982084 memory=220800 CPUtime=0.77 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) S 11270 11273 8289 0 -1 1077944384 12138 0 0 0 75 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232150182384 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13982084 memory=56728 CPUtime=0.55 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 1098 0 0 0 23 32 0 0 20 0 15 0 116437635 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 2514.03 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 220800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.3 s]
/proc/loadavg: 1.17 1.35 1.39 3/213 11539
/proc/meminfo: memFree=30891316/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13982084 memory=220800 CPUtime=2520.04 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 96968 0 0 0 251912 92 0 0 20 0 15 0 116437615 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3495521 55200 3809 1 0 3484295 0
[pid=11273/tid=11275] ppid=11270 vsize=13982084 memory=220800 CPUtime=2503.87 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 28672 0 0 0 250371 16 0 0 20 0 15 0 116437624 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232682449424 140232316692252 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.5 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 4096 0 0 0 140 10 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.52 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 3612 0 0 0 140 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.5 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 4486 0 0 0 138 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.52 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 1890 0 0 0 140 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.56 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 6020 0 0 0 145 11 0 0 20 0 15 0 116437626 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 116437626 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232155444448 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116437627 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232154391296 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13982084 memory=0 CPUtime=3.58 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) S 11270 11273 8289 0 -1 1077944384 16701 0 0 0 356 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232152287984 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13982084 memory=220800 CPUtime=3.57 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) S 11270 11273 8289 0 -1 1077944384 16798 0 0 0 355 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232151235440 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13982084 memory=4168 CPUtime=0.77 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) S 11270 11273 8289 0 -1 1077944384 12138 0 0 0 75 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232150182384 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13982084 memory=220800 CPUtime=0.55 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 1098 0 0 0 23 32 0 0 20 0 15 0 116437635 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 220800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.32 s]
# the end of solver process 11273 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.15 s, system=0.927707 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.3 s]
/proc/loadavg: 1.17 1.35 1.39 3/213 11539
/proc/meminfo: memFree=30891316/32770624 swapFree=67108860/67108860
[pid=11273] ppid=11270 vsize=13982084 memory=220800 CPUtime=2520.04 cores=1,3,5,7
/proc/11273/stat : 11273 (java) S 11270 11273 8289 0 -1 1077944320 96968 0 0 0 251912 92 0 0 20 0 15 0 116437615 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140723078535056 140232678211319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
/proc/11273/statm: 3495521 55200 3809 1 0 3484295 0
[pid=11273/tid=11275] ppid=11270 vsize=13982084 memory=220800 CPUtime=2503.87 cores=1,3,5,7
/proc/11273/task/11275/stat : 11275 (java) R 11270 11273 8289 0 -1 4202560 28672 0 0 0 250371 16 0 0 20 0 15 0 116437624 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232682449424 140232316692252 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11276] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.5 cores=1,3,5,7
/proc/11273/task/11276/stat : 11276 (java) S 11270 11273 8289 0 -1 1077944384 4096 0 0 0 140 10 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232635178000 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11277] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.52 cores=1,3,5,7
/proc/11273/task/11277/stat : 11277 (java) S 11270 11273 8289 0 -1 1077944384 3612 0 0 0 140 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232634125456 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11278] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.5 cores=1,3,5,7
/proc/11273/task/11278/stat : 11278 (java) S 11270 11273 8289 0 -1 1077944384 4486 0 0 0 138 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232633072400 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11279] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.52 cores=1,3,5,7
/proc/11273/task/11279/stat : 11279 (java) S 11270 11273 8289 0 -1 1077944384 1890 0 0 0 140 12 0 0 20 0 15 0 116437625 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232632019856 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11280] ppid=11270 vsize=13982084 memory=220800 CPUtime=1.56 cores=1,3,5,7
/proc/11273/task/11280/stat : 11280 (java) S 11270 11273 8289 0 -1 1077944384 6020 0 0 0 145 11 0 0 20 0 15 0 116437626 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232156498160 140232678222466 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11281] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11281/stat : 11281 (java) S 11270 11273 8289 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 116437626 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232155444448 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11282] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11282/stat : 11282 (java) S 11270 11273 8289 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116437627 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232154391296 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11283] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11283/stat : 11283 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232153339856 140232678229915 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11284] ppid=11270 vsize=13982084 memory=0 CPUtime=3.58 cores=1,3,5,7
/proc/11273/task/11284/stat : 11284 (java) S 11270 11273 8289 0 -1 1077944384 16701 0 0 0 356 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232152287984 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 47 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11285] ppid=11270 vsize=13982084 memory=220800 CPUtime=3.57 cores=1,3,5,7
/proc/11273/task/11285/stat : 11285 (java) S 11270 11273 8289 0 -1 1077944384 16798 0 0 0 355 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232151235440 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11286] ppid=11270 vsize=13982084 memory=4168 CPUtime=0.77 cores=1,3,5,7
/proc/11273/task/11286/stat : 11286 (java) S 11270 11273 8289 0 -1 1077944384 12138 0 0 0 75 2 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232150182384 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11287] ppid=11270 vsize=13982084 memory=220800 CPUtime=0 cores=1,3,5,7
/proc/11273/task/11287/stat : 11287 (java) S 11270 11273 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116437629 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232149130080 140232678221525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
[pid=11273/tid=11288] ppid=11270 vsize=13982084 memory=220800 CPUtime=0.55 cores=1,3,5,7
/proc/11273/task/11288/stat : 11288 (java) S 11270 11273 8289 0 -1 1077944384 1098 0 0 0 23 32 0 0 20 0 15 0 116437635 14317654016 55200 18446744073709551615 4194304 4196468 140723078552512 140232148077104 140232678222466 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 25714688 140723078553966 140723078554153 140723078554153 140723078557647 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 220800 KiB
Child status: 143
Real time (s): 2508.32
CPU time (s): 2520.08
CPU user time (s): 2519.15
CPU system time (s): 0.927707
CPU usage (%): 100.469
Max. virtual memory (cumulated for all children) (KiB): 13984352
Max. memory (cumulated for all children) (KiB): 246468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.15
system time used= 0.927707
maximum resident set size= 246468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98971
involuntary context switches= 5059
# summary of solver processes directly reported to runsolver:
# pid: 11273
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.15
# total CPU system time (s): 0.927707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9332 second user time and 21.5016 second system time
The end