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 (15098 MiB free)
memory of node 1: 16384 MiB (13123 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400674-1568694346/watcher-4400674-1568694346 -o /tmp/evaluation-result-4400674-1568694346/solver-4400674-1568694346 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5871 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1979184242 HOME/instance-4400674-1568694346.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
solver pid=12087, runsolver pid=12084
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.61 1.52 1.50 3/218 12144
/proc/meminfo: memFree=28893364/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=9972712 memory=18596 CPUtime=0.08 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 4393 13218 0 0 1 0 5 2 20 0 6 0 445692779 10212057088 4649 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2493178 4649 1933 1 0 2481616 0
[pid=12087/tid=12140] ppid=12084 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 2184 13218 0 0 1 0 5 2 20 0 6 0 445692788 10212057088 4649 33554432000 4194304 4196468 140737239402560 140627191247440 140627219432605 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 6 0 445692789 10212057088 4649 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=9972712 memory=139689883645568 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 6 0 445692789 10212057088 4649 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 6 0 445692789 10212057088 4649 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 6 0 445692789 10212057088 4649 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.213827 s]*
/proc/loadavg: 1.61 1.52 1.50 3/227 12153
/proc/meminfo: memFree=28871484/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=10820196 memory=43724 CPUtime=0.26 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 7278 13218 0 0 17 2 5 2 20 0 15 0 445692779 11079880704 10931 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2705049 10931 3297 1 0 2667149 0
[pid=12087/tid=12140] ppid=12084 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 3737 13218 0 0 10 1 5 2 20 0 15 0 445692788 11079880704 10931 33554432000 4194304 4196468 140737239402560 140627191224864 140627219432605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10820196 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 10931 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10820196 memory=288370066035357312 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 10931 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 10931 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 10931 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10820196 memory=139689883645568 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692791 11079880704 10931 33554432000 4194304 4196468 140737239402560 140626677930480 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 33 13218 0 0 0 0 5 2 20 0 15 0 445692791 11079880704 10931 33554432000 4194304 4196468 140737239402560 140626676876704 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692791 11079880704 10931 33554432000 4194304 4196468 140737239402560 140626557396464 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12148] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12148/stat : 12148 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692794 11079880704 10931 33554432000 4194304 4196468 140737239402560 140625953417936 140627219429275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) S 12084 12087 5840 0 -1 1077944384 612 13218 0 0 1 0 5 2 20 0 15 0 445692794 11079880704 10931 33554432000 4194304 4196468 140737239402560 140626643318768 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) S 12084 12087 5840 0 -1 1077944384 61 13218 0 0 0 0 5 2 20 0 15 0 445692794 11079880704 10931 33554432000 4194304 4196468 140737239402560 140626642266224 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10820196 memory=139689883645568 CPUtime=0.1 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) S 12084 12087 5840 0 -1 1077944384 617 13218 0 0 3 0 5 2 20 0 15 0 445692794 11079880704 10931 33554432000 4194304 4196468 140737239402560 140626641213680 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692794 11079880704 10931 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12153] ppid=12084 vsize=10820196 memory=139689883645568 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12153/stat : 12153 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692794 11079880704 10931 33554432000 4194304 4196468 140737239402560 140626640161584 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 43724 KiB
[startup+0.31058 s]*
/proc/loadavg: 1.61 1.52 1.50 3/227 12153
/proc/meminfo: memFree=28858480/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=10820196 memory=51960 CPUtime=0.4 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 10756 13218 0 0 29 4 5 2 20 0 15 0 445692779 11079880704 12990 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2705049 12990 3308 1 0 2667149 0
[pid=12087/tid=12140] ppid=12084 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 7193 13218 0 0 18 3 5 2 20 0 15 0 445692788 11079880704 12990 33554432000 4194304 4196468 140737239402560 140627191207008 140627204850913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 12990 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 12990 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 12990 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692789 11079880704 12990 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692791 11079880704 12990 33554432000 4194304 4196468 140737239402560 140626677930480 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 33 13218 0 0 0 0 5 2 20 0 15 0 445692791 11079880704 12990 33554432000 4194304 4196468 140737239402560 140626676876704 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692791 11079880704 12990 33554432000 4194304 4196468 140737239402560 140626557396464 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12148] ppid=12084 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12148/stat : 12148 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692794 11079880704 12990 33554432000 4194304 4196468 140737239402560 140625953417936 140627219429275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) S 12084 12087 5840 0 -1 1077944384 613 13218 0 0 2 0 5 2 20 0 15 0 445692794 11079880704 12990 33554432000 4194304 4196468 140737239402560 140626643318768 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) S 12084 12087 5840 0 -1 1077944384 61 13218 0 0 1 0 5 2 20 0 15 0 445692794 11079880704 12990 33554432000 4194304 4196468 140737239402560 140626642266224 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10820196 memory=139689883645568 CPUtime=0.12 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) S 12084 12087 5840 0 -1 1077944384 635 13218 0 0 5 0 5 2 20 0 15 0 445692794 11079880704 12990 33554432000 4194304 4196468 140737239402560 140626641213680 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692794 11079880704 12990 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12153] ppid=12084 vsize=10820196 memory=139689883645568 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12153/stat : 12153 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692794 11079880704 12990 33554432000 4194304 4196468 140737239402560 140626640161584 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51960 KiB
[startup+0.709429 s]
/proc/loadavg: 1.61 1.52 1.50 4/227 12153
/proc/meminfo: memFree=28843564/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=10824364 memory=85672 CPUtime=1.14 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 15131 13218 0 0 101 6 5 2 20 0 15 0 445692779 11084148736 21418 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2706091 21418 3503 1 0 2668173 0
[pid=12087/tid=12140] ppid=12084 vsize=10825388 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 10477 13218 0 0 56 4 5 2 20 0 15 0 445692788 11085197312 21418 33554432000 4194304 4196468 140737239402560 140627191228608 140627212090397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10825388 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692789 11085197312 21483 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10825388 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692789 11085197312 21483 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10825388 memory=139689784914128 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692789 11085197312 21458 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10824364 memory=139693811303017 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692789 11084148736 21458 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10824364 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 5 13218 0 0 0 0 5 2 20 0 15 0 445692791 11084148736 21458 33554432000 4194304 4196468 140737239402560 140626677930480 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10824364 memory=7014751519667017297 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 33 13218 0 0 0 0 5 2 20 0 15 0 445692791 11084148736 21458 33554432000 4194304 4196468 140737239402560 140626676876704 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10825388 memory=7812451590864393321 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692791 11085197312 21458 33554432000 4194304 4196468 140737239402560 140626557396464 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12148] ppid=12084 vsize=10825388 memory=14056 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12148/stat : 12148 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692794 11085197312 21458 33554432000 4194304 4196468 140737239402560 140625953417936 140627219429275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10825388 memory=2116 CPUtime=0.21 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) R 12084 12087 5840 0 -1 4202560 1021 13218 0 0 14 0 5 2 20 0 15 0 445692794 11085197312 21458 33554432000 4194304 4196468 140737239402560 140626643305136 140627200934377 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10825388 memory=516 CPUtime=0.19 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) S 12084 12087 5840 0 -1 1077944384 526 13218 0 0 12 0 5 2 20 0 15 0 445692794 11085197312 21458 33554432000 4194304 4196468 140737239402560 140626642266224 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10824364 memory=1556 CPUtime=0.24 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) S 12084 12087 5840 0 -1 1077944384 866 13218 0 0 17 0 5 2 20 0 15 0 445692794 11084148736 21458 33554432000 4194304 4196468 140737239402560 140626641213680 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10824364 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692794 11084148736 21458 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12153] ppid=12084 vsize=10824364 memory=1772 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12153/stat : 12153 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692794 11084148736 21458 33554432000 4194304 4196468 140737239402560 140626640161584 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85672 KiB
[startup+1.50071 s]
/proc/loadavg: 1.61 1.52 1.50 3/227 12153
/proc/meminfo: memFree=28796576/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=10834680 memory=181116 CPUtime=2.63 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 22391 13218 0 0 246 10 5 2 20 0 15 0 445692779 11094712320 45279 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2708670 45279 3584 1 0 2670733 0
[pid=12087/tid=12140] ppid=12084 vsize=10834680 memory=178128 CPUtime=1.43 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 15513 13218 0 0 130 6 5 2 20 0 15 0 445692788 11094712320 45279 33554432000 4194304 4196468 140737239402560 140627191204864 140627200816978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10834680 memory=2436 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 65 13218 0 0 1 0 5 2 20 0 15 0 445692789 11094712320 45279 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10834680 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 315 13218 0 0 1 0 5 2 20 0 15 0 445692789 11094712320 45279 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 25 13218 0 0 1 0 5 2 20 0 15 0 445692789 11094712320 45279 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10834680 memory=-7303279828959712342 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 75 13218 0 0 1 0 5 2 20 0 15 0 445692789 11094712320 45279 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10834680 memory=3833724587141655611 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 124 13218 0 0 1 0 5 2 20 0 15 0 445692791 11094712320 45279 33554432000 4194304 4196468 140737239402560 140626677930480 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10834680 memory=-6870368076204431200 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 33 13218 0 0 0 0 5 2 20 0 15 0 445692791 11094712320 45279 33554432000 4194304 4196468 140737239402560 140626676876768 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10834680 memory=-6078294146213043397 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692791 11094712320 45279 33554432000 4194304 4196468 140737239402560 140626557396464 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12148] ppid=12084 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12148/stat : 12148 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692794 11094712320 45279 33554432000 4194304 4196468 140737239402560 140625953417936 140627219429275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10834680 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) S 12084 12087 5840 0 -1 1077944384 1640 13218 0 0 35 0 5 2 20 0 15 0 445692794 11094712320 45279 33554432000 4194304 4196468 140737239402560 140626643318768 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10834680 memory=4580 CPUtime=0.37 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) S 12084 12087 5840 0 -1 1077944384 707 13218 0 0 30 0 5 2 20 0 15 0 445692794 11094712320 45279 33554432000 4194304 4196468 140737239402560 140626642266224 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10834680 memory=7806256942251397200 CPUtime=0.49 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) R 12084 12087 5840 0 -1 4202560 1680 13218 0 0 42 0 5 2 20 0 15 0 445692794 11094712320 45279 33554432000 4194304 4196468 140737239402560 140626641213680 140627198068209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10834680 memory=4640767367890690148 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692794 11094712320 45279 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12153] ppid=12084 vsize=10834680 memory=5865753188680493678 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12153/stat : 12153 (java) S 12084 12087 5840 0 -1 1077944384 1 13218 0 0 0 0 5 2 20 0 15 0 445692794 11094712320 45279 33554432000 4194304 4196468 140737239402560 140626640161584 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[pid=12087] ppid=12084 vsize=10844940 memory=291564 CPUtime=7.03 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 39880 13218 0 0 680 16 5 2 20 0 15 0 445692779 11105218560 72891 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2711235 72891 3612 1 0 2673293 0
[pid=12087/tid=12140] ppid=12084 vsize=10844940 memory=235840 CPUtime=3.01 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 22874 13218 0 0 286 8 5 2 20 0 15 0 445692788 11105218560 72891 33554432000 4194304 4196468 140737239402560 140627191241856 140626775643570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10844940 memory=7523098608911870057 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 169 13218 0 0 1 0 5 2 20 0 15 0 445692789 11105218560 72891 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10844940 memory=186604 CPUtime=0.08 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 363 13218 0 0 1 0 5 2 20 0 15 0 445692789 11105218560 72891 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10844940 memory=4137290303932963203 CPUtime=0.09 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 228 13218 0 0 2 0 5 2 20 0 15 0 445692789 11105218560 72891 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10844940 memory=6944656591801719708 CPUtime=0.09 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 88 13218 0 0 2 0 5 2 20 0 15 0 445692789 11105218560 72891 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10844940 memory=-7384994778349281184 CPUtime=0.09 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 271 13218 0 0 2 0 5 2 20 0 15 0 445692791 11105218560 72891 33554432000 4194304 4196468 140737239402560 140626677930480 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10844940 memory=7740112607598111315 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 42 13218 0 0 0 0 5 2 20 0 15 0 445692791 11105218560 72891 33554432000 4194304 4196468 140737239402560 140626676876768 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10844940 memory=7813865652928602452 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 9 13218 0 0 0 0 5 2 20 0 15 0 445692791 11105218560 72891 33554432000 4194304 4196468 140737239402560 140626557396480 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12148] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12148/stat : 12148 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 72891 33554432000 4194304 4196468 140737239402560 140625953417936 140627219429275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10844940 memory=134 CPUtime=1.54 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) S 12084 12087 5840 0 -1 1077944384 5875 13218 0 0 146 1 5 2 20 0 15 0 445692794 11105218560 72891 33554432000 4194304 4196468 140737239402560 140626643318768 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10844940 memory=118 CPUtime=1.38 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) S 12084 12087 5840 0 -1 1077944384 2700 13218 0 0 130 1 5 2 20 0 15 0 445692794 11105218560 72891 33554432000 4194304 4196468 140737239402560 140626642266224 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10844940 memory=99 CPUtime=1.14 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) R 12084 12087 5840 0 -1 4202560 5044 13218 0 0 105 2 5 2 20 0 15 0 445692794 11105218560 72891 33554432000 4194304 4196468 140737239402560 140626641213680 140627211651660 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 72891 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12153] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12153/stat : 12153 (java) S 12084 12087 5840 0 -1 1077944384 6 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 72891 33554432000 4194304 4196468 140737239402560 140626640161584 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 7.03 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 291564 KiB
[startup+4.1914 s]
# the end of solver process 12087 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.45993 s, system=0.245026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20202 s]
/proc/loadavg: 1.61 1.52 1.50 5/227 12153
/proc/meminfo: memFree=28627052/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=10844940 memory=303060 CPUtime=7.23 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 43021 13218 0 0 698 18 5 2 20 0 15 0 445692779 11105218560 75765 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2711235 75765 3613 1 0 2673293 0
[pid=12087/tid=12140] ppid=12084 vsize=10844940 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 23056 13218 0 0 290 9 5 2 20 0 15 0 445692788 11105218560 75765 33554432000 4194304 4196468 140737239402560 140627191234256 140627219432605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10844940 memory=-7812736537705029536 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 191 13218 0 0 4 0 5 2 20 0 15 0 445692789 11105218560 75765 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10844940 memory=8547712850019655617 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 382 13218 0 0 3 1 5 2 20 0 15 0 445692789 11105218560 75765 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10844940 memory=6655300316396806240 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 249 13218 0 0 4 0 5 2 20 0 15 0 445692789 11105218560 75765 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10844940 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 111 13218 0 0 4 0 5 2 20 0 15 0 445692789 11105218560 75765 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10844940 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 3059 13218 0 0 3 0 5 2 20 0 15 0 445692791 11105218560 75765 33554432000 4194304 4196468 140737239402560 140626677930480 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 42 13218 0 0 0 0 5 2 20 0 15 0 445692791 11105218560 75765 33554432000 4194304 4196468 140737239402560 140626676876768 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 9 13218 0 0 0 0 5 2 20 0 15 0 445692791 11105218560 75765 33554432000 4194304 4196468 140737239402560 140626557396480 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12148] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12148/stat : 12148 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 75765 33554432000 4194304 4196468 140737239402560 140625953417936 140627219429275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10844940 memory=2241 CPUtime=1.55 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) S 12084 12087 5840 0 -1 1077944384 5883 13218 0 0 147 1 5 2 20 0 15 0 445692794 11105218560 75765 33554432000 4194304 4196468 140737239402560 140626643318768 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10844940 memory=2244 CPUtime=1.38 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) S 12084 12087 5840 0 -1 1077944384 2708 13218 0 0 130 1 5 2 20 0 15 0 445692794 11105218560 75765 33554432000 4194304 4196468 140737239402560 140626642266224 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10844940 memory=0 CPUtime=1.16 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) S 12084 12087 5840 0 -1 1077944384 5114 13218 0 0 107 2 5 2 20 0 15 0 445692794 11105218560 75765 33554432000 4194304 4196468 140737239402560 140626641213680 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 75765 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12153] ppid=12084 vsize=10844940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12153/stat : 12153 (java) S 12084 12087 5840 0 -1 1077944384 6 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 75765 33554432000 4194304 4196468 140737239402560 140626640161584 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 7.23 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 303060 KiB
[startup+3.60067 s]
/proc/loadavg: 1.61 1.52 1.50 5/227 12153
/proc/meminfo: memFree=28627052/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=10844940 memory=313140 CPUtime=8.49 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 46527 13218 0 0 823 19 5 2 20 0 15 0 445692779 11105218560 78285 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2711235 78285 3614 1 0 2673293 0
[pid=12087/tid=12140] ppid=12084 vsize=10844940 memory=35140 CPUtime=3.46 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) R 12084 12087 5840 0 -1 4202560 23340 13218 0 0 330 9 5 2 20 0 15 0 445692788 11105218560 78285 33554432000 4194304 4196468 140737239402560 140627191246976 140626787218724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10844940 memory=984 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 191 13218 0 0 4 0 5 2 20 0 15 0 445692789 11105218560 78285 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10844940 memory=2016 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 382 13218 0 0 3 1 5 2 20 0 15 0 445692789 11105218560 78285 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10844940 memory=1412 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 249 13218 0 0 4 0 5 2 20 0 15 0 445692789 11105218560 78285 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10844940 memory=1548 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 111 13218 0 0 4 0 5 2 20 0 15 0 445692789 11105218560 78285 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10844940 memory=7396 CPUtime=0.1 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 3059 13218 0 0 3 0 5 2 20 0 15 0 445692791 11105218560 78285 33554432000 4194304 4196468 140737239402560 140626677930480 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10844940 memory=4000 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 42 13218 0 0 0 0 5 2 20 0 15 0 445692791 11105218560 78285 33554432000 4194304 4196468 140737239402560 140626676876768 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10844940 memory=616 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 9 13218 0 0 0 0 5 2 20 0 15 0 445692791 11105218560 78285 33554432000 4194304 4196468 140737239402560 140626557396480 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12148] ppid=12084 vsize=10844940 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12148/stat : 12148 (java) S 12084 12087 5840 0 -1 1077944384 2 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 78285 33554432000 4194304 4196468 140737239402560 140625953417936 140627219429275 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10844940 memory=56 CPUtime=1.93 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) R 12084 12087 5840 0 -1 4202560 5977 13218 0 0 185 1 5 2 20 0 15 0 445692794 11105218560 78285 33554432000 4194304 4196468 140737239402560 140626643318768 140627200169161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10844940 memory=6296143709411825512 CPUtime=1.77 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) R 12084 12087 5840 0 -1 4202560 5507 13218 0 0 169 1 5 2 20 0 15 0 445692794 11105218560 78285 33554432000 4194304 4196468 140737239402560 140626642252104 140627202967170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10844940 memory=6296143709411825512 CPUtime=1.24 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) S 12084 12087 5840 0 -1 1077944384 5445 13218 0 0 115 2 5 2 20 0 15 0 445692794 11105218560 78285 33554432000 4194304 4196468 140737239402560 140626641213680 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10844940 memory=6296143709411825512 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 78285 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12153] ppid=12084 vsize=10844940 memory=6296143709411825512 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12153/stat : 12153 (java) S 12084 12087 5840 0 -1 1077944384 6 13218 0 0 0 0 5 2 20 0 15 0 445692794 11105218560 78285 33554432000 4194304 4196468 140737239402560 140626640161584 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 8.49 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 313140 KiB
[startup+4.00074 s]*
/proc/loadavg: 1.80 1.57 1.51 3/225 12154
/proc/meminfo: memFree=28569920/32770624 swapFree=66939752/67108860
[pid=12087] ppid=12084 vsize=10910476 memory=327916 CPUtime=9.65 cores=0,2,4,6
/proc/12087/stat : 12087 (java) S 12084 12087 5840 0 -1 1077944320 52612 13218 0 0 938 20 5 2 20 0 13 0 445692779 11172327424 81979 33554432000 4194304 4196468 140737239402560 140737239385104 140627219410679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
/proc/12087/statm: 2727619 81979 3616 1 0 2689677 0
[pid=12087/tid=12140] ppid=12084 vsize=10910476 memory=8317482817917895235 CPUtime=3.85 cores=0,2,4,6
/proc/12087/task/12140/stat : 12140 (java) S 12084 12087 5840 0 -1 1077944384 23501 13218 0 0 369 9 5 2 20 0 13 0 445692788 11172327424 81979 33554432000 4194304 4196468 140737239402560 140627191254160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12141] ppid=12084 vsize=10910476 memory=4126316290023845779 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12141/stat : 12141 (java) S 12084 12087 5840 0 -1 1077944384 191 13218 0 0 4 0 5 2 20 0 13 0 445692789 11172327424 81979 33554432000 4194304 4196468 140737239402560 140627223652624 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12142] ppid=12084 vsize=10910476 memory=10368319489793 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12142/stat : 12142 (java) S 12084 12087 5840 0 -1 1077944384 382 13218 0 0 3 1 5 2 20 0 13 0 445692789 11172327424 81979 33554432000 4194304 4196468 140737239402560 140627111926160 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12143] ppid=12084 vsize=10910476 memory=27256130898666 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12143/stat : 12143 (java) S 12084 12087 5840 0 -1 1077944384 249 13218 0 0 4 0 5 2 20 0 13 0 445692789 11172327424 81979 33554432000 4194304 4196468 140737239402560 140627110873616 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12144] ppid=12084 vsize=10910476 memory=27367800048362 CPUtime=0.11 cores=0,2,4,6
/proc/12087/task/12144/stat : 12144 (java) S 12084 12087 5840 0 -1 1077944384 111 13218 0 0 4 0 5 2 20 0 13 0 445692789 11172327424 81979 33554432000 4194304 4196468 140737239402560 140627109821072 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12145] ppid=12084 vsize=10910476 memory=279379569590736 CPUtime=0.1 cores=0,2,4,6
/proc/12087/task/12145/stat : 12145 (java) S 12084 12087 5840 0 -1 1077944384 3059 13218 0 0 3 0 5 2 20 0 13 0 445692791 11172327424 81979 33554432000 4194304 4196468 140737239402560 140626677930688 140627219421826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12146] ppid=12084 vsize=10910476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12146/stat : 12146 (java) S 12084 12087 5840 0 -1 1077944384 42 13218 0 0 0 0 5 2 20 0 13 0 445692791 11172327424 81979 33554432000 4194304 4196468 140737239402560 140626676876768 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12147] ppid=12084 vsize=10910476 memory=279379570230128 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12147/stat : 12147 (java) S 12084 12087 5840 0 -1 1077944384 9 13218 0 0 0 0 5 2 20 0 13 0 445692791 11172327424 81979 33554432000 4194304 4196468 140737239402560 140626557396480 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12149] ppid=12084 vsize=10910476 memory=6655300316396806240 CPUtime=2.24 cores=0,2,4,6
/proc/12087/task/12149/stat : 12149 (java) S 12084 12087 5840 0 -1 1077944384 7761 13218 0 0 216 1 5 2 20 0 13 0 445692794 11172327424 81979 33554432000 4194304 4196468 140737239402560 140626643297552 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12150] ppid=12084 vsize=10910476 memory=0 CPUtime=2.18 cores=0,2,4,6
/proc/12087/task/12150/stat : 12150 (java) R 12084 12087 5840 0 -1 4202560 9194 13218 0 0 209 2 5 2 20 0 13 0 445692794 11172327424 81979 33554432000 4194304 4196468 140737239402560 140626642252856 140627204332461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12151] ppid=12084 vsize=10910476 memory=164 CPUtime=1.29 cores=0,2,4,6
/proc/12087/task/12151/stat : 12151 (java) S 12084 12087 5840 0 -1 1077944384 5883 13218 0 0 120 2 5 2 20 0 13 0 445692794 11172327424 81979 33554432000 4194304 4196468 140737239402560 140626641213680 140627219421826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
[pid=12087/tid=12152] ppid=12084 vsize=10910476 memory=-8990767739041718176 CPUtime=0.07 cores=0,2,4,6
/proc/12087/task/12152/stat : 12152 (java) S 12084 12087 5840 0 -1 1077944384 3 13218 0 0 0 0 5 2 20 0 13 0 445692794 11172327424 81979 33554432000 4194304 4196468 140737239402560 140625483655776 140627219420885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20971520 140737239411439 140737239413957 140737239413957 140737239416783 0
Current children cumulated CPU time: 9.65 s
Current children cumulated vsize: 10910476 KiB
Current children cumulated memory: 327916 KiB
[startup+4.11022 s]*
/proc/loadavg: 1.80 1.57 1.51 2/214 12154
/proc/meminfo: memFree=28888096/32770624 swapFree=66939752/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.19145
CPU time (s): 9.70495
CPU user time (s): 9.45993
CPU system time (s): 0.245026
CPU usage (%): 231.541
Max. virtual memory (cumulated for all children) (KiB): 10910476
Max. memory (cumulated for all children) (KiB): 329508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.45993
system time used= 0.245026
maximum resident set size= 331960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65854
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= 5415
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 12087
# total CPU time (s): 9.70495
# total CPU user time (s): 9.45993
# total CPU system time (s): 0.245026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041783 second user time and 0.092362 second system time
The end