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 (8310 MiB free)
memory of node 1: 16384 MiB (14304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302735-1532897041/watcher-4302735-1532897041 -o /tmp/evaluation-result-4302735-1532897041/solver-4302735-1532897041 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1801720159 -superng HOME/instance-4302735-1532897041.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=19486, runsolver pid=19483
Current StackSize limit: 8192 KiB
[startup+0.101708 s]*
/proc/loadavg: 3.21 2.35 2.05 2/207 19543
/proc/meminfo: memFree=23150768/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=10005480 memory=17080 CPUtime=0.1 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 4422 13241 0 0 1 1 5 3 20 0 6 0 107267320 10245611520 4270 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2501370 4270 1935 1 0 2489808 0
[pid=19486/tid=19539] ppid=19483 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 2251 13241 0 0 0 0 5 3 20 0 6 0 107267329 10245611520 4270 33554432000 4194304 4196468 140734710635472 139649718207056 139649731493232 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 6 0 107267330 10245611520 4270 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=10005480 memory=140173606684288 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 6 0 107267330 10245611520 4270 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 6 0 107267330 10245611520 4270 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 6 0 107267330 10245611520 4270 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209833 s]*
/proc/loadavg: 3.21 2.35 2.05 3/216 19552
/proc/meminfo: memFree=23130960/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=10982744 memory=43520 CPUtime=0.26 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 7594 13241 0 0 16 2 5 3 20 0 15 0 107267320 11246329856 10880 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2745686 10880 2952 1 0 2708109 0
[pid=19486/tid=19539] ppid=19483 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 4300 13241 0 0 10 1 5 3 20 0 15 0 107267329 11246329856 11012 33554432000 4194304 4196468 140734710635472 139649718193984 139649726646109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246329856 11012 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=10982744 memory=3691180037195466400 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246329856 11012 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246329856 11078 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246329856 11078 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=10982744 memory=140173606684288 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 107267331 11246329856 11078 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 107267332 11246329856 11078 33554432000 4194304 4196468 140734710635472 139648579921184 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11246329856 11078 33554432000 4194304 4196468 140734710635472 139648378594928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246329856 11078 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) S 19483 19486 12222 0 -1 1077944384 364 13241 0 0 1 0 5 3 20 0 15 0 107267335 11246329856 11078 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 244 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246329856 11078 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=10982744 memory=140173606684288 CPUtime=0.11 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) S 19483 19486 12222 0 -1 1077944384 605 13241 0 0 3 0 5 3 20 0 15 0 107267335 11246329856 11078 33554432000 4194304 4196468 140734710635472 139649168111984 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246329856 11078 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=10982744 memory=140173606684288 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246329856 11078 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43520 KiB
[startup+0.310289 s]*
/proc/loadavg: 3.21 2.35 2.05 3/216 19552
/proc/meminfo: memFree=23118772/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=10983192 memory=56084 CPUtime=0.39 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 10570 13241 0 0 28 3 5 3 20 0 15 0 107267320 11246788608 14021 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2745798 14021 3071 1 0 2708109 0
[pid=19486/tid=19539] ppid=19483 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 7123 13241 0 0 19 2 5 3 20 0 15 0 107267329 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649718182304 139649727935286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 107267331 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 107267332 11246788608 14021 33554432000 4194304 4196468 140734710635472 139648579921184 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11246788608 14021 33554432000 4194304 4196468 140734710635472 139648378594928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246788608 14021 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) S 19483 19486 12222 0 -1 1077944384 365 13241 0 0 1 0 5 3 20 0 15 0 107267335 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 244 13241 0 0 1 0 5 3 20 0 15 0 107267335 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=10983192 memory=140173606684288 CPUtime=0.12 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) S 19483 19486 12222 0 -1 1077944384 615 13241 0 0 4 0 5 3 20 0 15 0 107267335 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649168111984 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246788608 14021 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=10983192 memory=140173606684288 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246788608 14021 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56084 KiB
[startup+0.700684 s]
/proc/loadavg: 3.21 2.35 2.05 6/216 19552
/proc/meminfo: memFree=23103852/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=10983192 memory=88348 CPUtime=0.99 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 16785 13241 0 0 87 4 5 3 20 0 15 0 107267320 11246788608 22087 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2745798 22087 3238 1 0 2708109 0
[pid=19486/tid=19539] ppid=19483 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 12263 13241 0 0 56 3 5 3 20 0 15 0 107267329 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649718191120 139649730450782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=10983192 memory=488 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 2 13241 0 0 0 0 5 3 20 0 15 0 107267330 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=10983192 memory=7301570131460772950 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 5 13241 0 0 0 0 5 3 20 0 15 0 107267331 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 13 13241 0 0 0 0 5 3 20 0 15 0 107267332 11246788608 22087 33554432000 4194304 4196468 140734710635472 139648579921184 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11246788608 22087 33554432000 4194304 4196468 140734710635472 139648378594928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246788608 22087 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) R 19483 19486 12222 0 -1 1077944384 979 13241 0 0 10 0 5 3 20 0 15 0 107267335 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 623 13241 0 0 7 0 5 3 20 0 15 0 107267335 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) R 19483 19486 12222 0 -1 4202560 696 13241 0 0 13 0 5 3 20 0 15 0 107267335 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649168111984 139649730450782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246788608 22087 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267335 11246788608 22087 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88348 KiB
[startup+1.50077 s]
/proc/loadavg: 3.21 2.35 2.05 4/216 19552
/proc/meminfo: memFree=23057980/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=10998092 memory=179820 CPUtime=2.33 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 24074 13241 0 0 216 9 5 3 20 0 15 0 107267320 11262046208 44955 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2749523 44955 3468 1 0 2711181 0
[pid=19486/tid=19539] ppid=19483 vsize=10998092 memory=4951091520830867572 CPUtime=1.43 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 17765 13241 0 0 130 5 5 3 20 0 15 0 107267329 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649718201600 139649730450782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=10998092 memory=4134606225630022328 CPUtime=0.09 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 184 13241 0 0 1 0 5 3 20 0 15 0 107267330 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=10998092 memory=-5153075247754915967 CPUtime=0.09 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 61 13241 0 0 1 0 5 3 20 0 15 0 107267330 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=10998092 memory=-9108911104557761696 CPUtime=0.09 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 22 13241 0 0 1 0 5 3 20 0 15 0 107267330 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=10998092 memory=117388 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 28 13241 0 0 0 0 5 3 20 0 15 0 107267330 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 47 13241 0 0 1 0 5 3 20 0 15 0 107267331 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 14 13241 0 0 0 0 5 3 20 0 15 0 107267332 11262046208 44955 33554432000 4194304 4196468 140734710635472 139648579921248 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=10998092 memory=280347010990368 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11262046208 44955 33554432000 4194304 4196468 140734710635472 139648378594944 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=10998092 memory=280347011405312 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11262046208 44955 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=10998092 memory=140173505504896 CPUtime=0.28 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) S 19483 19486 12222 0 -1 1077944384 1196 13241 0 0 19 1 5 3 20 0 15 0 107267335 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=10998092 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 1161 13241 0 0 22 0 5 3 20 0 15 0 107267335 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=10998092 memory=1200 CPUtime=0.44 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) S 19483 19486 12222 0 -1 1077944384 1394 13241 0 0 36 0 5 3 20 0 15 0 107267335 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649168111984 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=10998092 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11262046208 44955 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=10998092 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267335 11262046208 44955 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 59051 13241 0 0 16114 21 5 3 20 0 15 0 107267329 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649718205072 139649282664278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=11080032 memory=964652 CPUtime=0.44 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 2257 13241 0 0 31 5 5 3 20 0 15 0 107267330 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=11080032 memory=964648 CPUtime=0.44 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 2287 13241 0 0 31 5 5 3 20 0 15 0 107267330 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=11080032 memory=964648 CPUtime=0.45 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 1706 13241 0 0 31 6 5 3 20 0 15 0 107267330 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=11080032 memory=964648 CPUtime=0.44 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 2367 13241 0 0 31 5 5 3 20 0 15 0 107267330 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=11080032 memory=964648 CPUtime=0.39 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 7797 13241 0 0 28 3 5 3 20 0 15 0 107267331 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=11080032 memory=964652 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 16 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 241163 33554432000 4194304 4196468 140734710635472 139648579921312 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=11080032 memory=964652 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 241163 33554432000 4194304 4196468 140734710635472 139648378594944 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=11080032 memory=4012 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 241163 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=11080032 memory=964652 CPUtime=5.03 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) S 19483 19486 12222 0 -1 1077944384 23562 13241 0 0 492 3 5 3 20 0 15 0 107267335 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=11080032 memory=964652 CPUtime=5.07 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 19318 13241 0 0 496 3 5 3 20 0 15 0 107267335 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=11080032 memory=964652 CPUtime=2.33 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) S 19483 19486 12222 0 -1 1077944384 17738 13241 0 0 222 3 5 3 20 0 15 0 107267335 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649168111984 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=11080032 memory=17484 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 241163 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=11080032 memory=964652 CPUtime=0.16 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 238 13241 0 0 4 4 5 3 20 0 15 0 107267335 11345952768 241163 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 175.59 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 964652 KiB
[startup+222.302 s]
/proc/loadavg: 1.26 1.77 1.89 3/215 19555
/proc/meminfo: memFree=21984792/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=11080032 memory=954972 CPUtime=236.54 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 149719 13241 0 0 23578 68 5 3 20 0 15 0 107267320 11345952768 238743 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2770008 238743 3529 1 0 2731661 0
[pid=19486/tid=19539] ppid=19483 vsize=11080032 memory=954972 CPUtime=220.9 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 60579 13241 0 0 22060 22 5 3 20 0 15 0 107267329 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649718204800 139649276003324 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.67 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 2325 13241 0 0 53 6 5 3 20 0 15 0 107267330 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.67 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 3004 13241 0 0 52 7 5 3 20 0 15 0 107267330 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.67 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 1925 13241 0 0 53 6 5 3 20 0 15 0 107267330 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.68 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 3550 13241 0 0 53 7 5 3 20 0 15 0 107267330 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=11080032 memory=8572 CPUtime=0.62 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 8145 13241 0 0 49 5 5 3 20 0 15 0 107267331 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 16 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 238743 33554432000 4194304 4196468 140734710635472 139648579921312 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 238743 33554432000 4194304 4196468 140734710635472 139648378594944 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=11080032 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 238743 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=11080032 memory=4044 CPUtime=5.15 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) S 19483 19486 12222 0 -1 1077944384 26272 13241 0 0 503 4 5 3 20 0 15 0 107267335 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=11080032 memory=954972 CPUtime=5.23 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 21635 13241 0 0 511 4 5 3 20 0 15 0 107267335 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=11080032 memory=954972 CPUtime=2.39 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) S 19483 19486 12222 0 -1 1077944384 19796 13241 0 0 228 3 5 3 20 0 15 0 107267335 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649168111984 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=11080032 memory=1300 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 238743 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=11080032 memory=1840 CPUtime=0.18 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 270 13241 0 0 6 4 5 3 20 0 15 0 107267335 11345952768 238743 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 236.54 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 954972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+237.501 s]
/proc/loadavg: 1.43 1.79 1.89 4/215 19937
/proc/meminfo: memFree=22769284/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=11080032 memory=955540 CPUtime=252 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 152723 13241 0 0 25122 70 5 3 20 0 15 0 107267320 11345952768 238885 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2770008 238885 3529 1 0 2731661 0
[pid=19486/tid=19539] ppid=19483 vsize=11080032 memory=955540 CPUtime=235.92 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 60852 13241 0 0 23562 22 5 3 20 0 15 0 107267329 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649718205760 139649283923010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.74 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 2348 13241 0 0 59 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.74 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 3046 13241 0 0 59 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=11080032 memory=280347011544816 CPUtime=0.75 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 3087 13241 0 0 60 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.74 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 3567 13241 0 0 59 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.68 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 8197 13241 0 0 55 5 5 3 20 0 15 0 107267331 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 16 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 238885 33554432000 4194304 4196468 140734710635472 139648579921312 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 238885 33554432000 4194304 4196468 140734710635472 139648378594944 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=11080032 memory=955540 CPUtime=5.19 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) S 19483 19486 12222 0 -1 1077944384 26920 13241 0 0 507 4 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=11080032 memory=954972 CPUtime=5.25 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 22266 13241 0 0 513 4 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=11080032 memory=928 CPUtime=2.4 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) S 19483 19486 12222 0 -1 1077944384 19911 13241 0 0 229 3 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649168111984 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=11080032 memory=11 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=11080032 memory=4012 CPUtime=0.2 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 311 13241 0 0 7 5 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 955540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+237.536 s]
# the end of solver process 19486 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.288 s, system=0.754916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+237.501 s]
/proc/loadavg: 1.43 1.79 1.89 4/215 19937
/proc/meminfo: memFree=22769284/32770624 swapFree=67108404/67108860
[pid=19486] ppid=19483 vsize=11080032 memory=955540 CPUtime=252 cores=0,2,4,6
/proc/19486/stat : 19486 (java) S 19483 19486 12222 0 -1 1077944320 152723 13241 0 0 25122 70 5 3 20 0 15 0 107267320 11345952768 238885 33554432000 4194304 4196468 140734710635472 140734710618016 139649746370295 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
/proc/19486/statm: 2770008 238885 3529 1 0 2731661 0
[pid=19486/tid=19539] ppid=19483 vsize=11080032 memory=955540 CPUtime=235.92 cores=0,2,4,6
/proc/19486/task/19539/stat : 19539 (java) R 19483 19486 12222 0 -1 4202560 60852 13241 0 0 23562 22 5 3 20 0 15 0 107267329 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649718205760 139649283923010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19540] ppid=19483 vsize=11080032 memory=954972 CPUtime=0.74 cores=0,2,4,6
/proc/19486/task/19540/stat : 19540 (java) S 19483 19486 12222 0 -1 1077944384 2348 13241 0 0 59 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649750612368 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19541] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.74 cores=0,2,4,6
/proc/19486/task/19541/stat : 19541 (java) S 19483 19486 12222 0 -1 1077944384 3046 13241 0 0 59 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649605331216 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19542] ppid=19483 vsize=11080032 memory=280347011544816 CPUtime=0.75 cores=0,2,4,6
/proc/19486/task/19542/stat : 19542 (java) S 19483 19486 12222 0 -1 1077944384 3087 13241 0 0 60 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649604278928 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19543] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.74 cores=0,2,4,6
/proc/19486/task/19543/stat : 19543 (java) S 19483 19486 12222 0 -1 1077944384 3567 13241 0 0 59 7 5 3 20 0 15 0 107267330 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649603226128 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19544] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.68 cores=0,2,4,6
/proc/19486/task/19544/stat : 19544 (java) S 19483 19486 12222 0 -1 1077944384 8197 13241 0 0 55 5 5 3 20 0 15 0 107267331 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649171270256 139649746381442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19545] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19545/stat : 19545 (java) S 19483 19486 12222 0 -1 1077944384 16 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 238885 33554432000 4194304 4196468 140734710635472 139648579921312 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19546] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19546/stat : 19546 (java) S 19483 19486 12222 0 -1 1077944384 1 13241 0 0 0 0 5 3 20 0 15 0 107267332 11345952768 238885 33554432000 4194304 4196468 140734710635472 139648378594944 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19547] ppid=19483 vsize=11080032 memory=955540 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19547/stat : 19547 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139648071195216 139649746388891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19548] ppid=19483 vsize=11080032 memory=955540 CPUtime=5.19 cores=0,2,4,6
/proc/19486/task/19548/stat : 19548 (java) S 19483 19486 12222 0 -1 1077944384 26920 13241 0 0 507 4 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649170217072 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19549] ppid=19483 vsize=11080032 memory=954972 CPUtime=5.25 cores=0,2,4,6
/proc/19486/task/19549/stat : 19549 (java) S 19483 19486 12222 0 -1 1077944384 22266 13241 0 0 513 4 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649169164272 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19550] ppid=19483 vsize=11080032 memory=928 CPUtime=2.4 cores=0,2,4,6
/proc/19486/task/19550/stat : 19550 (java) S 19483 19486 12222 0 -1 1077944384 19911 13241 0 0 229 3 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649168111984 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19551] ppid=19483 vsize=11080032 memory=11 CPUtime=0.08 cores=0,2,4,6
/proc/19486/task/19551/stat : 19551 (java) S 19483 19486 12222 0 -1 1077944384 3 13241 0 0 0 0 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139647640398304 139649746380501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
[pid=19486/tid=19552] ppid=19483 vsize=11080032 memory=4012 CPUtime=0.2 cores=0,2,4,6
/proc/19486/task/19552/stat : 19552 (java) S 19483 19486 12222 0 -1 1077944384 311 13241 0 0 7 5 5 3 20 0 15 0 107267335 11345952768 238885 33554432000 4194304 4196468 140734710635472 139649167059888 139649746381442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21528576 140734710643304 140734710646113 140734710646113 140734710648783 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 955540 KiB
Child status: 143
Real time (s): 237.536
CPU time (s): 252.043
CPU user time (s): 251.288
CPU system time (s): 0.754916
CPU usage (%): 106.107
Max. virtual memory (cumulated for all children) (KiB): 11082872
Max. memory (cumulated for all children) (KiB): 1014380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.288
system time used= 0.754916
maximum resident set size= 1015928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25168
involuntary context switches= 1427
# summary of solver processes directly reported to runsolver:
# pid: 19486
# total CPU time (s): 252.043
# total CPU user time (s): 251.288
# total CPU system time (s): 0.754916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36739 second user time and 2.30289 second system time
The end