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 (1525 MiB free)
memory of node 1: 16384 MiB (2574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402551-1568973827/watcher-4402551-1568973827 -o /tmp/evaluation-result-4402551-1568973827/solver-4402551-1568973827 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29765 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1574390344 HOME/instance-4402551-1568973827.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31253, runsolver pid=31250
[startup+0.100058 s]*
/proc/loadavg: 1.37 1.52 1.59 3/219 31310
/proc/meminfo: memFree=4189968/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=9972712 memory=19124 CPUtime=0.09 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 4491 13313 0 0 1 0 5 3 20 0 6 0 473544328 10212057088 4781 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2493178 4781 1963 1 0 2481616 0
[pid=31253/tid=31306] ppid=31250 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) R 31250 31253 29733 0 -1 4202560 2275 13313 0 0 1 0 5 3 20 0 6 0 473544337 10212057088 4781 33554432000 4194304 4196468 140722796419984 140603402965584 140603412710718 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 6 0 473544338 10212057088 4781 33554432000 4194304 4196468 140722796419984 140603435371024 140603431139029 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=9972712 memory=288370116333913728 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 473544338 10212057088 4781 33554432000 4194304 4196468 140722796419984 140603339573904 140603431139029 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=9979012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 6 0 473544338 10218508288 4781 33554432000 4194304 4196468 140722796419984 140603003033872 140603431139029 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=9986736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 473544338 10226417664 4781 33554432000 4194304 4196468 140722796419984 140603001981328 140603431139029 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.211989 s]*
/proc/loadavg: 1.37 1.52 1.59 3/228 31319
/proc/meminfo: memFree=4169792/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=10820196 memory=41836 CPUtime=0.27 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 7393 13313 0 0 18 1 5 3 20 0 15 0 473544328 11079880704 10459 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2705049 10459 3301 1 0 2667149 0
[pid=31253/tid=31306] ppid=31250 vsize=10820196 memory=753035770744996145 CPUtime=0.19 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) R 31250 31253 29733 0 -1 4202560 3879 13313 0 0 11 0 5 3 20 0 15 0 473544337 11079880704 10459 33554432000 4194304 4196468 140722796419984 140603402943008 140603431150749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 10459 33554432000 4194304 4196468 140722796419984 140603435371024 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=10820196 memory=288370116333913728 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 10459 33554432000 4194304 4196468 140722796419984 140603339573904 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 10459 33554432000 4194304 4196468 140722796419984 140603003033872 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 10459 33554432000 4194304 4196468 140722796419984 140603001981328 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544339 11079880704 10459 33554432000 4194304 4196468 140722796419984 140602957728496 140603431139970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 473544340 11079880704 10459 33554432000 4194304 4196468 140722796419984 140602733749920 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544340 11079880704 10459 33554432000 4194304 4196468 140722796419984 140602263987440 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544342 11079880704 10459 33554432000 4194304 4196468 140722796419984 140601956587984 140603431147419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 470 13313 0 0 1 0 5 3 20 0 15 0 473544342 11079880704 10459 33554432000 4194304 4196468 140722796419984 140602956675312 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 186 13313 0 0 0 0 5 3 20 0 15 0 473544342 11079880704 10459 33554432000 4194304 4196468 140722796419984 140602955622768 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=10820196 memory=139740182201984 CPUtime=0.11 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 619 13313 0 0 3 0 5 3 20 0 15 0 473544342 11079880704 10459 33554432000 4194304 4196468 140722796419984 140602954569712 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544343 11079880704 10459 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=10820196 memory=139740182201984 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544343 11079880704 10459 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41836 KiB
[startup+0.310486 s]*
/proc/loadavg: 1.37 1.52 1.59 3/228 31319
/proc/meminfo: memFree=4159956/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=10820196 memory=50212 CPUtime=0.4 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 10763 13313 0 0 29 3 5 3 20 0 15 0 473544328 11079880704 12553 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2705049 12553 3311 1 0 2667149 0
[pid=31253/tid=31306] ppid=31250 vsize=10820196 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) R 31250 31253 29733 0 -1 4202560 7228 13313 0 0 20 2 5 3 20 0 15 0 473544337 11079880704 12553 33554432000 4194304 4196468 140722796419984 140603402940368 140603431150749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 12553 33554432000 4194304 4196468 140722796419984 140603435371024 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 12553 33554432000 4194304 4196468 140722796419984 140603339573904 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 12553 33554432000 4194304 4196468 140722796419984 140603003033872 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544338 11079880704 12553 33554432000 4194304 4196468 140722796419984 140603001981328 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=10820196 memory=139740182201983 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544339 11079880704 12553 33554432000 4194304 4196468 140722796419984 140602957728496 140603431139970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 473544340 11079880704 12553 33554432000 4194304 4196468 140722796419984 140602733749920 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544340 11079880704 12553 33554432000 4194304 4196468 140722796419984 140602263987440 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544342 11079880704 12553 33554432000 4194304 4196468 140722796419984 140601956587984 140603431147419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 470 13313 0 0 2 0 5 3 20 0 15 0 473544342 11079880704 12553 33554432000 4194304 4196468 140722796419984 140602956675312 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 187 13313 0 0 1 0 5 3 20 0 15 0 473544342 11079880704 12553 33554432000 4194304 4196468 140722796419984 140602955622768 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=10820196 memory=139740182201984 CPUtime=0.13 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 640 13313 0 0 5 0 5 3 20 0 15 0 473544342 11079880704 12553 33554432000 4194304 4196468 140722796419984 140602954569712 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544343 11079880704 12553 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=10820196 memory=139740182201984 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544343 11079880704 12553 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50212 KiB
[startup+0.701098 s]
/proc/loadavg: 1.37 1.52 1.59 3/228 31319
/proc/meminfo: memFree=4143928/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=10825388 memory=84004 CPUtime=1.15 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 15190 13313 0 0 102 5 5 3 20 0 15 0 473544328 11085197312 20936 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2706347 21001 3514 1 0 2668429 0
[pid=31253/tid=31306] ppid=31250 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) R 31250 31253 29733 0 -1 1077944384 10586 13313 0 0 55 4 5 3 20 0 15 0 473544337 11084148736 20976 33554432000 4194304 4196468 140722796419984 140603402946752 140603423808045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=10824364 memory=1416 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544338 11084148736 20976 33554432000 4194304 4196468 140722796419984 140603435371024 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=10825388 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544338 11085197312 20976 33554432000 4194304 4196468 140722796419984 140603339573904 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=10825388 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544338 11085197312 20976 33554432000 4194304 4196468 140722796419984 140603003033872 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544338 11085197312 20976 33554432000 4194304 4196468 140722796419984 140603001981328 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 5 13313 0 0 0 0 5 3 20 0 15 0 473544339 11085197312 20976 33554432000 4194304 4196468 140722796419984 140602957728496 140603431139970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 473544340 11084148736 20976 33554432000 4194304 4196468 140722796419984 140602733749920 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544340 11084148736 20976 33554432000 4194304 4196468 140722796419984 140602263987440 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544342 11084148736 20976 33554432000 4194304 4196468 140722796419984 140601956587984 140603431147419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=10825388 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 1006 13313 0 0 14 0 5 3 20 0 15 0 473544342 11085197312 20976 33554432000 4194304 4196468 140722796419984 140602956675312 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=10825388 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 527 13313 0 0 13 0 5 3 20 0 15 0 473544342 11085197312 20976 33554432000 4194304 4196468 140722796419984 140602955622768 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=10825388 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 852 13313 0 0 17 0 5 3 20 0 15 0 473544342 11085197312 20976 33554432000 4194304 4196468 140722796419984 140602954569712 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544343 11085197312 20976 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=10824364 memory=3588 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544343 11084148736 20976 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 84004 KiB
[startup+1.50124 s]
/proc/loadavg: 1.37 1.52 1.59 3/228 31319
/proc/meminfo: memFree=4058232/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=10824364 memory=435960 CPUtime=3.04 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 17373 13313 0 0 256 40 5 3 20 0 15 0 473544328 11084148736 108990 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2706091 108990 3546 1 0 2668173 0
[pid=31253/tid=31306] ppid=31250 vsize=10824364 memory=139740049314392 CPUtime=1.28 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) S 31250 31253 29733 0 -1 1077944384 11162 13313 0 0 113 7 5 3 20 0 15 0 473544337 11084148736 108990 33554432000 4194304 4196468 140722796419984 140603402964992 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=10824364 memory=3 CPUtime=0.26 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) R 31250 31253 29733 0 -1 4202560 182 13313 0 0 11 7 5 3 20 0 15 0 473544338 11084148736 108990 33554432000 4194304 4196468 140722796419984 140603435371224 140603416156242 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=10824364 memory=6628 CPUtime=0.26 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) R 31250 31253 29733 0 -1 4202560 200 13313 0 0 11 7 5 3 20 0 15 0 473544338 11084148736 108990 33554432000 4194304 4196468 140722796419984 140603339573792 140603412755096 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=10824364 memory=8 CPUtime=0.26 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) R 31250 31253 29733 0 -1 4202560 207 13313 0 0 11 7 5 3 20 0 15 0 473544338 11084148736 108990 33554432000 4194304 4196468 140722796419984 140603003034072 140603416156242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=10824364 memory=279480099035552 CPUtime=0.26 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) R 31250 31253 29733 0 -1 4202560 229 13313 0 0 11 7 5 3 20 0 15 0 473544338 11084148736 108990 33554432000 4194304 4196468 140722796419984 140603001981528 140603416156242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=10824364 memory=273954489037920 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 85 13313 0 0 0 0 5 3 20 0 15 0 473544339 11084148736 108990 33554432000 4194304 4196468 140722796419984 140602957727008 140603431139029 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 14 13313 0 0 0 0 5 3 20 0 15 0 473544340 11084148736 108990 33554432000 4194304 4196468 140722796419984 140602733749984 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=10824364 memory=6011695419722986294 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 473544340 11084148736 108990 33554432000 4194304 4196468 140722796419984 140602263987456 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=10824364 memory=-8412658770403813517 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544342 11084148736 108990 33554432000 4194304 4196468 140722796419984 140601956587984 140603431147419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=10824364 memory=-7668917182949848256 CPUtime=0.43 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 1414 13313 0 0 35 0 5 3 20 0 15 0 473544342 11084148736 108990 33554432000 4194304 4196468 140722796419984 140602956675312 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=10824364 memory=8514726395714956677 CPUtime=0.43 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 633 13313 0 0 35 0 5 3 20 0 15 0 473544342 11084148736 108990 33554432000 4194304 4196468 140722796419984 140602955622768 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=10824364 memory=7100839870004429938 CPUtime=0.33 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 1028 13313 0 0 25 0 5 3 20 0 15 0 473544342 11084148736 108990 33554432000 4194304 4196468 140722796419984 140602954569712 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=10824364 memory=4628420171383865741 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544343 11084148736 108990 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 473544343 11084148736 108990 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10824364 KiB
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+859.201 s]
/proc/loadavg: 3.88 3.78 2.79 6/227 31394
/proc/meminfo: memFree=425288/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=10840844 memory=8299464 CPUtime=2521.16 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 13521349 13313 0 0 248441 3667 5 3 20 0 15 0 473544328 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2710211 2074866 3624 1 0 2672269 0
[pid=31253/tid=31306] ppid=31250 vsize=10840844 memory=8299464 CPUtime=243.67 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) S 31250 31253 29733 0 -1 1077944384 65029 13313 0 0 24329 30 5 3 20 0 15 0 473544337 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603402961360 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=10840844 memory=6791534058613427641 CPUtime=556.69 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) R 31250 31253 29733 0 -1 4202560 3703317 13313 0 0 54787 874 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603435371224 140603416125397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=10840844 memory=8299460 CPUtime=551.53 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) R 31250 31253 29733 0 -1 4202560 2877560 13313 0 0 54249 896 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603339573792 140603416125227 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=10840844 memory=4108 CPUtime=556.03 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) R 31250 31253 29733 0 -1 4202560 3671310 13313 0 0 54635 960 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603003034072 140603415827661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=10840844 memory=1408 CPUtime=550.79 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) R 31250 31253 29733 0 -1 4202560 2735584 13313 0 0 54212 859 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603001981528 140603416125175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=10840844 memory=3588 CPUtime=53.77 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 398227 13313 0 0 5348 21 5 3 20 0 15 0 473544339 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602957727040 140603431139029 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=10840844 memory=53788 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 15 0 473544340 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602733749984 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=10840844 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 18 13313 0 0 0 0 5 3 20 0 15 0 473544340 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602263987456 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=10840844 memory=1940 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 6 13313 0 0 0 0 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140601956587632 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=10840844 memory=1416 CPUtime=3.67 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 25696 13313 0 0 356 3 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602956675072 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=10840844 memory=1556 CPUtime=3.6 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 20315 13313 0 0 349 3 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602955622816 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=10840844 memory=740 CPUtime=1.38 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 20682 13313 0 0 126 4 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602954569760 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=10840844 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544343 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=10840844 memory=7548 CPUtime=0.64 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1367 13313 0 0 24 32 5 3 20 0 15 0 473544343 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 2521.16 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8299464 KiB
[startup+860.001 s]*
/proc/loadavg: 3.88 3.78 2.79 6/227 31394
/proc/meminfo: memFree=425288/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=10840844 memory=8299464 CPUtime=2524.39 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 13592073 13313 0 0 248761 3670 5 3 20 0 15 0 473544328 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2710211 2074866 3624 1 0 2672269 0
[pid=31253/tid=31306] ppid=31250 vsize=10840844 memory=1398722017469774279 CPUtime=243.67 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) S 31250 31253 29733 0 -1 1077944384 65029 13313 0 0 24329 30 5 3 20 0 15 0 473544337 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603402961360 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=10840844 memory=984 CPUtime=557.5 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) R 31250 31253 29733 0 -1 4202560 3706261 13313 0 0 54868 874 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603435371224 140603416125485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=10840844 memory=1940 CPUtime=552.35 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) R 31250 31253 29733 0 -1 4202560 2886196 13313 0 0 54330 897 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603339573792 140603416125247 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=10840844 memory=1416 CPUtime=556.84 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) R 31250 31253 29733 0 -1 4202560 3718974 13313 0 0 54714 962 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603003034072 140603416125466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=10840844 memory=1556 CPUtime=551.59 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) R 31250 31253 29733 0 -1 4202560 2747219 13313 0 0 54291 860 5 3 20 0 15 0 473544338 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140603001981528 140603415827633 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=10840844 memory=740 CPUtime=53.77 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 398227 13313 0 0 5348 21 5 3 20 0 15 0 473544339 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602957727040 140603431139029 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=10840844 memory=1052 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 15 0 473544340 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602733749984 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=10840844 memory=7548 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 18 13313 0 0 0 0 5 3 20 0 15 0 473544340 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602263987456 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=10840844 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 6 13313 0 0 0 0 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140601956587632 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=10840844 memory=2832 CPUtime=3.67 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 25696 13313 0 0 356 3 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602956675072 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=10840844 memory=776 CPUtime=3.6 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 20315 13313 0 0 349 3 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602955622816 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=10840844 memory=1160 CPUtime=1.38 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 20682 13313 0 0 126 4 5 3 20 0 15 0 473544342 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602954569760 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=10840844 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 473544343 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=10840844 memory=1096 CPUtime=0.64 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1369 13313 0 0 24 32 5 3 20 0 15 0 473544343 11101024256 2074866 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 2524.39 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8299464 KiB
[startup+860.801 s]
/proc/loadavg: 3.88 3.78 2.79 6/227 31394
/proc/meminfo: memFree=425288/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=11037460 memory=8299552 CPUtime=2526.44 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 13617374 13313 0 0 248964 3672 5 3 20 0 17 0 473544328 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2759365 2074888 3624 1 0 2721423 0
[pid=31253/tid=31306] ppid=31250 vsize=11037460 memory=1408 CPUtime=243.75 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) S 31250 31253 29733 0 -1 1077944384 65029 13313 0 0 24337 30 5 3 20 0 17 0 473544337 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603402961344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=11037460 memory=3196 CPUtime=557.91 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) R 31250 31253 29733 0 -1 4202560 3706261 13313 0 0 54909 874 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603435371224 140603415826598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=11037460 memory=6791534058613427641 CPUtime=552.77 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) R 31250 31253 29733 0 -1 4202560 2886200 13313 0 0 54372 897 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603339574104 140603415826575 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=11037460 memory=1160 CPUtime=557.26 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) R 31250 31253 29733 0 -1 4202560 3737322 13313 0 0 54755 963 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603003033760 140603416114119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=11037460 memory=1716 CPUtime=552 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) R 31250 31253 29733 0 -1 4202560 2753891 13313 0 0 54332 860 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603001981528 140603416114119 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=11037460 memory=1096 CPUtime=54.06 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 398229 13313 0 0 5377 21 5 3 20 0 17 0 473544339 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602957726816 140603431139029 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=11037460 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 17 0 473544340 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602733749984 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=11037460 memory=7548 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 18 13313 0 0 0 0 5 3 20 0 17 0 473544340 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602263987456 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=11037460 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 54 13313 0 0 0 0 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140601956587984 140603431147419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=11037460 memory=8299464 CPUtime=3.67 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 25696 13313 0 0 356 3 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602956675312 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=11037460 memory=8299464 CPUtime=3.6 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 20315 13313 0 0 349 3 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602955622768 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=11037460 memory=8299464 CPUtime=1.38 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 20682 13313 0 0 126 4 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602954569712 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=11037460 memory=2120 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 17 0 473544343 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=11037460 memory=504 CPUtime=0.64 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1369 13313 0 0 24 32 5 3 20 0 17 0 473544343 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 2526.44 s
Current children cumulated vsize: 11037460 KiB
Current children cumulated memory: 8299552 KiB
[startup+861.001 s]*
/proc/loadavg: 3.88 3.78 2.79 6/229 31396
/proc/meminfo: memFree=434956/32770624 swapFree=67002104/67108860
[pid=31253] ppid=31250 vsize=11037460 memory=8299552 CPUtime=2527.27 cores=1,3,5,7
/proc/31253/stat : 31253 (java) S 31250 31253 29733 0 -1 1077944320 13617374 13313 0 0 249047 3672 5 3 20 0 17 0 473544328 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140722796402528 140603431128823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
/proc/31253/statm: 2759365 2074888 3624 1 0 2721423 0
[pid=31253/tid=31306] ppid=31250 vsize=11037460 memory=1398722017469774279 CPUtime=243.75 cores=1,3,5,7
/proc/31253/task/31306/stat : 31306 (java) S 31250 31253 29733 0 -1 1077944384 65029 13313 0 0 24337 30 5 3 20 0 17 0 473544337 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603402961344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31307] ppid=31250 vsize=11037460 memory=27348 CPUtime=558.11 cores=1,3,5,7
/proc/31253/task/31307/stat : 31307 (java) R 31250 31253 29733 0 -1 4202560 3706261 13313 0 0 54929 874 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603435371224 140603416079428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31308] ppid=31250 vsize=11037460 memory=1416 CPUtime=552.98 cores=1,3,5,7
/proc/31253/task/31308/stat : 31308 (java) R 31250 31253 29733 0 -1 4202560 2886200 13313 0 0 54393 897 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603339574104 140603415826598 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31309] ppid=31250 vsize=11037460 memory=1556 CPUtime=557.47 cores=1,3,5,7
/proc/31253/task/31309/stat : 31309 (java) R 31250 31253 29733 0 -1 4202560 3737322 13313 0 0 54776 963 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603003033760 140603416079428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31310] ppid=31250 vsize=11037460 memory=740 CPUtime=552.21 cores=1,3,5,7
/proc/31253/task/31310/stat : 31310 (java) R 31250 31253 29733 0 -1 4202560 2753891 13313 0 0 54353 860 5 3 20 0 17 0 473544338 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140603001981528 140603415826402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31311] ppid=31250 vsize=11037460 memory=1398722017469774279 CPUtime=54.06 cores=1,3,5,7
/proc/31253/task/31311/stat : 31311 (java) S 31250 31253 29733 0 -1 1077944384 398229 13313 0 0 5377 21 5 3 20 0 17 0 473544339 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602957726816 140603431139029 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31312] ppid=31250 vsize=11037460 memory=1416 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31312/stat : 31312 (java) S 31250 31253 29733 0 -1 1077944384 24 13313 0 0 0 0 5 3 20 0 17 0 473544340 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602733749984 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31313] ppid=31250 vsize=11037460 memory=1556 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31313/stat : 31313 (java) S 31250 31253 29733 0 -1 1077944384 18 13313 0 0 0 0 5 3 20 0 17 0 473544340 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602263987456 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31314] ppid=31250 vsize=11037460 memory=740 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31314/stat : 31314 (java) S 31250 31253 29733 0 -1 1077944384 54 13313 0 0 0 0 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140601956587984 140603431147419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31315] ppid=31250 vsize=11037460 memory=1052 CPUtime=3.67 cores=1,3,5,7
/proc/31253/task/31315/stat : 31315 (java) S 31250 31253 29733 0 -1 1077944384 25696 13313 0 0 356 3 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602956675312 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31316] ppid=31250 vsize=11037460 memory=7548 CPUtime=3.6 cores=1,3,5,7
/proc/31253/task/31316/stat : 31316 (java) S 31250 31253 29733 0 -1 1077944384 20315 13313 0 0 349 3 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602955622768 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31317] ppid=31250 vsize=11037460 memory=3620 CPUtime=1.38 cores=1,3,5,7
/proc/31253/task/31317/stat : 31317 (java) S 31250 31253 29733 0 -1 1077944384 20682 13313 0 0 126 4 5 3 20 0 17 0 473544342 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602954569712 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31318] ppid=31250 vsize=11037460 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31318/stat : 31318 (java) S 31250 31253 29733 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 17 0 473544343 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140601923029344 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31319] ppid=31250 vsize=11037460 memory=776 CPUtime=0.64 cores=1,3,5,7
/proc/31253/task/31319/stat : 31319 (java) S 31250 31253 29733 0 -1 1077944384 1369 13313 0 0 24 32 5 3 20 0 17 0 473544343 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140602953518128 140603431139970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31395] ppid=31250 vsize=11037460 memory=1160 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31395/stat : 31395 (java) S 31250 31253 29733 0 -1 1077944384 39 13313 0 0 0 0 5 3 20 0 17 0 473630366 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140601525789552 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
[pid=31253/tid=31396] ppid=31250 vsize=11037460 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/31253/task/31396/stat : 31396 (java) S 31250 31253 29733 0 -1 1077944384 31 13313 0 0 0 0 5 3 20 0 17 0 473630366 11302359040 2074888 33554432000 4194304 4196468 140722796419984 140601324463280 140603431139029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22016000 140722796423919 140722796426437 140722796426437 140722796429263 0
Current children cumulated CPU time: 2527.27 s
Current children cumulated vsize: 11037460 KiB
Current children cumulated memory: 8299552 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 861.277
CPU time (s): 2527.57
CPU user time (s): 2490.56
CPU system time (s): 37.0098
CPU usage (%): 293.468
Max. virtual memory (cumulated for all children) (KiB): 11037460
Max. memory (cumulated for all children) (KiB): 8299552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2490.56
system time used= 37.0098
maximum resident set size= 8299940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13630689
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49276
involuntary context switches= 22592
# summary of solver processes directly reported to runsolver:
# pid: 31253
# total CPU time (s): 2527.57
# total CPU user time (s): 2490.56
# total CPU system time (s): 37.0098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26876 second user time and 8.51561 second system time
The end