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 (6120 MiB free)
memory of node 1: 16384 MiB (13252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290292-1532289703/watcher-4290292-1532289703 -o /tmp/evaluation-result-4290292-1532289703/solver-4290292-1532289703 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532270698-13416 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 377713057 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290292-1532289703.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15521, runsolver pid=15518
[startup+0.106979 s]*
/proc/loadavg: 1.38 1.34 1.40 4/221 15536
/proc/meminfo: memFree=19819696/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14082740 memory=31980 CPUtime=0.12 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 6927 0 0 0 11 1 0 0 20 0 15 0 46533446 14420725760 7995 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3520685 7995 3157 1 0 3482761 0
[pid=15521/tid=15523] ppid=15518 vsize=14082740 memory=-6966717417093883519 CPUtime=0.1 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 5204 0 0 0 9 1 0 0 20 0 15 0 46533447 14420725760 8259 33554432000 4194304 4196468 140736862455712 139645911066272 139645899562583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14082740 memory=5793855637937473977 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 8259 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 8259 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 8259 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 8259 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46533449 14420725760 8259 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46533449 14420725760 8259 33554432000 4194304 4196468 140736862455712 139645380150432 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46533450 14420725760 8325 33554432000 4194304 4196468 140736862455712 139645379097328 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 8325 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 8325 33554432000 4194304 4196468 140736862455712 139645376994032 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 8325 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0.01 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) S 15518 15521 2672 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 46533452 14420725760 8325 33554432000 4194304 4196468 140736862455712 139645374888432 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 8325 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 8325 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31980 KiB
[startup+0.214327 s]*
/proc/loadavg: 1.38 1.34 1.40 5/221 15536
/proc/meminfo: memFree=19804588/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14082740 memory=47248 CPUtime=0.3 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 10435 0 0 0 28 2 0 0 20 0 15 0 46533446 14420725760 11812 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3520685 11812 3365 1 0 3482761 0
[pid=15521/tid=15523] ppid=15518 vsize=14082740 memory=6735269665583770266 CPUtime=0.21 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 8143 0 0 0 19 2 0 0 20 0 15 0 46533447 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645911070472 139645888762896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14082740 memory=4211974113132371338 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46533449 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46533449 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645380150432 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46533450 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645379097328 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 46533452 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645376987056 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) R 15518 15521 2672 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 46533452 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0.05 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) R 15518 15521 2672 0 -1 4202560 305 0 0 0 5 0 0 0 20 0 15 0 46533452 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645374885912 139645885011722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 11812 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47248 KiB
[startup+0.310951 s]*
/proc/loadavg: 1.38 1.34 1.40 3/221 15536
/proc/meminfo: memFree=19801120/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14082740 memory=50372 CPUtime=0.44 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 10792 0 0 0 41 3 0 0 20 0 15 0 46533446 14420725760 12593 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3520685 12593 3368 1 0 3482761 0
[pid=15521/tid=15523] ppid=15518 vsize=14082740 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 8468 0 0 0 28 2 0 0 20 0 15 0 46533447 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645911056944 139645892011103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14082740 memory=4211974113132371338 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14082740 memory=280773705124224 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14082740 memory=280773555114496 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14082740 memory=140386777543439 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46533448 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14082740 memory=280773705133440 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46533449 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14082740 memory=140386777548047 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46533449 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645380150432 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14082740 memory=140386777563768 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46533450 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645379097328 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14082740 memory=140386777567768 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 46533452 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645376994032 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) S 15518 15521 2672 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 46533452 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14082740 memory=140386927580800 CPUtime=0.08 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) S 15518 15521 2672 0 -1 1077944384 315 0 0 0 8 0 0 0 20 0 15 0 46533452 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645374888432 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14082740 memory=140386927612780 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533452 14420725760 12593 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50372 KiB
[startup+0.702284 s]
/proc/loadavg: 1.38 1.34 1.40 3/221 15536
/proc/meminfo: memFree=19781400/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14084808 memory=89204 CPUtime=0.99 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 17593 0 0 0 94 5 0 0 20 0 15 0 46533446 14422843392 22301 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3521202 22301 3505 1 0 3483273 0
[pid=15521/tid=15523] ppid=15518 vsize=14084808 memory=56 CPUtime=0.68 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 14879 0 0 0 63 5 0 0 20 0 15 0 46533447 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645911063456 139645874433974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533448 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46533448 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14084808 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46533449 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46533449 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645380150432 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14084808 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46533450 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645379097328 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14084808 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14084808 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 665 0 0 0 7 0 0 0 20 0 15 0 46533452 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645376994032 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14084808 memory=11956 CPUtime=0.07 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) S 15518 15521 2672 0 -1 1077944384 266 0 0 0 7 0 0 0 20 0 15 0 46533452 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14084808 memory=1008 CPUtime=0.15 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) S 15518 15521 2672 0 -1 1077944384 401 0 0 0 15 0 0 0 20 0 15 0 46533452 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645374888432 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14084808 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14084808 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46533452 14422843392 22301 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89204 KiB
[startup+1.50136 s]
/proc/loadavg: 1.38 1.34 1.40 5/221 15536
/proc/meminfo: memFree=19718424/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14086856 memory=222152 CPUtime=3.45 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 25319 0 0 0 335 10 0 0 20 0 15 0 46533446 14424940544 55538 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3521714 55538 3554 1 0 3483785 0
[pid=15521/tid=15523] ppid=15518 vsize=14086856 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 17250 0 0 0 138 7 0 0 20 0 15 0 46533447 14424940544 55538 33554432000 4194304 4196468 140736862455712 139645911078792 139645885922991 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 46533448 14424940544 55538 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46533448 14424940544 55538 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 46533448 14424940544 55538 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 46533448 14424940544 55538 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 46533449 14424940544 55538 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
################
# More data... #
################
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 41070 0 0 0 224954 24 0 0 20 0 15 0 46533447 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645911083472 139645519290497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14090952 memory=287416 CPUtime=5.07 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 5008 0 0 0 468 39 0 0 20 0 15 0 46533448 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14090952 memory=287416 CPUtime=5.08 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 5942 0 0 0 471 37 0 0 20 0 15 0 46533448 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14090952 memory=287416 CPUtime=5.07 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 6461 0 0 0 469 38 0 0 20 0 15 0 46533448 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14090952 memory=287416 CPUtime=5.04 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 6664 0 0 0 467 37 0 0 20 0 15 0 46533448 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14090952 memory=287416 CPUtime=4.7 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 6592 0 0 0 437 33 0 0 20 0 15 0 46533449 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14090952 memory=287416 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46533449 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645380150496 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14090952 memory=287416 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46533450 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645379097344 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14090952 memory=287416 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14090952 memory=287416 CPUtime=1.78 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 6752 0 0 0 177 1 0 0 20 0 15 0 46533452 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645376994032 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14090952 memory=648 CPUtime=2.01 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) S 15518 15521 2672 0 -1 1077944384 8737 0 0 0 200 1 0 0 20 0 15 0 46533452 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14090952 memory=287416 CPUtime=0.84 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) S 15518 15521 2672 0 -1 1077944384 8997 0 0 0 83 1 0 0 20 0 15 0 46533452 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645374888432 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14090952 memory=287416 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14090952 memory=1728 CPUtime=1.17 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 689 0 0 0 50 67 0 0 20 0 15 0 46533452 14429134848 71854 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 2280.64 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 287416 KiB
[startup+2322.3 s]
/proc/loadavg: 1.44 1.46 1.40 3/219 15614
/proc/meminfo: memFree=19547680/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14090952 memory=289464 CPUtime=2341.04 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 99475 0 0 0 233880 224 0 0 20 0 15 0 46533446 14429134848 72366 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3522738 72366 3587 1 0 3484809 0
[pid=15521/tid=15523] ppid=15518 vsize=14090952 memory=289464 CPUtime=2309.4 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 41596 0 0 0 230916 24 0 0 20 0 15 0 46533447 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645911083504 139645519343979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14090952 memory=289464 CPUtime=5.22 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 5121 0 0 0 483 39 0 0 20 0 15 0 46533448 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14090952 memory=289464 CPUtime=5.23 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 6039 0 0 0 486 37 0 0 20 0 15 0 46533448 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14090952 memory=289464 CPUtime=5.23 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 6505 0 0 0 484 39 0 0 20 0 15 0 46533448 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14090952 memory=289464 CPUtime=5.2 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 6811 0 0 0 482 38 0 0 20 0 15 0 46533448 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14090952 memory=289464 CPUtime=4.82 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 6767 0 0 0 449 33 0 0 20 0 15 0 46533449 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14090952 memory=289464 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46533449 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645380150496 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14090952 memory=289464 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46533450 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645379097344 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14090952 memory=289464 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14090952 memory=289464 CPUtime=1.78 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 6754 0 0 0 177 1 0 0 20 0 15 0 46533452 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645376994032 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14090952 memory=289464 CPUtime=2.01 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) S 15518 15521 2672 0 -1 1077944384 8740 0 0 0 200 1 0 0 20 0 15 0 46533452 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14090952 memory=289464 CPUtime=0.84 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) S 15518 15521 2672 0 -1 1077944384 8999 0 0 0 83 1 0 0 20 0 15 0 46533452 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645374888432 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14090952 memory=15752 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14090952 memory=6791534058613427641 CPUtime=1.2 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 706 0 0 0 52 68 0 0 20 0 15 0 46533452 14429134848 72366 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 2341.04 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 289464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2380.9 s]
/proc/loadavg: 1.14 1.38 1.38 3/219 15691
/proc/meminfo: memFree=19553768/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14090952 memory=293560 CPUtime=2400.09 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 100772 0 0 0 239780 229 0 0 20 0 15 0 46533446 14429134848 73390 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3522738 73390 3587 1 0 3484809 0
[pid=15521/tid=15523] ppid=15518 vsize=14090952 memory=293560 CPUtime=2367.66 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 42206 0 0 0 236742 24 0 0 20 0 15 0 46533447 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645911083584 139645519290503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.38 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 5227 0 0 0 498 40 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.38 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 6071 0 0 0 500 38 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.39 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 6649 0 0 0 500 39 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.35 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 7018 0 0 0 496 39 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14090952 memory=293560 CPUtime=4.94 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 6942 0 0 0 461 33 0 0 20 0 15 0 46533449 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14090952 memory=293560 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46533449 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645380150496 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14090952 memory=289464 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46533450 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645379097344 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14090952 memory=291512 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14090952 memory=293560 CPUtime=1.79 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 6756 0 0 0 178 1 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645376994032 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14090952 memory=280773554865584 CPUtime=2.01 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) S 15518 15521 2672 0 -1 1077944384 8742 0 0 0 200 1 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14090952 memory=291512 CPUtime=0.84 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) S 15518 15521 2672 0 -1 1077944384 9001 0 0 0 83 1 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645374888432 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14090952 memory=291512 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14090952 memory=291512 CPUtime=1.23 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 723 0 0 0 53 70 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 293560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2380.91 s]
# the end of solver process 15521 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.82 s, system=2.30235 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2380.9 s]
/proc/loadavg: 1.14 1.38 1.38 3/219 15691
/proc/meminfo: memFree=19553768/32770624 swapFree=67108860/67108860
[pid=15521] ppid=15518 vsize=14090952 memory=293560 CPUtime=2400.09 cores=1,3,5,7
/proc/15521/stat : 15521 (java) S 15518 15521 2672 0 -1 1077944320 100772 0 0 0 239780 229 0 0 20 0 15 0 46533446 14429134848 73390 33554432000 4194304 4196468 140736862455712 140736862438256 139645906845431 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
/proc/15521/statm: 3522738 73390 3587 1 0 3484809 0
[pid=15521/tid=15523] ppid=15518 vsize=14090952 memory=293560 CPUtime=2367.66 cores=1,3,5,7
/proc/15521/task/15523/stat : 15523 (java) R 15518 15521 2672 0 -1 4202560 42206 0 0 0 236742 24 0 0 20 0 15 0 46533447 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645911083584 139645519290503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15524] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.38 cores=1,3,5,7
/proc/15521/task/15524/stat : 15524 (java) S 15518 15521 2672 0 -1 1077944384 5227 0 0 0 498 40 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645836934160 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15525] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.38 cores=1,3,5,7
/proc/15521/task/15525/stat : 15525 (java) S 15518 15521 2672 0 -1 1077944384 6071 0 0 0 500 38 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645835881616 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15526] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.39 cores=1,3,5,7
/proc/15521/task/15526/stat : 15526 (java) S 15518 15521 2672 0 -1 1077944384 6649 0 0 0 500 39 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645834828560 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15527] ppid=15518 vsize=14090952 memory=291512 CPUtime=5.35 cores=1,3,5,7
/proc/15521/task/15527/stat : 15527 (java) S 15518 15521 2672 0 -1 1077944384 7018 0 0 0 496 39 0 0 20 0 15 0 46533448 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645833776016 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15528] ppid=15518 vsize=14090952 memory=293560 CPUtime=4.94 cores=1,3,5,7
/proc/15521/task/15528/stat : 15528 (java) S 15518 15521 2672 0 -1 1077944384 6942 0 0 0 461 33 0 0 20 0 15 0 46533449 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645381204208 139645906856578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15529] ppid=15518 vsize=14090952 memory=293560 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15529/stat : 15529 (java) S 15518 15521 2672 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46533449 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645380150496 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15530] ppid=15518 vsize=14090952 memory=289464 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15530/stat : 15530 (java) S 15518 15521 2672 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 46533450 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645379097344 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15531] ppid=15518 vsize=14090952 memory=291512 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15531/stat : 15531 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645378045904 139645906864027 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15532] ppid=15518 vsize=14090952 memory=293560 CPUtime=1.79 cores=1,3,5,7
/proc/15521/task/15532/stat : 15532 (java) S 15518 15521 2672 0 -1 1077944384 6756 0 0 0 178 1 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645376994032 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15533] ppid=15518 vsize=14090952 memory=280773554865584 CPUtime=2.01 cores=1,3,5,7
/proc/15521/task/15533/stat : 15533 (java) S 15518 15521 2672 0 -1 1077944384 8742 0 0 0 200 1 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645375941488 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15534] ppid=15518 vsize=14090952 memory=291512 CPUtime=0.84 cores=1,3,5,7
/proc/15521/task/15534/stat : 15534 (java) S 15518 15521 2672 0 -1 1077944384 9001 0 0 0 83 1 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645374888432 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15535] ppid=15518 vsize=14090952 memory=291512 CPUtime=0 cores=1,3,5,7
/proc/15521/task/15535/stat : 15535 (java) S 15518 15521 2672 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645373836128 139645906855637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
[pid=15521/tid=15536] ppid=15518 vsize=14090952 memory=291512 CPUtime=1.23 cores=1,3,5,7
/proc/15521/task/15536/stat : 15536 (java) S 15518 15521 2672 0 -1 1077944384 723 0 0 0 53 70 0 0 20 0 15 0 46533452 14429134848 73390 33554432000 4194304 4196468 140736862455712 139645372783152 139645906856578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33239040 140736862458953 140736862459145 140736862459145 140736862461903 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 293560 KiB
Child status: 143
Real time (s): 2380.91
CPU time (s): 2400.12
CPU user time (s): 2397.82
CPU system time (s): 2.30235
CPU usage (%): 100.807
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 293560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.82
system time used= 2.30234
maximum resident set size= 294120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 183620
involuntary context switches= 8110
# summary of solver processes directly reported to runsolver:
# pid: 15521
# total CPU time (s): 2400.12
# total CPU user time (s): 2397.82
# total CPU system time (s): 2.30235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7923 second user time and 19.2666 second system time
The end