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 (9055 MiB free)
memory of node 1: 16384 MiB (7589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304716-1534137835/watcher-4304716-1534137835 -o /tmp/evaluation-result-4304716-1534137835/solver-4304716-1534137835 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534137835-2125 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=612542931 -superng HOME/instance-4304716-1534137835.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=2155, runsolver pid=2150
[startup+0.102482 s]*
/proc/loadavg: 1.92 2.00 1.96 3/200 2270
/proc/meminfo: memFree=17029212/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=10005480 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 4352 12881 0 0 1 0 5 3 20 0 6 0 231346642 10245611520 4202 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2501370 4202 1934 1 0 2489808 0
[pid=2155/tid=2262] ppid=2150 vsize=10005480 memory=-8412654364304906099 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 2210 12881 0 0 0 0 5 3 20 0 6 0 231346651 10245611520 4268 33554432000 4194304 4196468 140729822102192 140107125088848 140107153274013 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=10005480 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 6 0 231346652 10245611520 4268 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=10005480 memory=140472026150528 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 6 0 231346652 10245611520 4268 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 6 0 231346652 10245611520 4268 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 6 0 231346652 10245611520 4268 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210125 s]*
/proc/loadavg: 1.92 2.00 1.96 4/218 2288
/proc/meminfo: memFree=16984156/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=10982696 memory=45576 CPUtime=0.27 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 8720 12881 0 0 17 2 5 3 20 0 15 0 231346642 11246280704 11394 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2745674 11394 2960 1 0 2708109 0
[pid=2155/tid=2262] ppid=2150 vsize=10982696 memory=-8412654364304906099 CPUtime=0.19 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 5256 12881 0 0 10 1 5 3 20 0 15 0 231346651 11246280704 11394 33554432000 4194304 4196468 140729822102192 140107125039232 140107136438868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=10982696 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246280704 11394 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=10982696 memory=140472026150528 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246280704 11394 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246280704 11394 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246280704 11394 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=10982696 memory=140472026150528 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346653 11246280704 11394 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 13 12881 0 0 0 0 5 3 20 0 15 0 231346654 11246280704 11394 33554432000 4194304 4196468 140729822102192 140105993937824 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11246280704 11394 33554432000 4194304 4196468 140729822102192 140105792611312 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246280704 11394 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 476 12881 0 0 1 0 5 3 20 0 15 0 231346657 11246280704 11394 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 142 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246280704 11394 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=10982696 memory=140472026150528 CPUtime=0.11 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 632 12881 0 0 3 0 5 3 20 0 15 0 231346657 11246280704 11394 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246280704 11394 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=10982696 memory=140472026150528 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246280704 11394 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45576 KiB
[startup+0.310658 s]*
/proc/loadavg: 1.92 2.00 1.96 4/218 2288
/proc/meminfo: memFree=16942960/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=10983192 memory=55420 CPUtime=0.38 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 10378 12881 0 0 28 2 5 3 20 0 15 0 231346642 11246788608 13855 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2745798 13855 3092 1 0 2708109 0
[pid=2155/tid=2262] ppid=2150 vsize=10983192 memory=1399051139730258233 CPUtime=0.29 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 7204 12881 0 0 19 2 5 3 20 0 15 0 231346651 11246788608 14119 33554432000 4194304 4196468 140729822102192 140107125064096 140107133527901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=10983192 memory=-8543172954466572914 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 14185 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=10983192 memory=6935054825532540783 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 14185 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 14185 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 14185 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346653 11246788608 14185 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 13 12881 0 0 0 0 5 3 20 0 15 0 231346654 11246788608 14185 33554432000 4194304 4196468 140729822102192 140105993937824 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11246788608 14185 33554432000 4194304 4196468 140729822102192 140105792611312 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246788608 14185 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 478 12881 0 0 2 0 5 3 20 0 15 0 231346657 11246788608 14185 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 142 12881 0 0 1 0 5 3 20 0 15 0 231346657 11246788608 14185 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 637 12881 0 0 5 0 5 3 20 0 15 0 231346657 11246788608 14185 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246788608 14185 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246788608 14185 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55420 KiB
[startup+0.700803 s]
/proc/loadavg: 1.92 2.00 1.96 4/218 2288
/proc/meminfo: memFree=16916556/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=10983192 memory=89100 CPUtime=0.99 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 16956 12881 0 0 87 4 5 3 20 0 15 0 231346642 11246788608 22275 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2745798 22275 3237 1 0 2708109 0
[pid=2155/tid=2262] ppid=2150 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 12516 12881 0 0 56 3 5 3 20 0 15 0 231346651 11246788608 22275 33554432000 4194304 4196468 140729822102192 140107125046872 140107137332574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 22275 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=10983192 memory=8458433173656975413 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 22275 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=10983192 memory=6152550844858393152 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 22275 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=10983192 memory=6155409523803181143 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346652 11246788608 22275 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=10983192 memory=170926128 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 6 12881 0 0 0 0 5 3 20 0 15 0 231346653 11246788608 22275 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 13 12881 0 0 0 0 5 3 20 0 15 0 231346654 11246788608 22275 33554432000 4194304 4196468 140729822102192 140105993937824 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=10983192 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11246788608 22275 33554432000 4194304 4196468 140729822102192 140105792611312 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246788608 22275 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=10983192 memory=2244 CPUtime=0.16 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 746 12881 0 0 8 0 5 3 20 0 15 0 231346657 11246788608 22275 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=10983192 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 787 12881 0 0 8 0 5 3 20 0 15 0 231346657 11246788608 22275 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 683 12881 0 0 13 0 5 3 20 0 15 0 231346657 11246788608 22275 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246788608 22275 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=10983192 memory=19265 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346657 11246788608 22275 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89100 KiB
[startup+1.50087 s]
/proc/loadavg: 1.92 2.00 1.96 4/218 2288
/proc/meminfo: memFree=16838852/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=10998092 memory=183524 CPUtime=2.45 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 23828 12881 0 0 227 10 5 3 20 0 15 0 231346642 11262046208 45881 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2749523 45881 3480 1 0 2711181 0
[pid=2155/tid=2262] ppid=2150 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 17612 12881 0 0 129 6 5 3 20 0 15 0 231346651 11262046208 45881 33554432000 4194304 4196468 140729822102192 140107125048800 140107133527836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=10998092 memory=126 CPUtime=0.09 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 180 12881 0 0 1 0 5 3 20 0 15 0 231346652 11262046208 45881 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=10998092 memory=79 CPUtime=0.09 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 17 12881 0 0 1 0 5 3 20 0 15 0 231346652 11262046208 45881 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 19 12881 0 0 1 0 5 3 20 0 15 0 231346652 11262046208 45881 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 70 12881 0 0 1 0 5 3 20 0 15 0 231346652 11262046208 45881 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 54 12881 0 0 1 0 5 3 20 0 15 0 231346653 11262046208 45881 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=10998092 memory=140471871485357 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 14 12881 0 0 0 0 5 3 20 0 15 0 231346654 11262046208 45881 33554432000 4194304 4196468 140729822102192 140105993937888 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11262046208 45881 33554432000 4194304 4196468 140729822102192 140105792611312 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=10998092 memory=2986639291558898537 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11262046208 45881 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=10998092 memory=-2127761030910401527 CPUtime=0.36 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 1219 12881 0 0 28 0 5 3 20 0 15 0 231346657 11262046208 45881 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=10998092 memory=-2746958450906831519 CPUtime=0.3 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 999 12881 0 0 22 0 5 3 20 0 15 0 231346657 11262046208 45881 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=10998092 memory=-6367630864500090520 CPUtime=0.47 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 1453 12881 0 0 39 0 5 3 20 0 15 0 231346657 11262046208 45881 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=10998092 memory=-5937291674679385996 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11262046208 45881 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=10998092 memory=2048 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 2 12881 0 0 0 0 5 3 20 0 15 0 231346657 11262046208 45881 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 109463 12881 0 0 236403 49 5 3 20 0 15 0 231346651 11348049920 238653 33554432000 4194304 4196468 140729822102192 140107125086752 140106687620344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=11082080 memory=1828 CPUtime=9.21 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 23181 12881 0 0 876 37 5 3 20 0 15 0 231346652 11348049920 238653 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=11082080 memory=954612 CPUtime=9.22 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 18501 12881 0 0 874 40 5 3 20 0 15 0 231346652 11348049920 238653 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=11082080 memory=954612 CPUtime=9.27 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 17725 12881 0 0 881 38 5 3 20 0 15 0 231346652 11348049920 238653 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=11082080 memory=954612 CPUtime=9.23 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 18628 12881 0 0 879 36 5 3 20 0 15 0 231346652 11348049920 238653 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=11082080 memory=1228 CPUtime=6.7 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 18772 12881 0 0 626 36 5 3 20 0 15 0 231346653 11348049920 238653 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=11082080 memory=954612 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 14 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 238653 33554432000 4194304 4196468 140729822102192 140105993937952 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=11082080 memory=954612 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 238653 33554432000 4194304 4196468 140729822102192 140105792611328 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=11082080 memory=954612 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 238653 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=11082080 memory=954612 CPUtime=8.51 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 129283 12881 0 0 833 10 5 3 20 0 15 0 231346657 11348049920 238653 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=11082080 memory=3560 CPUtime=7.6 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 101766 12881 0 0 742 10 5 3 20 0 15 0 231346657 11348049920 238653 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=11082080 memory=62944 CPUtime=3.73 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 119505 12881 0 0 354 11 5 3 20 0 15 0 231346657 11348049920 238653 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=11082080 memory=954612 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 238653 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=11082080 memory=3560 CPUtime=1.5 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 1637 12881 0 0 69 73 5 3 20 0 15 0 231346657 11348049920 238653 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 2428.94 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 954612 KiB
[startup+2442.3 s]
/proc/loadavg: 1.39 1.39 1.45 4/219 2416
/proc/meminfo: memFree=14984604/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=11082080 memory=956660 CPUtime=2489.66 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 563755 12881 0 0 248655 303 5 3 20 0 15 0 231346642 11348049920 239165 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2770520 239165 3530 1 0 2732173 0
[pid=2155/tid=2262] ppid=2150 vsize=11082080 memory=956660 CPUtime=2424.18 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 110053 12881 0 0 242361 49 5 3 20 0 15 0 231346651 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107125086768 140106702830670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=11082080 memory=954612 CPUtime=9.42 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 23239 12881 0 0 896 38 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=11082080 memory=954612 CPUtime=9.42 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 18513 12881 0 0 893 41 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.48 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 17869 12881 0 0 902 38 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.44 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 18642 12881 0 0 900 36 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=11082080 memory=956660 CPUtime=6.84 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 18972 12881 0 0 639 37 5 3 20 0 15 0 231346653 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=11082080 memory=956660 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 14 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105993937952 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=11082080 memory=956660 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105792611328 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=11082080 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=11082080 memory=956660 CPUtime=8.55 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 130027 12881 0 0 837 10 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=11082080 memory=2432 CPUtime=7.64 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 102214 12881 0 0 746 10 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=11082080 memory=956660 CPUtime=3.76 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 120362 12881 0 0 356 12 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=11082080 memory=956660 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=11082080 memory=956660 CPUtime=1.54 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 1652 12881 0 0 71 75 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 2489.66 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 956660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.3 s]
/proc/loadavg: 1.63 1.45 1.47 3/218 2548
/proc/meminfo: memFree=16044496/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=11082080 memory=956660 CPUtime=2520.02 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 564906 12881 0 0 251688 306 5 3 20 0 15 0 231346642 11348049920 239165 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2770520 239165 3530 1 0 2732173 0
[pid=2155/tid=2262] ppid=2150 vsize=11082080 memory=956660 CPUtime=2453.97 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 110227 12881 0 0 245339 50 5 3 20 0 15 0 231346651 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107125087008 140106704198677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.52 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 23239 12881 0 0 906 38 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.53 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 18514 12881 0 0 904 41 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=11082080 memory=0 CPUtime=9.59 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 17870 12881 0 0 912 39 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.54 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 18645 12881 0 0 910 36 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=11082080 memory=956660 CPUtime=6.92 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 18975 12881 0 0 646 38 5 3 20 0 15 0 231346653 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=11082080 memory=7740949323094059632 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 14 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105993937952 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=11082080 memory=956660 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105792611328 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=11082080 memory=240793 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=11082080 memory=956660 CPUtime=8.57 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 130330 12881 0 0 839 10 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=11082080 memory=956660 CPUtime=7.66 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 102400 12881 0 0 748 10 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=11082080 memory=956660 CPUtime=3.77 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 120840 12881 0 0 357 12 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=11082080 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=11082080 memory=956660 CPUtime=1.56 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 1654 12881 0 0 72 76 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 956660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.33 s]
# the end of solver process 2155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.95 s, system=3.10782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.3 s]
/proc/loadavg: 1.63 1.45 1.47 3/218 2548
/proc/meminfo: memFree=16044496/32770624 swapFree=67108852/67108860
[pid=2155] ppid=2150 vsize=11082080 memory=956660 CPUtime=2520.02 cores=0,2,4,6
/proc/2155/stat : 2155 (java) S 2150 2155 1500 0 -1 1077944320 564906 12881 0 0 251688 306 5 3 20 0 15 0 231346642 11348049920 239165 33554432000 4194304 4196468 140729822102192 140729822084736 140107153252087 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
/proc/2155/statm: 2770520 239165 3530 1 0 2732173 0
[pid=2155/tid=2262] ppid=2150 vsize=11082080 memory=956660 CPUtime=2453.97 cores=0,2,4,6
/proc/2155/task/2262/stat : 2262 (java) R 2150 2155 1500 0 -1 4202560 110227 12881 0 0 245339 50 5 3 20 0 15 0 231346651 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107125087008 140106704198677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2267] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.52 cores=0,2,4,6
/proc/2155/task/2267/stat : 2267 (java) S 2150 2155 1500 0 -1 1077944384 23239 12881 0 0 906 38 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107157494544 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2268] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.53 cores=0,2,4,6
/proc/2155/task/2268/stat : 2268 (java) S 2150 2155 1500 0 -1 1077944384 18514 12881 0 0 904 41 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107012213648 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2269] ppid=2150 vsize=11082080 memory=0 CPUtime=9.59 cores=0,2,4,6
/proc/2155/task/2269/stat : 2269 (java) S 2150 2155 1500 0 -1 1077944384 17870 12881 0 0 912 39 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107011161104 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2270] ppid=2150 vsize=11082080 memory=956660 CPUtime=9.54 cores=0,2,4,6
/proc/2155/task/2270/stat : 2270 (java) S 2150 2155 1500 0 -1 1077944384 18645 12881 0 0 910 36 5 3 20 0 15 0 231346652 11348049920 239165 33554432000 4194304 4196468 140729822102192 140107010108560 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2272] ppid=2150 vsize=11082080 memory=956660 CPUtime=6.92 cores=0,2,4,6
/proc/2155/task/2272/stat : 2272 (java) S 2150 2155 1500 0 -1 1077944384 18975 12881 0 0 646 38 5 3 20 0 15 0 231346653 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106579167216 140107153263234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2275] ppid=2150 vsize=11082080 memory=7740949323094059632 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2275/stat : 2275 (java) S 2150 2155 1500 0 -1 1077944384 14 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105993937952 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2276] ppid=2150 vsize=11082080 memory=956660 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2276/stat : 2276 (java) S 2150 2155 1500 0 -1 1077944384 1 12881 0 0 0 0 5 3 20 0 15 0 231346654 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105792611328 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2282] ppid=2150 vsize=11082080 memory=240793 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2282/stat : 2282 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105485211856 140107153270683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2283] ppid=2150 vsize=11082080 memory=956660 CPUtime=8.57 cores=0,2,4,6
/proc/2155/task/2283/stat : 2283 (java) S 2150 2155 1500 0 -1 1077944384 130330 12881 0 0 839 10 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106578115056 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2284] ppid=2150 vsize=11082080 memory=956660 CPUtime=7.66 cores=0,2,4,6
/proc/2155/task/2284/stat : 2284 (java) S 2150 2155 1500 0 -1 1077944384 102400 12881 0 0 748 10 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106577062512 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2285] ppid=2150 vsize=11082080 memory=956660 CPUtime=3.77 cores=0,2,4,6
/proc/2155/task/2285/stat : 2285 (java) S 2150 2155 1500 0 -1 1077944384 120840 12881 0 0 357 12 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106576009968 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2287] ppid=2150 vsize=11082080 memory=3560 CPUtime=0.08 cores=0,2,4,6
/proc/2155/task/2287/stat : 2287 (java) S 2150 2155 1500 0 -1 1077944384 3 12881 0 0 0 0 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140105054415968 140107153262293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
[pid=2155/tid=2288] ppid=2150 vsize=11082080 memory=956660 CPUtime=1.56 cores=0,2,4,6
/proc/2155/task/2288/stat : 2288 (java) S 2150 2155 1500 0 -1 1077944384 1654 12881 0 0 72 76 5 3 20 0 15 0 231346657 11348049920 239165 33554432000 4194304 4196468 140729822102192 140106574956848 140107153263234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23863296 140729822104164 140729822106972 140729822106972 140729822109647 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 956660 KiB
Child status: 143
Real time (s): 2472.33
CPU time (s): 2520.05
CPU user time (s): 2516.95
CPU system time (s): 3.10782
CPU usage (%): 101.93
Max. virtual memory (cumulated for all children) (KiB): 11084956
Max. memory (cumulated for all children) (KiB): 1128324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.95
system time used= 3.10782
maximum resident set size= 1128416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 578425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199755
involuntary context switches= 7037
# summary of solver processes directly reported to runsolver:
# pid: 2155
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.95
# total CPU system time (s): 3.10782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6218 second user time and 17.8748 second system time
The end