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 (8312 MiB free)
memory of node 1: 16384 MiB (13890 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302749-1532894774/watcher-4302749-1532894774 -o /tmp/evaluation-result-4302749-1532894774/solver-4302749-1532894774 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1824849278 -superng HOME/instance-4302749-1532894774.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15954, runsolver pid=15951
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.12 1.55 1.75 3/206 16011
/proc/meminfo: memFree=22726600/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=10005480 memory=17080 CPUtime=0.08 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 4427 12924 0 0 1 0 5 2 20 0 6 0 107040532 10245611520 4270 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2501370 4270 1935 1 0 2489808 0
[pid=15954/tid=16007] ppid=15951 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) R 15951 15954 12222 0 -1 4202560 2268 12924 0 0 1 0 5 2 20 0 6 0 107040541 10245611520 4336 33554432000 4194304 4196468 140731008939872 140055300997712 140055314472953 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 6 0 107040542 10245611520 4336 33554432000 4194304 4196468 140731008939872 140055333403536 140055329171157 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=10005480 memory=140475779782272 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 6 0 107040542 10245611520 4336 33554432000 4194304 4196468 140731008939872 140055198739216 140055329171157 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 6 0 107040542 10245611520 4336 33554432000 4194304 4196468 140731008939872 140055197686928 140055329171157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 6 0 107040542 10245611520 4336 33554432000 4194304 4196468 140731008939872 140055196634128 140055329171157 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209862 s]*
/proc/loadavg: 1.12 1.55 1.75 3/215 16020
/proc/meminfo: memFree=22705180/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=10982744 memory=45444 CPUtime=0.25 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 8090 12924 0 0 17 1 5 2 20 0 15 0 107040532 11246329856 11361 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2745686 11361 2956 1 0 2708109 0
[pid=15954/tid=16007] ppid=15951 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) R 15951 15954 12222 0 -1 4202560 4658 12924 0 0 11 1 5 2 20 0 15 0 107040541 11246329856 11361 33554432000 4194304 4196468 140731008939872 140055300984640 140055313241438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246329856 11361 33554432000 4194304 4196468 140731008939872 140055333403536 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=10982744 memory=3619122745330636448 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246329856 11361 33554432000 4194304 4196468 140731008939872 140055198739216 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246329856 11361 33554432000 4194304 4196468 140731008939872 140055197686928 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246329856 11361 33554432000 4194304 4196468 140731008939872 140055196634128 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=10982744 memory=140475779782272 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 15 0 107040543 11246329856 11361 33554432000 4194304 4196468 140731008939872 140054755035248 140055329172098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 13 12924 0 0 0 0 5 2 20 0 15 0 107040544 11246329856 11361 33554432000 4194304 4196468 140731008939872 140054132417312 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040544 11246329856 11361 33554432000 4194304 4196468 140731008939872 140053984568432 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040546 11246329856 11361 33554432000 4194304 4196468 140731008939872 140053677168720 140055329179547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) S 15951 15954 12222 0 -1 1077944384 369 12924 0 0 1 0 5 2 20 0 15 0 107040546 11246329856 11361 33554432000 4194304 4196468 140731008939872 140054753983088 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) S 15951 15954 12222 0 -1 1077944384 248 12924 0 0 0 0 5 2 20 0 15 0 107040546 11246329856 11361 33554432000 4194304 4196468 140731008939872 140054752930288 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=10982744 memory=140475779782272 CPUtime=0.1 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 599 12924 0 0 3 0 5 2 20 0 15 0 107040547 11246329856 11361 33554432000 4194304 4196468 140731008939872 140054751878000 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11246329856 11361 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=10982744 memory=140475779782272 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040547 11246329856 11361 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45444 KiB
[startup+0.310288 s]*
/proc/loadavg: 1.12 1.55 1.75 3/215 16020
/proc/meminfo: memFree=22694764/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=10983192 memory=56160 CPUtime=0.38 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 10586 12924 0 0 29 2 5 2 20 0 15 0 107040532 11246788608 14040 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2745798 14040 3075 1 0 2708109 0
[pid=15954/tid=16007] ppid=15951 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) R 15951 15954 12222 0 -1 4202560 7142 12924 0 0 20 1 5 2 20 0 15 0 107040541 11246788608 14040 33554432000 4194304 4196468 140731008939872 140055300972960 140055313241438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 14040 33554432000 4194304 4196468 140731008939872 140055333403536 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 14040 33554432000 4194304 4196468 140731008939872 140055198739216 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 14040 33554432000 4194304 4196468 140731008939872 140055197686928 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 14040 33554432000 4194304 4196468 140731008939872 140055196634128 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 15 0 107040543 11246788608 14040 33554432000 4194304 4196468 140731008939872 140054755035248 140055329172098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 13 12924 0 0 0 0 5 2 20 0 15 0 107040544 11246788608 14040 33554432000 4194304 4196468 140731008939872 140054132417312 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040544 11246788608 14040 33554432000 4194304 4196468 140731008939872 140053984568432 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040546 11246788608 14040 33554432000 4194304 4196468 140731008939872 140053677168720 140055329179547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) S 15951 15954 12222 0 -1 1077944384 370 12924 0 0 1 0 5 2 20 0 15 0 107040546 11246788608 14040 33554432000 4194304 4196468 140731008939872 140054753983088 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) S 15951 15954 12222 0 -1 1077944384 251 12924 0 0 1 0 5 2 20 0 15 0 107040546 11246788608 14040 33554432000 4194304 4196468 140731008939872 140054752930288 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=10983192 memory=140475779782272 CPUtime=0.12 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 605 12924 0 0 5 0 5 2 20 0 15 0 107040547 11246788608 14040 33554432000 4194304 4196468 140731008939872 140054751878000 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11246788608 14040 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=10983192 memory=140475779782272 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040547 11246788608 14040 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56160 KiB
[startup+0.700715 s]
/proc/loadavg: 1.12 1.55 1.75 3/215 16020
/proc/meminfo: memFree=22684232/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=10983192 memory=88412 CPUtime=0.98 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 16754 12924 0 0 88 3 5 2 20 0 15 0 107040532 11246788608 22103 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2745798 22103 3238 1 0 2708109 0
[pid=15954/tid=16007] ppid=15951 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) R 15951 15954 12222 0 -1 4202560 12276 12924 0 0 57 2 5 2 20 0 15 0 107040541 11246788608 22103 33554432000 4194304 4196468 140731008939872 140055300974072 140055313241438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 22103 33554432000 4194304 4196468 140731008939872 140055333403536 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 22103 33554432000 4194304 4196468 140731008939872 140055198739216 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=10983192 memory=487 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 22103 33554432000 4194304 4196468 140731008939872 140055197686928 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 15 0 107040542 11246788608 22103 33554432000 4194304 4196468 140731008939872 140055196634128 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=10983192 memory=7229512537422845014 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 5 12924 0 0 0 0 5 2 20 0 15 0 107040543 11246788608 22103 33554432000 4194304 4196468 140731008939872 140054755035248 140055329172098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 13 12924 0 0 0 0 5 2 20 0 15 0 107040544 11246788608 22103 33554432000 4194304 4196468 140731008939872 140054132417312 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040544 11246788608 22103 33554432000 4194304 4196468 140731008939872 140053984568432 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040546 11246788608 22103 33554432000 4194304 4196468 140731008939872 140053677168720 140055329179547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) S 15951 15954 12222 0 -1 1077944384 772 12924 0 0 8 0 5 2 20 0 15 0 107040546 11246788608 22103 33554432000 4194304 4196468 140731008939872 140054753983088 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) S 15951 15954 12222 0 -1 1077944384 812 12924 0 0 8 0 5 2 20 0 15 0 107040546 11246788608 22103 33554432000 4194304 4196468 140731008939872 140054752930288 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 672 12924 0 0 13 0 5 2 20 0 15 0 107040547 11246788608 22103 33554432000 4194304 4196468 140731008939872 140054751878000 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11246788608 22103 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040547 11246788608 22103 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88412 KiB
[startup+1.50311 s]
/proc/loadavg: 1.12 1.55 1.75 3/215 16020
/proc/meminfo: memFree=22641436/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=10991948 memory=197240 CPUtime=3.1 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 23343 12924 0 0 295 8 5 2 20 0 15 0 107040532 11255754752 49310 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2747987 49310 3450 1 0 2709645 0
[pid=15954/tid=16007] ppid=15951 vsize=10991948 memory=4951091520830867572 CPUtime=1.46 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) R 15951 15954 12222 0 -1 4202560 15044 12924 0 0 133 6 5 2 20 0 15 0 107040541 11255754752 49310 33554432000 4194304 4196468 140731008939872 140055300991296 140054878587173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=10991948 memory=4134606225630022328 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11255754752 49310 33554432000 4194304 4196468 140731008939872 140055333403536 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=10991948 memory=-5153075247754943381 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11255754752 49310 33554432000 4194304 4196468 140731008939872 140055198739216 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=10991948 memory=-7738970628897285780 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040542 11255754752 49310 33554432000 4194304 4196468 140731008939872 140055197686928 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=10991948 memory=123668 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 15 0 107040542 11255754752 49310 33554432000 4194304 4196468 140731008939872 140055196634128 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 6 12924 0 0 0 0 5 2 20 0 15 0 107040543 11255754752 49310 33554432000 4194304 4196468 140731008939872 140054755035248 140055329172098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 13 12924 0 0 0 0 5 2 20 0 15 0 107040544 11255754752 49310 33554432000 4194304 4196468 140731008939872 140054132417312 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=10991948 memory=280951259201824 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 1 12924 0 0 0 0 5 2 20 0 15 0 107040544 11255754752 49310 33554432000 4194304 4196468 140731008939872 140053984568432 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=10991948 memory=280951259616768 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040546 11255754752 49310 33554432000 4194304 4196468 140731008939872 140053677168720 140055329179547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=10991948 memory=140475629610624 CPUtime=0.64 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) R 15951 15954 12222 0 -1 4202560 2516 12924 0 0 57 0 5 2 20 0 15 0 107040546 11255754752 49310 33554432000 4194304 4196468 140731008939872 140054753973680 140055314764561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=10991948 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) R 15951 15954 12222 0 -1 4202560 2179 12924 0 0 61 0 5 2 20 0 15 0 107040546 11255754752 49310 33554432000 4194304 4196468 140731008939872 140054752909984 140055315199432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=10991948 memory=1200 CPUtime=0.48 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 1380 12924 0 0 41 0 5 2 20 0 15 0 107040547 11255754752 49310 33554432000 4194304 4196468 140731008939872 140054751878000 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=10991948 memory=15876 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11255754752 49310 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=10991948 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 2 12924 0 0 0 0 5 2 20 0 15 0 107040547 11255754752 49310 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
[startup+95.1221 s]
# the end of solver process 15954 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.849 s, system=5.7854 s
Solver just ended.
Dumping a history of the last processes samples
[startup+92.8007 s]
/proc/loadavg: 2.77 1.94 1.86 5/199 16023
/proc/meminfo: memFree=17859352/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=11008352 memory=6032564 CPUtime=252.81 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 372010 12924 0 0 24708 566 5 2 20 0 15 0 107040532 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2752088 1508141 3524 1 0 2713741 0
[pid=15954/tid=16007] ppid=15951 vsize=11008352 memory=6009972 CPUtime=36.48 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) S 15951 15954 12222 0 -1 1077944384 81306 12924 0 0 3623 18 5 2 20 0 15 0 107040541 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140055300994944 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=11008352 memory=6791534058613427641 CPUtime=50.06 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) R 15951 15954 12222 0 -1 4202560 54101 12924 0 0 4868 131 5 2 20 0 15 0 107040542 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140055333403432 140055321789159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=11008352 memory=6791534058613427641 CPUtime=49.65 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) R 15951 15954 12222 0 -1 4202560 40060 12924 0 0 4831 127 5 2 20 0 15 0 107040542 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140055198738800 140055321789159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=11008352 memory=1792 CPUtime=49.88 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) R 15951 15954 12222 0 -1 4202560 78414 12924 0 0 4844 137 5 2 20 0 15 0 107040542 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140055197687128 140055314112075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=11008352 memory=644 CPUtime=49.51 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) R 15951 15954 12222 0 -1 4202560 46596 12924 0 0 4805 139 5 2 20 0 15 0 107040542 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140055196634024 140055321789159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=11008352 memory=956 CPUtime=5.64 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 46512 12924 0 0 554 3 5 2 20 0 15 0 107040543 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140054755033568 140055329171157 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=11008352 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 16 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140054132417376 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=11008352 memory=2688 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140053984568448 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=11008352 memory=4100 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 7 12924 0 0 0 0 5 2 20 0 15 0 107040546 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140053677168368 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=11008352 memory=1408 CPUtime=5.27 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) S 15951 15954 12222 0 -1 1077944384 7553 12924 0 0 518 2 5 2 20 0 15 0 107040546 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140054753982848 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=11008352 memory=3164 CPUtime=4.89 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) S 15951 15954 12222 0 -1 1077944384 7950 12924 0 0 481 1 5 2 20 0 15 0 107040546 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140054752930336 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=11008352 memory=1159296 CPUtime=1.85 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 6956 12924 0 0 175 3 5 2 20 0 15 0 107040547 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140054751878048 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=11008352 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=11008352 memory=2972 CPUtime=0.11 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 343 12924 0 0 2 2 5 2 20 0 15 0 107040547 11272552448 1508141 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 252.81 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 6032564 KiB
[startup+93.6007 s]
/proc/loadavg: 2.77 1.94 1.86 6/195 16077
/proc/meminfo: memFree=17860240/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=11008352 memory=6032568 CPUtime=255.9 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 377776 12924 0 0 25015 568 5 2 20 0 15 0 107040532 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2752088 1508142 3524 1 0 2713741 0
[pid=15954/tid=16007] ppid=15951 vsize=11008352 memory=2872 CPUtime=36.48 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) S 15951 15954 12222 0 -1 1077944384 81306 12924 0 0 3623 18 5 2 20 0 15 0 107040541 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055300994944 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=11008352 memory=5589280 CPUtime=50.81 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) R 15951 15954 12222 0 -1 4202560 54101 12924 0 0 4943 131 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055333403432 140055321789159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=11008352 memory=6791534058613427641 CPUtime=50.41 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) R 15951 15954 12222 0 -1 4202560 40060 12924 0 0 4907 127 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055198738800 140055321789159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=11008352 memory=30540 CPUtime=50.69 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) R 15951 15954 12222 0 -1 4202560 84178 12924 0 0 4924 138 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055197687128 140055314112075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=11008352 memory=2396 CPUtime=50.27 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) R 15951 15954 12222 0 -1 4202560 46596 12924 0 0 4880 140 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055196634024 140055321789159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=11008352 memory=1300 CPUtime=5.64 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 46512 12924 0 0 554 3 5 2 20 0 15 0 107040543 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054755033568 140055329171157 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=11008352 memory=1840 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 16 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054132417376 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=11008352 memory=1716 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140053984568448 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=11008352 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 7 12924 0 0 0 0 5 2 20 0 15 0 107040546 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140053677168368 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=11008352 memory=11008 CPUtime=5.27 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) S 15951 15954 12222 0 -1 1077944384 7553 12924 0 0 518 2 5 2 20 0 15 0 107040546 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054753982848 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=11008352 memory=1008 CPUtime=4.89 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) S 15951 15954 12222 0 -1 1077944384 7950 12924 0 0 481 1 5 2 20 0 15 0 107040546 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054752930336 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=11008352 memory=1952 CPUtime=1.85 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 6956 12924 0 0 175 3 5 2 20 0 15 0 107040547 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054751878048 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=11008352 memory=8572 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=11008352 memory=1228 CPUtime=0.11 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 343 12924 0 0 2 2 5 2 20 0 15 0 107040547 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 255.9 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 6032568 KiB
[startup+94.4007 s]
/proc/loadavg: 2.95 1.99 1.88 6/215 16152
/proc/meminfo: memFree=17765400/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=11008352 memory=6032568 CPUtime=259.01 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 383629 12924 0 0 25325 569 5 2 20 0 15 0 107040532 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2752088 1508142 3524 1 0 2713741 0
[pid=15954/tid=16007] ppid=15951 vsize=11008352 memory=1840 CPUtime=36.48 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) S 15951 15954 12222 0 -1 1077944384 81306 12924 0 0 3623 18 5 2 20 0 15 0 107040541 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055300994944 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=11008352 memory=30540 CPUtime=51.58 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) R 15951 15954 12222 0 -1 4202560 54101 12924 0 0 5020 131 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055333403432 140055321789159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=11008352 memory=2396 CPUtime=51.18 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) R 15951 15954 12222 0 -1 4202560 40060 12924 0 0 4984 127 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055198738800 140055321789159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=11008352 memory=6032568 CPUtime=51.49 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) R 15951 15954 12222 0 -1 4202560 90031 12924 0 0 5004 138 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055197687128 140055314112075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=11008352 memory=1440 CPUtime=51.03 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) R 15951 15954 12222 0 -1 4202560 46596 12924 0 0 4956 140 5 2 20 0 15 0 107040542 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140055196634024 140055321789159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=11008352 memory=4612 CPUtime=5.64 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 46512 12924 0 0 554 3 5 2 20 0 15 0 107040543 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054755033568 140055329171157 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=11008352 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 16 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054132417376 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=11008352 memory=1840 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140053984568448 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=11008352 memory=1716 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 7 12924 0 0 0 0 5 2 20 0 15 0 107040546 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140053677168368 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=11008352 memory=796 CPUtime=5.27 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) S 15951 15954 12222 0 -1 1077944384 7553 12924 0 0 518 2 5 2 20 0 15 0 107040546 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054753982848 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=11008352 memory=11008 CPUtime=4.89 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) S 15951 15954 12222 0 -1 1077944384 7950 12924 0 0 481 1 5 2 20 0 15 0 107040546 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054752930336 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=11008352 memory=1008 CPUtime=1.85 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 6956 12924 0 0 175 3 5 2 20 0 15 0 107040547 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054751878048 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=11008352 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=11008352 memory=8572 CPUtime=0.11 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 343 12924 0 0 2 2 5 2 20 0 15 0 107040547 11272552448 1508142 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 259.01 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 6032568 KiB
[startup+94.6007 s]
/proc/loadavg: 2.95 1.99 1.88 6/215 16152
/proc/meminfo: memFree=17765400/32770624 swapFree=67108404/67108860
[pid=15954] ppid=15951 vsize=11008352 memory=6032572 CPUtime=259.78 cores=0,2,4,6
/proc/15954/stat : 15954 (java) S 15951 15954 12222 0 -1 1077944320 385098 12924 0 0 25402 569 5 2 20 0 15 0 107040532 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140731008922416 140055329160951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
/proc/15954/statm: 2752088 1508143 3524 1 0 2713741 0
[pid=15954/tid=16007] ppid=15951 vsize=11008352 memory=5372 CPUtime=36.48 cores=0,2,4,6
/proc/15954/task/16007/stat : 16007 (java) S 15951 15954 12222 0 -1 1077944384 81306 12924 0 0 3623 18 5 2 20 0 15 0 107040541 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140055300994944 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16008] ppid=15951 vsize=11008352 memory=1440 CPUtime=51.77 cores=0,2,4,6
/proc/15954/task/16008/stat : 16008 (java) R 15951 15954 12222 0 -1 4202560 54101 12924 0 0 5039 131 5 2 20 0 15 0 107040542 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140055333403120 140055321789159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16009] ppid=15951 vsize=11008352 memory=4612 CPUtime=51.38 cores=0,2,4,6
/proc/15954/task/16009/stat : 16009 (java) R 15951 15954 12222 0 -1 4202560 40060 12924 0 0 5004 127 5 2 20 0 15 0 107040542 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140055198738800 140055321789159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16010] ppid=15951 vsize=11008352 memory=1200 CPUtime=51.68 cores=0,2,4,6
/proc/15954/task/16010/stat : 16010 (java) R 15951 15954 12222 0 -1 4202560 91500 12924 0 0 5023 138 5 2 20 0 15 0 107040542 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140055197687128 140055310757959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16011] ppid=15951 vsize=11008352 memory=15876 CPUtime=51.22 cores=0,2,4,6
/proc/15954/task/16011/stat : 16011 (java) R 15951 15954 12222 0 -1 4202560 46596 12924 0 0 4975 140 5 2 20 0 15 0 107040542 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140055196634024 140055321789159 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16012] ppid=15951 vsize=11008352 memory=6791534058613427641 CPUtime=5.64 cores=0,2,4,6
/proc/15954/task/16012/stat : 16012 (java) S 15951 15954 12222 0 -1 1077944384 46512 12924 0 0 554 3 5 2 20 0 15 0 107040543 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140054755033568 140055329171157 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16013] ppid=15951 vsize=11008352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16013/stat : 16013 (java) S 15951 15954 12222 0 -1 1077944384 16 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140054132417376 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16014] ppid=15951 vsize=11008352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16014/stat : 16014 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040544 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140053984568448 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16015] ppid=15951 vsize=11008352 memory=7523662774391235921 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16015/stat : 16015 (java) S 15951 15954 12222 0 -1 1077944384 7 12924 0 0 0 0 5 2 20 0 15 0 107040546 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140053677168368 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16016] ppid=15951 vsize=11008352 memory=7595391571586477160 CPUtime=5.27 cores=0,2,4,6
/proc/15954/task/16016/stat : 16016 (java) S 15951 15954 12222 0 -1 1077944384 7553 12924 0 0 518 2 5 2 20 0 15 0 107040546 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140054753982848 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16017] ppid=15951 vsize=11008352 memory=7512114586635233390 CPUtime=4.89 cores=0,2,4,6
/proc/15954/task/16017/stat : 16017 (java) S 15951 15954 12222 0 -1 1077944384 7950 12924 0 0 481 1 5 2 20 0 15 0 107040546 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140054752930336 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16018] ppid=15951 vsize=11008352 memory=7512114586635233390 CPUtime=1.85 cores=0,2,4,6
/proc/15954/task/16018/stat : 16018 (java) S 15951 15954 12222 0 -1 1077944384 6956 12924 0 0 175 3 5 2 20 0 15 0 107040547 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140054751878048 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16019] ppid=15951 vsize=11008352 memory=-8813974798734826869 CPUtime=0.07 cores=0,2,4,6
/proc/15954/task/16019/stat : 16019 (java) S 15951 15954 12222 0 -1 1077944384 3 12924 0 0 0 0 5 2 20 0 15 0 107040547 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140053246372832 140055329171157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
[pid=15954/tid=16020] ppid=15951 vsize=11008352 memory=7661294146777015910 CPUtime=0.11 cores=0,2,4,6
/proc/15954/task/16020/stat : 16020 (java) S 15951 15954 12222 0 -1 1077944384 343 12924 0 0 2 2 5 2 20 0 15 0 107040547 11272552448 1508143 33554432000 4194304 4196468 140731008939872 140054750824880 140055329172098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7737344 140731008948840 140731008951649 140731008951649 140731008954319 0
Current children cumulated CPU time: 259.78 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 6032572 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 95.1222
CPU time (s): 261.635
CPU user time (s): 255.849
CPU system time (s): 5.7854
CPU usage (%): 275.051
Max. virtual memory (cumulated for all children) (KiB): 11073888
Max. memory (cumulated for all children) (KiB): 6032572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.849
system time used= 5.7854
maximum resident set size= 6032820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12822
involuntary context switches= 4201
# summary of solver processes directly reported to runsolver:
# pid: 15954
# total CPU time (s): 261.635
# total CPU user time (s): 255.849
# total CPU system time (s): 5.7854
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.686639 second user time and 0.826894 second system time
The end