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 (14246 MiB free)
memory of node 1: 16384 MiB (12878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293222-1532308738/watcher-4293222-1532308738 -o /tmp/evaluation-result-4293222-1532308738/solver-4293222-1532308738 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=103575495 -superng HOME/instance-4293222-1532308738.xml
running on 4 cores: 0,2,4,6
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=5662, runsolver pid=5659
[startup+0.100949 s]*
/proc/loadavg: 1.68 3.15 2.71 2/207 5719
/proc/meminfo: memFree=27753740/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 4370 13190 0 0 1 0 5 3 20 0 6 0 48437001 10212057088 4203 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2493178 4203 1934 1 0 2481616 0
[pid=5662/tid=5715] ppid=5659 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 2218 13190 0 0 1 0 5 3 20 0 6 0 48437010 10212057088 4269 33554432000 4194304 4196468 140724700429728 140399180567120 140399192810846 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=9972712 memory=5793855235031030201 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 6 0 48437010 10212057088 4269 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=9972712 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 6 0 48437010 10212057088 4269 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 6 0 48437010 10212057088 4269 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 6 0 48437010 10212057088 4269 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.760157 s]*
/proc/loadavg: 1.68 3.15 2.71 5/216 5728
/proc/meminfo: memFree=27694376/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10821400 memory=94732 CPUtime=1.09 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 17251 13190 0 0 96 5 5 3 20 0 15 0 48437001 11081113600 23683 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2705350 23683 3259 1 0 2667661 0
[pid=5662/tid=5715] ppid=5659 vsize=10821400 memory=-2899909650764262549 CPUtime=0.73 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 12881 13190 0 0 62 3 5 3 20 0 15 0 48437010 11081113600 23683 33554432000 4194304 4196468 140724700429728 140399180566480 140399192810846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10821400 memory=4211973710225927562 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437010 11081113600 23683 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10821400 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11081113600 23683 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10821400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11081113600 23683 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10821400 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10821400 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 5 13190 0 0 0 0 5 3 20 0 15 0 48437012 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10821400 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 13 13190 0 0 0 0 5 3 20 0 15 0 48437012 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398655694112 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10821400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437013 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398521476720 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10821400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11081113600 23683 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10821400 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) S 5659 5662 3468 0 -1 1077944384 800 13190 0 0 7 0 5 3 20 0 15 0 48437015 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398734276720 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10821400 memory=-1 CPUtime=0.18 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) S 5659 5662 3468 0 -1 1077944384 696 13190 0 0 10 0 5 3 20 0 15 0 48437015 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398733223920 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10821400 memory=139984021137024 CPUtime=0.23 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) R 5659 5662 3468 0 -1 4202560 663 13190 0 0 15 0 5 3 20 0 15 0 48437015 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398732171632 140399208751706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10821400 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11081113600 23683 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10821400 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437016 11081113600 23683 33554432000 4194304 4196468 140724700429728 140398731119536 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10821400 KiB
Current children cumulated memory: 94732 KiB
[startup+0.810355 s]*
/proc/loadavg: 1.68 3.15 2.71 4/216 5728
/proc/meminfo: memFree=27691336/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10823540 memory=97776 CPUtime=1.17 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 17617 13190 0 0 104 5 5 3 20 0 15 0 48437001 11083304960 24444 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2705885 24444 3286 1 0 2667661 0
[pid=5662/tid=5715] ppid=5659 vsize=10823540 memory=8112282956445269571 CPUtime=0.79 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 13191 13190 0 0 67 4 5 3 20 0 15 0 48437010 11083304960 24444 33554432000 4194304 4196468 140724700429728 140399180555384 140399192810846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10823540 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437010 11083304960 24444 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10823540 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11083304960 24444 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10823540 memory=4294967295 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11083304960 24444 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10823540 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10823540 memory=139984021137023 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 5 13190 0 0 0 0 5 3 20 0 15 0 48437012 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10823540 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 13 13190 0 0 0 0 5 3 20 0 15 0 48437012 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398655694112 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10823540 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437013 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398521476720 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10823540 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11083304960 24444 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10823540 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) S 5659 5662 3468 0 -1 1077944384 806 13190 0 0 8 0 5 3 20 0 15 0 48437015 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398734276720 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10823540 memory=-1 CPUtime=0.19 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) S 5659 5662 3468 0 -1 1077944384 700 13190 0 0 11 0 5 3 20 0 15 0 48437015 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398733223920 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10823540 memory=139984021137024 CPUtime=0.25 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) S 5659 5662 3468 0 -1 1077944384 709 13190 0 0 17 0 5 3 20 0 15 0 48437015 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398732171632 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10823540 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11083304960 24444 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10823540 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437016 11083304960 24444 33554432000 4194304 4196468 140724700429728 140398731119536 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10823540 KiB
Current children cumulated memory: 97776 KiB
[startup+0.91025 s]*
/proc/loadavg: 1.68 3.15 2.71 3/216 5728
/proc/meminfo: memFree=27683768/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10825984 memory=108064 CPUtime=1.33 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 18585 13190 0 0 120 5 5 3 20 0 15 0 48437001 11085807616 27016 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2706496 27016 3400 1 0 2668173 0
[pid=5662/tid=5715] ppid=5659 vsize=10825984 memory=-2899909650764262549 CPUtime=0.89 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 14072 13190 0 0 77 4 5 3 20 0 15 0 48437010 11085807616 27016 33554432000 4194304 4196468 140724700429728 140399180559904 140399192810846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10825984 memory=4211973710225927562 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437010 11085807616 27016 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10825984 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11085807616 27016 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10825984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11085807616 27016 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10825984 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437010 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10825984 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 5 13190 0 0 0 0 5 3 20 0 15 0 48437012 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10825984 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 13 13190 0 0 0 0 5 3 20 0 15 0 48437012 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398655694112 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10825984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437013 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398521476720 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10825984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11085807616 27016 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10825984 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) S 5659 5662 3468 0 -1 1077944384 820 13190 0 0 10 0 5 3 20 0 15 0 48437015 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398734276720 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10825984 memory=-1 CPUtime=0.2 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) S 5659 5662 3468 0 -1 1077944384 714 13190 0 0 12 0 5 3 20 0 15 0 48437015 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398733223920 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10825984 memory=139984021137024 CPUtime=0.27 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) R 5659 5662 3468 0 -1 4202560 765 13190 0 0 19 0 5 3 20 0 15 0 48437015 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398732171632 140399208742294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10825984 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11085807616 27016 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10825984 memory=139984021137024 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437016 11085807616 27016 33554432000 4194304 4196468 140724700429728 140398731119536 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 10825984 KiB
Current children cumulated memory: 108064 KiB
[startup+1.50133 s]*
/proc/loadavg: 1.68 3.15 2.71 4/216 5728
/proc/meminfo: memFree=27605872/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10834252 memory=183124 CPUtime=2.4 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 24771 13190 0 0 223 9 5 3 20 0 15 0 48437001 11094274048 45781 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2708563 45781 3475 1 0 2670221 0
[pid=5662/tid=5715] ppid=5659 vsize=10834252 memory=-2899909650764262549 CPUtime=1.44 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 18096 13190 0 0 130 6 5 3 20 0 15 0 48437010 11094274048 45781 33554432000 4194304 4196468 140724700429728 140399180558632 140399208752285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10834252 memory=4211973710225927562 CPUtime=0.09 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 61 13190 0 0 1 0 5 3 20 0 15 0 48437010 11094274048 45781 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10834252 memory=3977135252316008378 CPUtime=0.09 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 178 13190 0 0 1 0 5 3 20 0 15 0 48437010 11094274048 45781 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10834252 memory=4281683720609176967 CPUtime=0.09 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 28 13190 0 0 1 0 5 3 20 0 15 0 48437010 11094274048 45781 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10834252 memory=-8325000837725443164 CPUtime=0.09 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 17 13190 0 0 1 0 5 3 20 0 15 0 48437010 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 513 13190 0 0 1 0 5 3 20 0 15 0 48437012 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10834252 memory=3467824627879785782 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 14 13190 0 0 0 0 5 3 20 0 15 0 48437012 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398655694176 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10834252 memory=7813012423448940900 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437013 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398521476736 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10834252 memory=7666935715084976236 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11094274048 45781 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10834252 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) S 5659 5662 3468 0 -1 1077944384 1050 13190 0 0 22 0 5 3 20 0 15 0 48437015 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398734276720 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10834252 memory=2319389233862097203 CPUtime=0.3 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) S 5659 5662 3468 0 -1 1077944384 1159 13190 0 0 22 0 5 3 20 0 15 0 48437015 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398733223920 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10834252 memory=4051470025416103604 CPUtime=0.47 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) R 5659 5662 3468 0 -1 4202560 1468 13190 0 0 39 0 5 3 20 0 15 0 48437015 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398732171632 140399208744263 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10834252 memory=3467833509991232567 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11094274048 45781 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10834252 memory=3761268216459746464 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) S 5659 5662 3468 0 -1 1077944384 1 13190 0 0 0 0 5 3 20 0 15 0 48437016 11094274048 45781 33554432000 4194304 4196468 140724700429728 140398731119536 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+8.56022 s]
# the end of solver process 5662 was just reported to runsolver
# cumulated CPU time of all completed processes: user=18.8702 s, system=0.318726 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.90068 s]
/proc/loadavg: 1.71 3.13 2.71 4/216 5728
/proc/meminfo: memFree=27364052/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10914144 memory=479372 CPUtime=16.86 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 70962 13190 0 0 1654 24 5 3 20 0 15 0 48437001 11176083456 119843 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2728536 119843 3530 1 0 2690189 0
[pid=5662/tid=5715] ppid=5659 vsize=10914144 memory=279967846407296 CPUtime=6.7 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 40721 13190 0 0 650 12 5 3 20 0 15 0 48437010 11176083456 119843 33554432000 4194304 4196468 140724700429728 140399180559808 140398826447727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10914144 memory=139983923202448 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 143 13190 0 0 5 0 5 3 20 0 15 0 48437010 11176083456 119843 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10914144 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 230 13190 0 0 6 0 5 3 20 0 15 0 48437010 11176083456 119843 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10914144 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 84 13190 0 0 3 1 5 3 20 0 15 0 48437010 11176083456 119843 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10914144 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 39 13190 0 0 4 1 5 3 20 0 15 0 48437010 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10914144 memory=427892 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 1969 13190 0 0 5 0 5 3 20 0 15 0 48437012 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10914144 memory=1956 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 16 13190 0 0 0 0 5 3 20 0 15 0 48437012 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398655694176 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10914144 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437013 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398521476736 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10914144 memory=8360 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11176083456 119843 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10914144 memory=5520 CPUtime=4.07 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) S 5659 5662 3468 0 -1 1077944384 10583 13190 0 0 397 2 5 3 20 0 15 0 48437015 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398734276720 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10914144 memory=4616 CPUtime=3.85 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) R 5659 5662 3468 0 -1 4202560 6874 13190 0 0 375 2 5 3 20 0 15 0 48437015 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398733223920 140399190273678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10914144 memory=1424 CPUtime=2.14 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) S 5659 5662 3468 0 -1 1077944384 8095 13190 0 0 204 2 5 3 20 0 15 0 48437015 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398732171632 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10914144 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 119843 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10914144 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) R 5659 5662 3468 0 -1 4202560 13 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 119843 33554432000 4194304 4196468 140724700429728 140398731119536 140399208751706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 16.86 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 479372 KiB
[startup+7.70069 s]
/proc/loadavg: 1.73 3.11 2.71 3/216 5728
/proc/meminfo: memFree=27285232/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10914144 memory=508324 CPUtime=18.12 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 76844 13190 0 0 1779 25 5 3 20 0 15 0 48437001 11176083456 127081 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2728536 127081 3532 1 0 2690189 0
[pid=5662/tid=5715] ppid=5659 vsize=10914144 memory=0 CPUtime=7.5 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 42181 13190 0 0 729 13 5 3 20 0 15 0 48437010 11176083456 127081 33554432000 4194304 4196468 140724700429728 140399180563240 140398822146240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10914144 memory=79 CPUtime=0.14 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 1014 13190 0 0 5 1 5 3 20 0 15 0 48437010 11176083456 127081 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10914144 memory=124 CPUtime=0.15 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 268 13190 0 0 6 1 5 3 20 0 15 0 48437010 11176083456 127081 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10914144 memory=508228 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 133 13190 0 0 4 1 5 3 20 0 15 0 48437010 11176083456 127081 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10914144 memory=7229232157662793808 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 95 13190 0 0 4 1 5 3 20 0 15 0 48437010 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10914144 memory=2768 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 2053 13190 0 0 5 0 5 3 20 0 15 0 48437012 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 16 13190 0 0 0 0 5 3 20 0 15 0 48437012 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398655694176 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10914144 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437013 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398521476736 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11176083456 127081 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10914144 memory=0 CPUtime=4.31 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) S 5659 5662 3468 0 -1 1077944384 12127 13190 0 0 421 2 5 3 20 0 15 0 48437015 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398734276720 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10914144 memory=0 CPUtime=4.03 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) S 5659 5662 3468 0 -1 1077944384 8086 13190 0 0 393 2 5 3 20 0 15 0 48437015 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398733223920 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10914144 memory=0 CPUtime=2.16 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) S 5659 5662 3468 0 -1 1077944384 8658 13190 0 0 206 2 5 3 20 0 15 0 48437015 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398732171632 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10914144 memory=9047017150487036571 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 127081 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10914144 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) S 5659 5662 3468 0 -1 1077944384 18 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 127081 33554432000 4194304 4196468 140724700429728 140398731119536 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 18.12 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 508324 KiB
[startup+8.10069 s]
/proc/loadavg: 1.73 3.11 2.71 3/216 5728
/proc/meminfo: memFree=27285232/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10914144 memory=516320 CPUtime=18.65 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 78645 13190 0 0 1830 27 5 3 20 0 15 0 48437001 11176083456 129080 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2728536 129080 3532 1 0 2690189 0
[pid=5662/tid=5715] ppid=5659 vsize=10914144 memory=279967845972336 CPUtime=7.89 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 42280 13190 0 0 768 13 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399180564288 140398827292577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10914144 memory=8112282956445269571 CPUtime=0.15 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 1609 13190 0 0 6 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10914144 memory=1724 CPUtime=0.15 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 279 13190 0 0 6 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10914144 memory=1004 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 143 13190 0 0 4 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10914144 memory=14004 CPUtime=0.14 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 155 13190 0 0 5 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10914144 memory=796 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 2195 13190 0 0 5 0 5 3 20 0 15 0 48437012 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10914144 memory=1712 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 16 13190 0 0 0 0 5 3 20 0 15 0 48437012 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398655694176 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10914144 memory=1956 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437013 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398521476736 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10914144 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10914144 memory=8360 CPUtime=4.39 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) S 5659 5662 3468 0 -1 1077944384 12695 13190 0 0 429 2 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398734276720 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10914144 memory=0 CPUtime=4.06 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) S 5659 5662 3468 0 -1 1077944384 8402 13190 0 0 396 2 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398733223920 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10914144 memory=0 CPUtime=2.16 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) S 5659 5662 3468 0 -1 1077944384 8658 13190 0 0 206 2 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398732171632 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10914144 memory=279967846336224 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 129080 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10914144 memory=139983923168273 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) S 5659 5662 3468 0 -1 1077944384 18 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398731119536 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 18.65 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 516320 KiB
[startup+8.51033 s]*
/proc/loadavg: 1.73 3.11 2.71 5/216 5728
/proc/meminfo: memFree=27277760/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=10914144 memory=516320 CPUtime=19.1 cores=0,2,4,6
/proc/5662/stat : 5662 (java) S 5659 5662 3468 0 -1 1077944320 79604 13190 0 0 1875 27 5 3 20 0 15 0 48437001 11176083456 129080 33554432000 4194304 4196468 140724700429728 140724700412272 140399208730359 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
/proc/5662/statm: 2728536 129080 3532 1 0 2690189 0
[pid=5662/tid=5715] ppid=5659 vsize=10914144 memory=-2899909650764262549 CPUtime=8.31 cores=0,2,4,6
/proc/5662/task/5715/stat : 5715 (java) R 5659 5662 3468 0 -1 4202560 42297 13190 0 0 810 13 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399180564288 140398824740150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5716] ppid=5659 vsize=10914144 memory=4211973710225927562 CPUtime=0.15 cores=0,2,4,6
/proc/5662/task/5716/stat : 5716 (java) S 5659 5662 3468 0 -1 1077944384 1609 13190 0 0 6 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399212972432 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5717] ppid=5659 vsize=10914144 memory=139984021137024 CPUtime=0.15 cores=0,2,4,6
/proc/5662/task/5717/stat : 5717 (java) S 5659 5662 3468 0 -1 1077944384 279 13190 0 0 6 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399127791888 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5718] ppid=5659 vsize=10914144 memory=7596275600259047760 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5718/stat : 5718 (java) S 5659 5662 3468 0 -1 1077944384 143 13190 0 0 4 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140399126739600 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5719] ppid=5659 vsize=10914144 memory=2319389199166812447 CPUtime=0.14 cores=0,2,4,6
/proc/5662/task/5719/stat : 5719 (java) S 5659 5662 3468 0 -1 1077944384 155 13190 0 0 5 1 5 3 20 0 15 0 48437010 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398780144144 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5720] ppid=5659 vsize=10914144 memory=3690048471623262131 CPUtime=0.13 cores=0,2,4,6
/proc/5662/task/5720/stat : 5720 (java) S 5659 5662 3468 0 -1 1077944384 2195 13190 0 0 5 0 5 3 20 0 15 0 48437012 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398735329904 140399208741506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5721] ppid=5659 vsize=10914144 memory=2319389199166349359 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5721/stat : 5721 (java) S 5659 5662 3468 0 -1 1077944384 16 13190 0 0 0 0 5 3 20 0 15 0 48437012 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398655694176 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5722] ppid=5659 vsize=10914144 memory=3617584984072416103 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5722/stat : 5722 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437013 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398521476736 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5723] ppid=5659 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5723/stat : 5723 (java) S 5659 5662 3468 0 -1 1077944384 2 13190 0 0 0 0 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140397917497936 140399208748955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5724] ppid=5659 vsize=10914144 memory=0 CPUtime=4.4 cores=0,2,4,6
/proc/5662/task/5724/stat : 5724 (java) R 5659 5662 3468 0 -1 4202560 12712 13190 0 0 430 2 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398734276720 140399193842519 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5725] ppid=5659 vsize=10914144 memory=2319976364496664884 CPUtime=4.08 cores=0,2,4,6
/proc/5662/task/5725/stat : 5725 (java) R 5659 5662 3468 0 -1 4202560 8442 13190 0 0 398 2 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398733224216 140399192243440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5726] ppid=5659 vsize=10914144 memory=7719371550722283424 CPUtime=2.16 cores=0,2,4,6
/proc/5662/task/5726/stat : 5726 (java) S 5659 5662 3468 0 -1 1077944384 9551 13190 0 0 206 2 5 3 20 0 15 0 48437015 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398732171632 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5727] ppid=5659 vsize=10914144 memory=3472328296227418159 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5727/stat : 5727 (java) S 5659 5662 3468 0 -1 1077944384 3 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 129080 33554432000 4194304 4196468 140724700429728 140397447735776 140399208740565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
[pid=5662/tid=5728] ppid=5659 vsize=10914144 memory=3618563697423341239 CPUtime=0.08 cores=0,2,4,6
/proc/5662/task/5728/stat : 5728 (java) S 5659 5662 3468 0 -1 1077944384 18 13190 0 0 0 0 5 3 20 0 15 0 48437016 11176083456 129080 33554432000 4194304 4196468 140724700429728 140398731119536 140399208741506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30613504 140724700436652 140724700439900 140724700439900 140724700442575 0
Current children cumulated CPU time: 19.1 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 516320 KiB
Child status: 0
Real time (s): 8.56026
CPU time (s): 19.189
CPU user time (s): 18.8702
CPU system time (s): 0.318726
CPU usage (%): 224.163
Max. virtual memory (cumulated for all children) (KiB): 10916972
Max. memory (cumulated for all children) (KiB): 516320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8702
system time used= 0.318726
maximum resident set size= 522552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8201
involuntary context switches= 114
# summary of solver processes directly reported to runsolver:
# pid: 5662
# total CPU time (s): 19.189
# total CPU user time (s): 18.8702
# total CPU system time (s): 0.318726
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0709 second user time and 0.126716 second system time
The end