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 (9903 MiB free)
memory of node 1: 16384 MiB (11839 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307661-1534260575/watcher-4307661-1534260575 -o /tmp/evaluation-result-4307661-1534260575/solver-4307661-1534260575 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534258056-13723 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1768673504 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307661-1534260575.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14325, runsolver pid=14322
[startup+0.100157 s]*
/proc/loadavg: 1.26 1.37 1.31 3/215 14340
/proc/meminfo: memFree=22247384/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14082736 memory=31408 CPUtime=0.11 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 6794 0 0 0 10 1 0 0 20 0 15 0 243620338 14420721664 7852 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3520684 7852 3130 1 0 3482761 0
[pid=14325/tid=14327] ppid=14322 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 4862 0 0 0 8 1 0 0 20 0 15 0 243620338 14420721664 7852 33554432000 4194304 4196468 140732762732336 139993025573672 139993005462878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14082736 memory=5793855110086080953 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620340 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620341 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992134809248 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620341 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992133756144 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) S 14322 14325 13692 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992131651824 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992130599280 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) R 14322 14325 13692 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 243620343 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992129546224 139993021403738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620344 14420721664 7852 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31408 KiB
[startup+0.210408 s]*
/proc/loadavg: 1.26 1.37 1.31 6/215 14340
/proc/meminfo: memFree=22231880/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14082736 memory=47436 CPUtime=0.29 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 10422 0 0 0 27 2 0 0 20 0 15 0 243620338 14420721664 11859 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3520684 11859 3377 1 0 3482761 0
[pid=14325/tid=14327] ppid=14322 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 8186 0 0 0 19 1 0 0 20 0 15 0 243620338 14420721664 11859 33554432000 4194304 4196468 140732762732336 139993025609456 139993003879181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14082736 memory=4211973585280978314 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243620340 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620341 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992134809248 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620341 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992133756144 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) R 14322 14325 13692 0 -1 4202560 484 0 0 0 1 0 0 0 20 0 15 0 243620343 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992131651824 139993013619518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) R 14322 14325 13692 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 15 0 243620343 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992130589664 139993013671840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0.05 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) R 14322 14325 13692 0 -1 1077944384 288 0 0 0 5 0 0 0 20 0 15 0 243620343 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992129546224 139993021393538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620344 14420721664 11859 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47436 KiB
[startup+0.310477 s]*
/proc/loadavg: 1.26 1.37 1.31 4/215 14340
/proc/meminfo: memFree=22228592/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14082736 memory=50784 CPUtime=0.44 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 10826 0 0 0 41 3 0 0 20 0 15 0 243620338 14420721664 12696 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3520684 12696 3380 1 0 3482761 0
[pid=14325/tid=14327] ppid=14322 vsize=14082736 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 8524 0 0 0 28 2 0 0 20 0 15 0 243620338 14420721664 12696 33554432000 4194304 4196468 140732762732336 139993025561976 139993002755863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14082736 memory=4211973585280978314 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14082736 memory=279718042515840 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14082736 memory=279717932683776 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14082736 memory=139858966328079 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620339 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14082736 memory=279718042522752 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243620340 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14082736 memory=139858966332687 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620341 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992134809248 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14082736 memory=139858966348715 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620341 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992133756144 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14082736 memory=139858966351020 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) S 14322 14325 13692 0 -1 1077944384 507 0 0 0 2 0 0 0 20 0 15 0 243620343 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992131651824 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) S 14322 14325 13692 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 243620343 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992130599280 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14082736 memory=139859076187776 CPUtime=0.07 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) S 14322 14325 13692 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 15 0 243620343 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992129546224 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14082736 memory=139859076219184 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620344 14420721664 12696 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50784 KiB
[startup+0.70074 s]
/proc/loadavg: 1.26 1.37 1.31 3/215 14340
/proc/meminfo: memFree=22204036/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14084804 memory=88604 CPUtime=0.98 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 17585 0 0 0 93 5 0 0 20 0 15 0 243620338 14422839296 22151 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3521201 22151 3479 1 0 3483273 0
[pid=14325/tid=14327] ppid=14322 vsize=14084804 memory=56 CPUtime=0.67 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 14960 0 0 0 64 3 0 0 20 0 15 0 243620338 14422839296 22151 33554432000 4194304 4196468 140732762732336 139993025586400 139993021404317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620339 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243620339 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243620340 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14084804 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243620341 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992134809248 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14084804 memory=6592 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243620341 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992133756144 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14084804 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14084804 memory=4452 CPUtime=0.08 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) S 14322 14325 13692 0 -1 1077944384 655 0 0 0 8 0 0 0 20 0 15 0 243620343 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992131651824 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14084804 memory=3732 CPUtime=0.05 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) S 14322 14325 13692 0 -1 1077944384 235 0 0 0 5 0 0 0 20 0 15 0 243620343 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992130599280 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14084804 memory=12668 CPUtime=0.15 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) S 14322 14325 13692 0 -1 1077944384 354 0 0 0 15 0 0 0 20 0 15 0 243620343 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992129546224 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14084804 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243620344 14422839296 22151 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88604 KiB
[startup+1.50091 s]
/proc/loadavg: 1.26 1.37 1.31 5/215 14340
/proc/meminfo: memFree=22133608/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14086852 memory=223736 CPUtime=3.49 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 24086 0 0 0 340 9 0 0 20 0 15 0 243620338 14424936448 55934 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3521713 55934 3567 1 0 3483785 0
[pid=14325/tid=14327] ppid=14322 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 17128 0 0 0 140 6 0 0 20 0 15 0 243620338 14424936448 55934 33554432000 4194304 4196468 140732762732336 139993025616728 139992658428144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 243620340 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243620341 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992134809248 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 243620341 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992133756144 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14086852 memory=55 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14086852 memory=50 CPUtime=0.74 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) R 14322 14325 13692 0 -1 4202560 1804 0 0 0 74 0 0 0 20 0 15 0 243620343 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992131629984 139993002572137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14086852 memory=50 CPUtime=0.68 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) R 14322 14325 13692 0 -1 4202560 1214 0 0 0 68 0 0 0 20 0 15 0 243620343 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992130599280 139993007063093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14086852 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) S 14322 14325 13692 0 -1 1077944384 2219 0 0 0 53 0 0 0 20 0 15 0 243620343 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992129546224 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14086852 memory=181956 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620344 14424936448 55934 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 3.49 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 223736 KiB
[startup+2.87306 s]
# the end of solver process 14325 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.52958 s, system=0.145746 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6008 s]
/proc/loadavg: 1.26 1.37 1.31 5/215 14340
/proc/meminfo: memFree=22133608/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14086852 memory=225664 CPUtime=3.79 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 24657 0 0 0 370 9 0 0 20 0 15 0 243620338 14424936448 56416 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3521713 56416 3572 1 0 3483785 0
[pid=14325/tid=14327] ppid=14322 vsize=14086852 memory=4638778424471928934 CPUtime=1.56 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 17217 0 0 0 150 6 0 0 20 0 15 0 243620338 14424936448 56416 33554432000 4194304 4196468 140732762732336 139993025615696 139993021403738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14086852 memory=45212754 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14086852 memory=337 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14086852 memory=279717932716928 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14086852 memory=139858966398638 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 243620339 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14086852 memory=279717932805200 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 243620340 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14086852 memory=2110209573508612 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243620341 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992134809248 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14086852 memory=279717932832064 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 243620341 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992133756144 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14086852 memory=1 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14086852 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) R 14322 14325 13692 0 -1 4202560 2228 0 0 0 84 0 0 0 20 0 15 0 243620343 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992131629984 139993000804111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14086852 memory=6942129867589832790 CPUtime=0.78 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) R 14322 14325 13692 0 -1 4202560 1267 0 0 0 78 0 0 0 20 0 15 0 243620343 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992130599280 139993004865880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14086852 memory=6745715554982343810 CPUtime=0.54 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) R 14322 14325 13692 0 -1 1077944384 2224 0 0 0 54 0 0 0 20 0 15 0 243620343 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992129546224 139993021393538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14086852 memory=279717933244868 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14086852 memory=279717932910848 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620344 14424936448 56416 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 3.79 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 225664 KiB
[startup+2.40592 s]
/proc/loadavg: 1.26 1.37 1.31 5/215 14340
/proc/meminfo: memFree=22042332/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14090948 memory=253840 CPUtime=6.3 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 36122 0 0 0 617 13 0 0 20 0 15 0 243620338 14429130752 63460 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3522737 63460 3578 1 0 3484809 0
[pid=14325/tid=14327] ppid=14322 vsize=14090948 memory=6791534058613427641 CPUtime=2.35 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 19450 0 0 0 228 7 0 0 20 0 15 0 243620338 14429130752 63460 33554432000 4194304 4196468 140732762732336 139993025618792 139992666731619 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14090948 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 243620339 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 243620339 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14090948 memory=7740671172422297706 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 938 0 0 0 0 0 0 0 20 0 15 0 243620339 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14090948 memory=7596555984346443115 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 243620339 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14090948 memory=7301295227733698662 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 243620340 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14090948 memory=7380385388137112419 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 243620341 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992134809312 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243620341 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992133756160 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14090948 memory=279717932553832 CPUtime=1.53 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) R 14322 14325 13692 0 -1 4202560 4536 0 0 0 153 0 0 0 20 0 15 0 243620343 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992131638368 139993006493049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14090948 memory=0 CPUtime=1.5 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) R 14322 14325 13692 0 -1 4202560 4855 0 0 0 149 1 0 0 20 0 15 0 243620343 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992130585040 139993001218729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14090948 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) S 14322 14325 13692 0 -1 1077944384 4321 0 0 0 81 1 0 0 20 0 15 0 243620343 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992129546224 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14090948 memory=662363397872623668 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14090948 memory=279717932915840 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 243620344 14429130752 63460 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 253840 KiB
[startup+2.80096 s]
/proc/loadavg: 1.26 1.37 1.31 5/215 14340
/proc/meminfo: memFree=22042332/32770624 swapFree=67108688/67108860
[pid=14325] ppid=14322 vsize=14090948 memory=252460 CPUtime=7.49 cores=0,2,4,6
/proc/14325/stat : 14325 (java) S 14322 14325 13692 0 -1 1077944320 37270 0 0 0 736 13 0 0 20 0 15 0 243620338 14429130752 63115 33554432000 4194304 4196468 140732762732336 140732762714880 139993021382391 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
/proc/14325/statm: 3522737 63115 3578 1 0 3484809 0
[pid=14325/tid=14327] ppid=14322 vsize=14090948 memory=6791534058613427641 CPUtime=2.73 cores=0,2,4,6
/proc/14325/task/14327/stat : 14327 (java) R 14322 14325 13692 0 -1 4202560 19466 0 0 0 266 7 0 0 20 0 15 0 243620338 14429130752 63115 33554432000 4194304 4196468 140732762732336 139993025617416 139992663915296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14328] ppid=14322 vsize=14090948 memory=302022869909778754 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14328/stat : 14328 (java) S 14322 14325 13692 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 243620339 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992984488464 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14329] ppid=14322 vsize=14090948 memory=14134428990642422 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14329/stat : 14329 (java) S 14322 14325 13692 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 243620339 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992615807632 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14330] ppid=14322 vsize=14090948 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14330/stat : 14330 (java) S 14322 14325 13692 0 -1 1077944384 938 0 0 0 0 0 0 0 20 0 15 0 243620339 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992614754576 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14331] ppid=14322 vsize=14090948 memory=6944656592455359580 CPUtime=0.02 cores=0,2,4,6
/proc/14325/task/14331/stat : 14331 (java) S 14322 14325 13692 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 15 0 243620339 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992613702032 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14332] ppid=14322 vsize=14090948 memory=9051283677730746851 CPUtime=0.01 cores=0,2,4,6
/proc/14325/task/14332/stat : 14332 (java) S 14322 14325 13692 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 15 0 243620340 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992135863024 139993021393538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14333] ppid=14322 vsize=14090948 memory=8186593468619191356 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14333/stat : 14333 (java) S 14322 14325 13692 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 243620341 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992134809312 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14334] ppid=14322 vsize=14090948 memory=-7663004857735730519 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14334/stat : 14334 (java) S 14322 14325 13692 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 243620341 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992133756160 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14335] ppid=14322 vsize=14090948 memory=3544649790320161589 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14335/stat : 14335 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992132704720 139993021400987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14336] ppid=14322 vsize=14090948 memory=3691016769687073333 CPUtime=1.93 cores=0,2,4,6
/proc/14325/task/14336/stat : 14336 (java) R 14322 14325 13692 0 -1 4202560 5390 0 0 0 192 1 0 0 20 0 15 0 243620343 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992131635920 139993004793211 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14337] ppid=14322 vsize=14090948 memory=3683998604062831409 CPUtime=1.89 cores=0,2,4,6
/proc/14325/task/14337/stat : 14337 (java) R 14322 14325 13692 0 -1 4202560 5126 0 0 0 188 1 0 0 20 0 15 0 243620343 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992130578320 139993002904878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14338] ppid=14322 vsize=14090948 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/14325/task/14338/stat : 14338 (java) S 14322 14325 13692 0 -1 1077944384 4322 0 0 0 81 1 0 0 20 0 15 0 243620343 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992129546224 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14339] ppid=14322 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14339/stat : 14339 (java) S 14322 14325 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243620343 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992128493920 139993021392597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
[pid=14325/tid=14340] ppid=14322 vsize=14090948 memory=149353192753315 CPUtime=0 cores=0,2,4,6
/proc/14325/task/14340/stat : 14340 (java) S 14322 14325 13692 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 243620344 14429130752 63115 33554432000 4194304 4196468 140732762732336 139992127441968 139993021393538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23179264 140732762735696 140732762735881 140732762735881 140732762738639 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 252460 KiB
Child status: 0
Real time (s): 2.87311
CPU time (s): 7.67533
CPU user time (s): 7.52958
CPU system time (s): 0.145746
CPU usage (%): 267.144
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 255192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.52958
system time used= 0.145746
maximum resident set size= 255540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2671
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 14325
# total CPU time (s): 7.67533
# total CPU user time (s): 7.52958
# total CPU system time (s): 0.145746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039686 second user time and 0.066382 second system time
The end