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 (14508 MiB free)
memory of node 1: 16384 MiB (12023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305039-1534104131/watcher-4305039-1534104131 -o /tmp/evaluation-result-4305039-1534104131/solver-4305039-1534104131 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534095354-25287 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1221853690 HOME/instance-4305039-1534104131.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29057, runsolver pid=29054
[startup+0.100059 s]*
/proc/loadavg: 1.68 1.44 1.38 3/207 29114
/proc/meminfo: memFree=27164460/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=10005480 memory=14912 CPUtime=0.08 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 4380 13258 0 0 1 0 5 2 20 0 6 0 227976252 10245611520 3728 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2501370 3728 1934 1 0 2489808 0
[pid=29057/tid=29110] ppid=29054 vsize=10005480 memory=4279135703946462859 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 2197 13258 0 0 1 0 5 2 20 0 6 0 227976261 10245611520 3728 33554432000 4194304 4196468 140730336190528 139759382729296 139759394973022 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 6 0 227976262 10245611520 3728 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=10005480 memory=139975274858112 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 6 0 227976262 10245611520 3728 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 6 0 227976262 10245611520 3728 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 2 13258 0 0 0 0 5 2 20 0 6 0 227976262 10245611520 3728 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14912 KiB
[startup+0.210173 s]*
/proc/loadavg: 1.68 1.44 1.38 3/216 29123
/proc/meminfo: memFree=27142008/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=10982744 memory=41092 CPUtime=0.25 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 7440 13258 0 0 17 1 5 2 20 0 15 0 227976252 11246329856 10273 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2745686 10273 2984 1 0 2708109 0
[pid=29057/tid=29110] ppid=29054 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 3948 13258 0 0 11 1 5 2 20 0 15 0 227976261 11246329856 10273 33554432000 4194304 4196468 140730336190528 139759382714544 139759396058080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=10982744 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246329856 10273 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=10982744 memory=3977157315706816160 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246329856 10273 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 2 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=10982744 memory=139975274858112 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 2 13258 0 0 0 0 5 2 20 0 15 0 227976263 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 13 13258 0 0 0 0 5 2 20 0 15 0 227976264 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758235804832 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976264 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758034477808 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246329856 10339 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 377 13258 0 0 1 0 5 2 20 0 15 0 227976267 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 265 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=10982744 memory=139975274858112 CPUtime=0.1 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 667 13258 0 0 3 0 5 2 20 0 15 0 227976267 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246329856 10339 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=10982744 memory=139975274858112 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246329856 10339 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41092 KiB
[startup+0.310288 s]*
/proc/loadavg: 1.68 1.44 1.38 3/216 29123
/proc/meminfo: memFree=27128888/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=10983192 memory=54220 CPUtime=0.38 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 10625 13258 0 0 29 2 5 2 20 0 15 0 227976252 11246788608 13555 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2745798 13555 3103 1 0 2708109 0
[pid=29057/tid=29110] ppid=29054 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 7057 13258 0 0 20 1 5 2 20 0 15 0 227976261 11246788608 13555 33554432000 4194304 4196468 140730336190528 139759382704544 139759394079344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 13555 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 13555 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 2 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 2 13258 0 0 0 0 5 2 20 0 15 0 227976263 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 13 13258 0 0 0 0 5 2 20 0 15 0 227976264 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758235804832 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976264 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758034477808 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246788608 13555 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 381 13258 0 0 1 0 5 2 20 0 15 0 227976267 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 271 13258 0 0 1 0 5 2 20 0 15 0 227976267 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=10983192 memory=139975274858112 CPUtime=0.11 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 701 13258 0 0 4 0 5 2 20 0 15 0 227976267 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246788608 13555 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=10983192 memory=139975274858112 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246788608 13555 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54220 KiB
[startup+0.70073 s]
/proc/loadavg: 1.68 1.44 1.38 3/216 29123
/proc/meminfo: memFree=27117324/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=10983192 memory=87732 CPUtime=0.99 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 17064 13258 0 0 88 4 5 2 20 0 15 0 227976252 11246788608 21933 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2745798 21933 3247 1 0 2708109 0
[pid=29057/tid=29110] ppid=29054 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 12264 13258 0 0 56 2 5 2 20 0 15 0 227976261 11246788608 21933 33554432000 4194304 4196468 140730336190528 139759382714256 139759396058128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 21933 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 21933 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=10983192 memory=139975131804432 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=10983192 memory=139977279144521 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 2 13258 0 0 0 0 5 2 20 0 15 0 227976262 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=10983192 memory=752 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 5 13258 0 0 0 0 5 2 20 0 15 0 227976263 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=10983192 memory=7014751519650764113 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 13 13258 0 0 0 0 5 2 20 0 15 0 227976264 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758235804832 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=10983192 memory=6082220498109819240 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976264 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758034477808 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=10983192 memory=2228 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246788608 21933 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=10983192 memory=30640 CPUtime=0.17 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 1005 13258 0 0 10 0 5 2 20 0 15 0 227976267 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=10983192 memory=11904 CPUtime=0.14 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 670 13258 0 0 7 0 5 2 20 0 15 0 227976267 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=10983192 memory=492 CPUtime=0.2 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 907 13258 0 0 13 0 5 2 20 0 15 0 227976267 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=10983192 memory=1560 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246788608 21933 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=10983192 memory=932 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976267 11246788608 21933 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87732 KiB
[startup+1.50071 s]
/proc/loadavg: 1.68 1.44 1.38 3/216 29123
/proc/meminfo: memFree=27073536/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=10998092 memory=175968 CPUtime=2.29 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 24249 13258 0 0 213 9 5 2 20 0 15 0 227976252 11262046208 43992 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2749523 43992 3468 1 0 2711181 0
[pid=29057/tid=29110] ppid=29054 vsize=10998092 memory=64244 CPUtime=1.42 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 17769 13258 0 0 130 5 5 2 20 0 15 0 227976261 11262046208 43992 33554432000 4194304 4196468 140730336190528 139759382724080 139759394973022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 33 13258 0 0 0 0 5 2 20 0 15 0 227976262 11262046208 43992 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=10998092 memory=279950263640224 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 190 13258 0 0 1 0 5 2 20 0 15 0 227976262 11262046208 43992 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 13 13258 0 0 1 0 5 2 20 0 15 0 227976262 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 65 13258 0 0 1 0 5 2 20 0 15 0 227976262 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 73 13258 0 0 1 0 5 2 20 0 15 0 227976263 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 14 13258 0 0 0 0 5 2 20 0 15 0 227976264 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758235804896 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976264 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758034477792 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11262046208 43992 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=10998092 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 1453 13258 0 0 21 0 5 2 20 0 15 0 227976267 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=10998092 memory=10 CPUtime=0.27 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 923 13258 0 0 20 0 5 2 20 0 15 0 227976267 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=10998092 memory=6791534058613427641 CPUtime=0.4 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 1522 13258 0 0 33 0 5 2 20 0 15 0 227976267 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11262046208 43992 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=10998092 memory=279950263884672 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1 13258 0 0 0 0 5 2 20 0 15 0 227976267 11262046208 43992 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 94088 13258 0 0 235400 54 5 2 20 0 15 0 227976261 11343855616 268505 33554432000 4194304 4196468 140730336190528 139759382726976 139758991747851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=11077984 memory=1074016 CPUtime=12.3 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 13971 13258 0 0 1161 62 5 2 20 0 15 0 227976262 11343855616 268505 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=11077984 memory=0 CPUtime=12.24 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 21787 13258 0 0 1154 63 5 2 20 0 15 0 227976262 11343855616 268505 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=11077984 memory=1074020 CPUtime=12.25 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 17418 13258 0 0 1157 61 5 2 20 0 15 0 227976262 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=11077984 memory=1074020 CPUtime=12.26 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 16801 13258 0 0 1153 66 5 2 20 0 15 0 227976262 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=11077984 memory=3544 CPUtime=11.96 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 17134 13258 0 0 1125 64 5 2 20 0 15 0 227976263 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=11077984 memory=1074020 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 18 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758235804896 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=11077984 memory=1074020 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 6 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758034477824 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=11077984 memory=1074016 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 268505 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=11077984 memory=139975132237617 CPUtime=2.14 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 7226 13258 0 0 205 2 5 2 20 0 15 0 227976267 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=11077984 memory=1073952 CPUtime=2.91 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 11974 13258 0 0 282 2 5 2 20 0 15 0 227976267 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=11077984 memory=3544 CPUtime=1.43 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 11242 13258 0 0 133 3 5 2 20 0 15 0 227976267 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=11077984 memory=1074020 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 268505 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=11077984 memory=3160 CPUtime=1.61 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1051 13258 0 0 74 80 5 2 20 0 15 0 227976267 11343855616 268505 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 2423.2 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1074020 KiB
[startup+2442.3 s]
/proc/loadavg: 1.06 1.30 1.34 3/217 29326
/proc/meminfo: memFree=26825284/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=11077984 memory=1074064 CPUtime=2484.09 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 216371 13258 0 0 248019 383 5 2 20 0 15 0 227976252 11343855616 268516 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2769496 268516 3517 1 0 2731149 0
[pid=29057/tid=29110] ppid=29054 vsize=11077984 memory=1074064 CPUtime=2413.91 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 94874 13258 0 0 241328 56 5 2 20 0 15 0 227976261 11343855616 268516 33554432000 4194304 4196468 140730336190528 139759382726272 139758992253828 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=11077984 memory=1074064 CPUtime=12.61 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 14054 13258 0 0 1191 63 5 2 20 0 15 0 227976262 11343855616 268516 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=11077984 memory=3160 CPUtime=12.56 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 21813 13258 0 0 1185 64 5 2 20 0 15 0 227976262 11343855616 268516 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=11077984 memory=1074064 CPUtime=12.58 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 17572 13258 0 0 1188 63 5 2 20 0 15 0 227976262 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=11077984 memory=1074064 CPUtime=12.57 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 16990 13258 0 0 1183 67 5 2 20 0 15 0 227976262 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=11077984 memory=1074064 CPUtime=12.26 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 17344 13258 0 0 1154 65 5 2 20 0 15 0 227976263 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=11077984 memory=1074064 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 18 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758235804896 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=11077984 memory=1074064 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 6 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758034477824 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=11077984 memory=1074020 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 268516 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=11077984 memory=1074064 CPUtime=2.14 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 7228 13258 0 0 205 2 5 2 20 0 15 0 227976267 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=11077984 memory=1074064 CPUtime=2.91 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 11976 13258 0 0 282 2 5 2 20 0 15 0 227976267 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=11077984 memory=1074064 CPUtime=1.44 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 11244 13258 0 0 134 3 5 2 20 0 15 0 227976267 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=11077984 memory=1074064 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 268516 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=11077984 memory=1074064 CPUtime=1.65 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1059 13258 0 0 76 82 5 2 20 0 15 0 227976267 11343855616 268516 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 2484.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1074064 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.7 s]
/proc/loadavg: 1.26 1.33 1.35 3/217 29326
/proc/meminfo: memFree=26823664/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2520.03 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 217505 13258 0 0 251606 390 5 2 20 0 15 0 227976252 11343855616 269038 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2769496 269038 3517 1 0 2731149 0
[pid=29057/tid=29110] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2448.88 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 95400 13258 0 0 244825 56 5 2 20 0 15 0 227976261 11343855616 269038 33554432000 4194304 4196468 140730336190528 139759382726416 139758991306580 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=11077984 memory=1076152 CPUtime=12.81 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 14115 13258 0 0 1209 65 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=11077984 memory=1076152 CPUtime=12.75 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 22063 13258 0 0 1202 66 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=11077984 memory=1076152 CPUtime=12.76 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 17635 13258 0 0 1205 64 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=11077984 memory=2717 CPUtime=12.76 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 17013 13258 0 0 1201 68 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=11077984 memory=1074064 CPUtime=12.44 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 17531 13258 0 0 1171 66 5 2 20 0 15 0 227976263 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=11077984 memory=1074064 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 18 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758235804896 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=11077984 memory=1076152 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 6 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758034477824 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=11077984 memory=1076152 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2.14 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 7230 13258 0 0 205 2 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2.91 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 11978 13258 0 0 282 2 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=11077984 memory=5264 CPUtime=1.44 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 11246 13258 0 0 134 3 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=11077984 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=11077984 memory=1076152 CPUtime=1.68 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1077 13258 0 0 78 83 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1076152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.73 s]
# the end of solver process 29057 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.14 s, system=3.94159 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.7 s]
/proc/loadavg: 1.26 1.33 1.35 3/217 29326
/proc/meminfo: memFree=26823664/32770624 swapFree=67030652/67108860
[pid=29057] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2520.03 cores=0,2,4,6
/proc/29057/stat : 29057 (java) S 29054 29057 25256 0 -1 1077944320 217505 13258 0 0 251606 390 5 2 20 0 15 0 227976252 11343855616 269038 33554432000 4194304 4196468 140730336190528 140730336173072 139759410892535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
/proc/29057/statm: 2769496 269038 3517 1 0 2731149 0
[pid=29057/tid=29110] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2448.88 cores=0,2,4,6
/proc/29057/task/29110/stat : 29110 (java) R 29054 29057 25256 0 -1 4202560 95400 13258 0 0 244825 56 5 2 20 0 15 0 227976261 11343855616 269038 33554432000 4194304 4196468 140730336190528 139759382726416 139758991306580 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29111] ppid=29054 vsize=11077984 memory=1076152 CPUtime=12.81 cores=0,2,4,6
/proc/29057/task/29111/stat : 29111 (java) S 29054 29057 25256 0 -1 1077944384 14115 13258 0 0 1209 65 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139759415135248 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29112] ppid=29054 vsize=11077984 memory=1076152 CPUtime=12.75 cores=0,2,4,6
/proc/29057/task/29112/stat : 29112 (java) S 29054 29057 25256 0 -1 1077944384 22063 13258 0 0 1202 66 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139759311338640 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29113] ppid=29054 vsize=11077984 memory=1076152 CPUtime=12.76 cores=0,2,4,6
/proc/29057/task/29113/stat : 29113 (java) S 29054 29057 25256 0 -1 1077944384 17635 13258 0 0 1205 64 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758949296912 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29114] ppid=29054 vsize=11077984 memory=2717 CPUtime=12.76 cores=0,2,4,6
/proc/29057/task/29114/stat : 29114 (java) S 29054 29057 25256 0 -1 1077944384 17013 13258 0 0 1201 68 5 2 20 0 15 0 227976262 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758948244368 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29115] ppid=29054 vsize=11077984 memory=1074064 CPUtime=12.44 cores=0,2,4,6
/proc/29057/task/29115/stat : 29115 (java) S 29054 29057 25256 0 -1 1077944384 17531 13258 0 0 1171 66 5 2 20 0 15 0 227976263 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758836627696 139759410903682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29116] ppid=29054 vsize=11077984 memory=1074064 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29116/stat : 29116 (java) S 29054 29057 25256 0 -1 1077944384 18 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758235804896 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29117] ppid=29054 vsize=11077984 memory=1076152 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29117/stat : 29117 (java) S 29054 29057 25256 0 -1 1077944384 6 13258 0 0 0 0 5 2 20 0 15 0 227976264 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758034477824 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29118] ppid=29054 vsize=11077984 memory=1076152 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29118/stat : 29118 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139757727078352 139759410911131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29119] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2.14 cores=0,2,4,6
/proc/29057/task/29119/stat : 29119 (java) S 29054 29057 25256 0 -1 1077944384 7230 13258 0 0 205 2 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758835575536 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29120] ppid=29054 vsize=11077984 memory=1076152 CPUtime=2.91 cores=0,2,4,6
/proc/29057/task/29120/stat : 29120 (java) S 29054 29057 25256 0 -1 1077944384 11978 13258 0 0 282 2 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758834522992 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29121] ppid=29054 vsize=11077984 memory=5264 CPUtime=1.44 cores=0,2,4,6
/proc/29057/task/29121/stat : 29121 (java) S 29054 29057 25256 0 -1 1077944384 11246 13258 0 0 134 3 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758833469936 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29122] ppid=29054 vsize=11077984 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/29057/task/29122/stat : 29122 (java) S 29054 29057 25256 0 -1 1077944384 3 13258 0 0 0 0 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139757296282464 139759410902741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
[pid=29057/tid=29123] ppid=29054 vsize=11077984 memory=1076152 CPUtime=1.68 cores=0,2,4,6
/proc/29057/task/29123/stat : 29123 (java) S 29054 29057 25256 0 -1 1077944384 1077 13258 0 0 78 83 5 2 20 0 15 0 227976267 11343855616 269038 33554432000 4194304 4196468 140730336190528 139758832417328 139759410903682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18079744 140730336197228 140730336200028 140730336200028 140730336202703 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1076152 KiB
Child status: 143
Real time (s): 2477.73
CPU time (s): 2520.08
CPU user time (s): 2516.14
CPU system time (s): 3.94159
CPU usage (%): 101.709
Max. virtual memory (cumulated for all children) (KiB): 11080696
Max. memory (cumulated for all children) (KiB): 1076152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.14
system time used= 3.94159
maximum resident set size= 1078592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 328315
involuntary context switches= 9498
# summary of solver processes directly reported to runsolver:
# pid: 29057
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.14
# total CPU system time (s): 3.94159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3673 second user time and 22.188 second system time
The end