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 (4904 MiB free)
memory of node 1: 16384 MiB (6693 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295593-1532570894/watcher-4295593-1532570894 -o /tmp/evaluation-result-4295593-1532570894/solver-4295593-1532570894 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31452 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1814027914 -superng HOME/instance-4295593-1532570894.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
solver pid=5149, runsolver pid=5146
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 1.03 1.23 1.34 3/206 5206
/proc/meminfo: memFree=11869476/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=9972712 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 4337 12885 0 0 1 1 4 3 20 0 6 0 74652568 10212057088 4204 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2493178 4204 1934 1 0 2481616 0
[pid=5149/tid=5202] ppid=5146 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 2200 12885 0 0 0 0 4 3 20 0 6 0 74652577 10212057088 4270 33554432000 4194304 4196468 140724549356704 139940768875088 139940797060253 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 6 0 74652577 10212057088 4270 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=9972712 memory=140017105815168 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 6 0 74652577 10212057088 4270 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 6 0 74652577 10212057088 4270 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 6 0 74652577 10212057088 4270 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.212087 s]*
/proc/loadavg: 1.03 1.23 1.34 3/215 5215
/proc/meminfo: memFree=11847724/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=10821524 memory=45348 CPUtime=0.25 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 8537 12885 0 0 16 2 4 3 20 0 15 0 74652568 11081240576 11337 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2705381 11337 2973 1 0 2667804 0
[pid=5149/tid=5202] ppid=5146 vsize=10818936 memory=-8171376296011865461 CPUtime=0.19 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 6010 12885 0 0 10 2 4 3 20 0 15 0 74652577 11078590464 11519 33554432000 4194304 4196468 140724549356704 139940768863136 139940789718045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10818936 memory=7948963741541478447 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11078590464 11519 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10818936 memory=140017105815168 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11078590464 11585 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11078590464 11585 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 74652577 11078590464 11585 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10818936 memory=140017105815168 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 74652579 11078590464 11585 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 74652579 11078557696 11638 33554432000 4194304 4196468 140724549356704 139939698173600 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652580 11078557696 11638 33554432000 4194304 4196468 140724549356704 139939563955440 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11078557696 11638 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 494 12885 0 0 1 0 4 3 20 0 15 0 74652582 11078557696 11638 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) S 5146 5149 31421 0 -1 1077944384 89 12885 0 0 1 0 4 3 20 0 15 0 74652582 11078557696 11638 33554432000 4194304 4196468 140724549356704 139940321593712 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10818936 memory=140017105815168 CPUtime=0.1 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) S 5146 5149 31421 0 -1 1077944384 542 12885 0 0 3 0 4 3 20 0 15 0 74652582 11078590464 11638 33554432000 4194304 4196468 140724549356704 139940320540656 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11078590464 11638 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10818936 memory=140017105815168 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652583 11078590464 11638 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 45348 KiB
[startup+0.310365 s]*
/proc/loadavg: 1.03 1.23 1.34 3/215 5215
/proc/meminfo: memFree=11835320/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=10819352 memory=54428 CPUtime=0.37 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 10644 12885 0 0 27 3 4 3 20 0 15 0 74652568 11079016448 13607 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2704838 13607 3092 1 0 2667149 0
[pid=5149/tid=5202] ppid=5146 vsize=10819352 memory=6935054825532540783 CPUtime=0.27 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 7305 12885 0 0 18 2 4 3 20 0 15 0 74652577 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940768850336 139940797060253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 74652579 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 74652579 11079016448 13607 33554432000 4194304 4196468 140724549356704 139939698173600 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652580 11079016448 13607 33554432000 4194304 4196468 140724549356704 139939563955440 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11079016448 13607 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 495 12885 0 0 1 0 4 3 20 0 15 0 74652582 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) R 5146 5149 31421 0 -1 4202560 89 12885 0 0 1 0 4 3 20 0 15 0 74652582 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940321593712 139940775442389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) R 5146 5149 31421 0 -1 4202560 551 12885 0 0 5 0 4 3 20 0 15 0 74652582 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940320540656 139940776166753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11079016448 13607 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652583 11079016448 13607 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54428 KiB
[startup+0.700847 s]
/proc/loadavg: 1.03 1.23 1.34 3/215 5215
/proc/meminfo: memFree=11825288/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=10819352 memory=86788 CPUtime=0.99 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 16752 12885 0 0 88 4 4 3 20 0 15 0 74652568 11079016448 21697 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2704838 21697 3246 1 0 2667149 0
[pid=5149/tid=5202] ppid=5146 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 12300 12885 0 0 55 3 4 3 20 0 15 0 74652577 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940768859152 139940797052214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10819352 memory=8458433173657040949 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10819352 memory=7156871068434847330 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10819352 memory=4639059877604708710 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 74652577 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10819352 memory=3467824627880452160 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 5 12885 0 0 0 0 4 3 20 0 15 0 74652579 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 74652579 11079016448 21697 33554432000 4194304 4196468 140724549356704 139939698173600 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652580 11079016448 21697 33554432000 4194304 4196468 140724549356704 139939563955440 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11079016448 21697 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10819352 memory=2244 CPUtime=0.14 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 865 12885 0 0 7 0 4 3 20 0 15 0 74652582 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) S 5146 5149 31421 0 -1 1077944384 759 12885 0 0 10 0 4 3 20 0 15 0 74652582 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940321593712 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) S 5146 5149 31421 0 -1 1077944384 607 12885 0 0 13 0 4 3 20 0 15 0 74652582 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940320540656 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11079016448 21697 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10819352 memory=30305 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652583 11079016448 21697 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86788 KiB
[startup+1.50085 s]
/proc/loadavg: 1.03 1.23 1.34 3/215 5215
/proc/meminfo: memFree=11779080/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=10832204 memory=235380 CPUtime=2.89 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 23592 12885 0 0 272 10 4 3 20 0 15 0 74652568 11092176896 58845 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2708051 58845 3454 1 0 2669709 0
[pid=5149/tid=5202] ppid=5146 vsize=10832204 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 16538 12885 0 0 130 7 4 3 20 0 15 0 74652577 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940768853952 139940781118814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10832204 memory=124 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 11 12885 0 0 0 0 4 3 20 0 15 0 74652577 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10832204 memory=79 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 175 12885 0 0 0 0 4 3 20 0 15 0 74652577 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 7 12885 0 0 0 0 4 3 20 0 15 0 74652577 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 38 12885 0 0 0 0 4 3 20 0 15 0 74652577 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 31 12885 0 0 0 0 4 3 20 0 15 0 74652579 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10832204 memory=140017007608101 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 14 12885 0 0 0 0 4 3 20 0 15 0 74652579 11092176896 58845 33554432000 4194304 4196468 140724549356704 139939698173664 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 2 12885 0 0 0 0 4 3 20 0 15 0 74652580 11092176896 58845 33554432000 4194304 4196468 140724549356704 139939563955440 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10832204 memory=2986632698767059817 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11092176896 58845 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10832204 memory=-2127765407364898807 CPUtime=0.56 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 1642 12885 0 0 49 0 4 3 20 0 15 0 74652582 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10832204 memory=-2897801490638248331 CPUtime=0.52 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) S 5146 5149 31421 0 -1 1077944384 1458 12885 0 0 45 0 4 3 20 0 15 0 74652582 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940321593712 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10832204 memory=-2746958450906831519 CPUtime=0.5 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) S 5146 5149 31421 0 -1 1077944384 1479 12885 0 0 43 0 4 3 20 0 15 0 74652582 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940320540656 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10832204 memory=-6368229864023400332 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11092176896 58845 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10832204 memory=64 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1 12885 0 0 0 0 4 3 20 0 15 0 74652583 11092176896 58845 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 87811 12885 0 0 236060 48 4 3 20 0 15 0 74652577 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940768872704 139940396526720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10914144 memory=1069772 CPUtime=9.48 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 12980 12885 0 0 892 49 4 3 20 0 15 0 74652577 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10914144 memory=1069836 CPUtime=9.5 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 10903 12885 0 0 892 51 4 3 20 0 15 0 74652577 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10914144 memory=1069836 CPUtime=9.47 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 9471 12885 0 0 888 52 4 3 20 0 15 0 74652577 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10914144 memory=1069836 CPUtime=9.44 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 11486 12885 0 0 885 52 4 3 20 0 15 0 74652577 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10914144 memory=0 CPUtime=8.84 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 16510 12885 0 0 832 45 4 3 20 0 15 0 74652579 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10914144 memory=1069836 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 22 12885 0 0 0 0 4 3 20 0 15 0 74652579 11176083456 267459 33554432000 4194304 4196468 140724549356704 139939698173728 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10914144 memory=1069772 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 74652580 11176083456 267459 33554432000 4194304 4196468 140724549356704 139939563955456 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10914144 memory=640 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11176083456 267459 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10914144 memory=237946 CPUtime=4.38 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 19922 12885 0 0 428 3 4 3 20 0 15 0 74652582 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10914144 memory=232150 CPUtime=4.7 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) S 5146 5149 31421 0 -1 1077944384 21756 12885 0 0 459 4 4 3 20 0 15 0 74652582 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940321593712 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10914144 memory=1069772 CPUtime=1.98 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) S 5146 5149 31421 0 -1 1077944384 23095 12885 0 0 186 5 4 3 20 0 15 0 74652582 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940320540656 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10914144 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11176083456 267459 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10914144 memory=1069836 CPUtime=1.46 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1015 12885 0 0 68 71 4 3 20 0 15 0 74652583 11176083456 267459 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 2419.9 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1069836 KiB
[startup+2442.3 s]
/proc/loadavg: 1.20 1.34 1.36 3/215 5417
/proc/meminfo: memFree=10708376/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=10914144 memory=1069848 CPUtime=2480.6 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 218417 12885 0 0 247727 326 4 3 20 0 15 0 74652568 11176083456 267462 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2728536 267462 3524 1 0 2690189 0
[pid=5149/tid=5202] ppid=5146 vsize=10914144 memory=1069848 CPUtime=2420.63 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 88423 12885 0 0 242008 48 4 3 20 0 15 0 74652577 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940768872368 139940403369477 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10914144 memory=1069848 CPUtime=9.72 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 12985 12885 0 0 915 50 4 3 20 0 15 0 74652577 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10914144 memory=1069848 CPUtime=9.75 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 11184 12885 0 0 915 53 4 3 20 0 15 0 74652577 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10914144 memory=1069848 CPUtime=9.71 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 9489 12885 0 0 910 54 4 3 20 0 15 0 74652577 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10914144 memory=1069848 CPUtime=9.69 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 11586 12885 0 0 908 54 4 3 20 0 15 0 74652577 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10914144 memory=1069848 CPUtime=9.06 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 16707 12885 0 0 853 46 4 3 20 0 15 0 74652579 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10914144 memory=1069848 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 22 12885 0 0 0 0 4 3 20 0 15 0 74652579 11176083456 267462 33554432000 4194304 4196468 140724549356704 139939698173728 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10914144 memory=1069848 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 74652580 11176083456 267462 33554432000 4194304 4196468 140724549356704 139939563955456 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10914144 memory=1069848 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11176083456 267462 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10914144 memory=1069848 CPUtime=4.38 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 19924 12885 0 0 428 3 4 3 20 0 15 0 74652582 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10914144 memory=1069848 CPUtime=4.7 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) S 5146 5149 31421 0 -1 1077944384 21758 12885 0 0 459 4 4 3 20 0 15 0 74652582 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940321593712 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10914144 memory=1069848 CPUtime=1.98 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) S 5146 5149 31421 0 -1 1077944384 23097 12885 0 0 186 5 4 3 20 0 15 0 74652582 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940320540656 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10914144 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11176083456 267462 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10914144 memory=13044 CPUtime=1.49 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1033 12885 0 0 69 73 4 3 20 0 15 0 74652583 11176083456 267462 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 2480.6 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1069848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.3 s]
/proc/loadavg: 1.41 1.38 1.37 3/215 5418
/proc/meminfo: memFree=10707960/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=10914144 memory=1069888 CPUtime=2520.05 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 219612 12885 0 0 251667 331 4 3 20 0 15 0 74652568 11176083456 267472 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2728536 267472 3524 1 0 2690189 0
[pid=5149/tid=5202] ppid=5146 vsize=10914144 memory=1069888 CPUtime=2459.3 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 89008 12885 0 0 245875 48 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940768872576 139940401615680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.88 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 13036 12885 0 0 930 51 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.9 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 11445 12885 0 0 929 54 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.86 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 9559 12885 0 0 924 55 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.84 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 11602 12885 0 0 923 54 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.2 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 16896 12885 0 0 866 47 4 3 20 0 15 0 74652579 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10914144 memory=1069888 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 22 12885 0 0 0 0 4 3 20 0 15 0 74652579 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939698173728 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10914144 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 74652580 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939563955456 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10914144 memory=1069888 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10914144 memory=4140 CPUtime=4.38 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 19926 12885 0 0 428 3 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10914144 memory=1069888 CPUtime=4.7 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) S 5146 5149 31421 0 -1 1077944384 21761 12885 0 0 459 4 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940321593712 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10914144 memory=1069888 CPUtime=1.98 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) S 5146 5149 31421 0 -1 1077944384 23099 12885 0 0 186 5 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940320540656 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10914144 memory=1069888 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10914144 memory=1069888 CPUtime=1.51 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1049 12885 0 0 70 74 4 3 20 0 15 0 74652583 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1069888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.33 s]
# the end of solver process 5149 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.74 s, system=3.36454 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.3 s]
/proc/loadavg: 1.41 1.38 1.37 3/215 5418
/proc/meminfo: memFree=10707960/32770624 swapFree=67108860/67108860
[pid=5149] ppid=5146 vsize=10914144 memory=1069888 CPUtime=2520.05 cores=0,2,4,6
/proc/5149/stat : 5149 (java) S 5146 5149 31421 0 -1 1077944320 219612 12885 0 0 251667 331 4 3 20 0 15 0 74652568 11176083456 267472 33554432000 4194304 4196468 140724549356704 140724549339248 139940797038327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
/proc/5149/statm: 2728536 267472 3524 1 0 2690189 0
[pid=5149/tid=5202] ppid=5146 vsize=10914144 memory=1069888 CPUtime=2459.3 cores=0,2,4,6
/proc/5149/task/5202/stat : 5202 (java) R 5146 5149 31421 0 -1 4202560 89008 12885 0 0 245875 48 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940768872576 139940401615680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5203] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.88 cores=0,2,4,6
/proc/5149/task/5203/stat : 5203 (java) S 5146 5149 31421 0 -1 1077944384 13036 12885 0 0 930 51 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940801272336 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5204] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.9 cores=0,2,4,6
/proc/5149/task/5204/stat : 5204 (java) S 5146 5149 31421 0 -1 1077944384 11445 12885 0 0 929 54 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940370111120 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5205] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.86 cores=0,2,4,6
/proc/5149/task/5205/stat : 5205 (java) S 5146 5149 31421 0 -1 1077944384 9559 12885 0 0 924 55 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940369058064 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5206] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.84 cores=0,2,4,6
/proc/5149/task/5206/stat : 5206 (java) S 5146 5149 31421 0 -1 1077944384 11602 12885 0 0 923 54 4 3 20 0 15 0 74652577 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940368005520 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5207] ppid=5146 vsize=10914144 memory=1069888 CPUtime=9.2 cores=0,2,4,6
/proc/5149/task/5207/stat : 5207 (java) S 5146 5149 31421 0 -1 1077944384 16896 12885 0 0 866 47 4 3 20 0 15 0 74652579 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940323699440 139940797049474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5208] ppid=5146 vsize=10914144 memory=1069888 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5208/stat : 5208 (java) S 5146 5149 31421 0 -1 1077944384 22 12885 0 0 0 0 4 3 20 0 15 0 74652579 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939698173728 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5209] ppid=5146 vsize=10914144 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5209/stat : 5209 (java) S 5146 5149 31421 0 -1 1077944384 13 12885 0 0 0 0 4 3 20 0 15 0 74652580 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939563955456 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5210] ppid=5146 vsize=10914144 memory=1069888 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5210/stat : 5210 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939323664848 139940797056923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5211] ppid=5146 vsize=10914144 memory=4140 CPUtime=4.38 cores=0,2,4,6
/proc/5149/task/5211/stat : 5211 (java) S 5146 5149 31421 0 -1 1077944384 19926 12885 0 0 428 3 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940322646256 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5212] ppid=5146 vsize=10914144 memory=1069888 CPUtime=4.7 cores=0,2,4,6
/proc/5149/task/5212/stat : 5212 (java) S 5146 5149 31421 0 -1 1077944384 21761 12885 0 0 459 4 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940321593712 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5213] ppid=5146 vsize=10914144 memory=1069888 CPUtime=1.98 cores=0,2,4,6
/proc/5149/task/5213/stat : 5213 (java) S 5146 5149 31421 0 -1 1077944384 23099 12885 0 0 186 5 4 3 20 0 15 0 74652582 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940320540656 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5214] ppid=5146 vsize=10914144 memory=1069888 CPUtime=0.07 cores=0,2,4,6
/proc/5149/task/5214/stat : 5214 (java) S 5146 5149 31421 0 -1 1077944384 3 12885 0 0 0 0 4 3 20 0 15 0 74652583 11176083456 267472 33554432000 4194304 4196468 140724549356704 139939290106208 139940797048533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
[pid=5149/tid=5215] ppid=5146 vsize=10914144 memory=1069888 CPUtime=1.51 cores=0,2,4,6
/proc/5149/task/5215/stat : 5215 (java) S 5146 5149 31421 0 -1 1077944384 1049 12885 0 0 70 74 4 3 20 0 15 0 74652583 11176083456 267472 33554432000 4194304 4196468 140724549356704 139940319489072 139940797049474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22835200 140724549363883 140724549367132 140724549367132 140724549369807 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1069888 KiB
Child status: 143
Real time (s): 2481.33
CPU time (s): 2520.1
CPU user time (s): 2516.74
CPU system time (s): 3.36454
CPU usage (%): 101.563
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 1071720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.74
system time used= 3.36454
maximum resident set size= 1074124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254380
involuntary context switches= 8434
# summary of solver processes directly reported to runsolver:
# pid: 5149
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.74
# total CPU system time (s): 3.36454
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7364 second user time and 23.2628 second system time
The end