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 (13862 MiB free)
memory of node 1: 16384 MiB (11722 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396211-1568403353/watcher-4396211-1568403353 -o /tmp/evaluation-result-4396211-1568403353/solver-4396211-1568403353 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568399721-12058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1740444239 HOME/instance-4396211-1568403353.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=13149, runsolver pid=13146
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.70 1.67 1.64 3/219 13206
/proc/meminfo: memFree=26193524/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=9972712 memory=16552 CPUtime=0.08 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 4379 13135 0 0 1 0 4 3 20 0 6 0 416275459 10212057088 4138 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2493178 4138 1933 1 0 2481616 0
[pid=13149/tid=13202] ppid=13146 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 2182 13135 0 0 1 0 4 3 20 0 6 0 416275468 10212057088 4138 33554432000 4194304 4196468 140737411105456 140640638509648 140640650753374 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=9972712 memory=5793855942344915385 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 6 0 416275469 10212057088 4138 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=9972712 memory=140691335022208 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 6 0 416275469 10212057088 4138 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 6 0 416275469 10212057088 4138 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 6 0 416275469 10212057088 4138 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.21077 s]*
/proc/loadavg: 1.70 1.67 1.64 3/228 13215
/proc/meminfo: memFree=26172688/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=10819664 memory=39776 CPUtime=0.25 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 7247 13135 0 0 17 1 4 3 20 0 15 0 416275459 11079335936 9944 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2704916 9944 3150 1 0 2667149 0
[pid=13149/tid=13202] ppid=13146 vsize=10819664 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 3751 13135 0 0 11 0 4 3 20 0 15 0 416275468 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640638457768 140640650753374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10819664 memory=4211974417539812746 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10819664 memory=140691335022208 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10819664 memory=140691335022208 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 416275470 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 13 13135 0 0 0 0 4 3 20 0 15 0 416275471 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640113387168 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275471 11079335936 9944 33554432000 4194304 4196468 140737411105456 140639509406960 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11079335936 9944 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 459 13135 0 0 1 0 4 3 20 0 15 0 416275474 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) S 13146 13149 12027 0 -1 1077944384 204 13135 0 0 0 0 4 3 20 0 15 0 416275474 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640191154544 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10819664 memory=140691335022208 CPUtime=0.1 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) S 13146 13149 12027 0 -1 1077944384 606 13135 0 0 3 0 4 3 20 0 15 0 416275474 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640190101488 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11079335936 9944 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10819664 memory=140691335022208 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275474 11079335936 9944 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39776 KiB
[startup+0.31052 s]*
/proc/loadavg: 1.70 1.67 1.64 3/228 13215
/proc/meminfo: memFree=26159892/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=10820148 memory=50932 CPUtime=0.39 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 10947 13135 0 0 29 3 4 3 20 0 15 0 416275459 11079831552 12733 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2705037 12733 3282 1 0 2667149 0
[pid=13149/tid=13202] ppid=13146 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 7429 13135 0 0 19 2 4 3 20 0 15 0 416275468 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640638472800 140640650753374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 416275469 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10820148 memory=140691335022207 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 416275470 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 13 13135 0 0 0 0 4 3 20 0 15 0 416275471 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640113387168 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10820148 memory=140691335022208 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275471 11079831552 12733 33554432000 4194304 4196468 140737411105456 140639509406960 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11079831552 12733 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 459 13135 0 0 1 0 4 3 20 0 15 0 416275474 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) S 13146 13149 12027 0 -1 1077944384 214 13135 0 0 1 0 4 3 20 0 15 0 416275474 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640191154544 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10820148 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) R 13146 13149 12027 0 -1 4202560 615 13135 0 0 5 0 4 3 20 0 15 0 416275474 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640190101488 140640652043856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11079831552 12733 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275474 11079831552 12733 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50932 KiB
[startup+0.703751 s]
/proc/loadavg: 1.70 1.67 1.64 3/228 13215
/proc/meminfo: memFree=26146324/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=10824360 memory=83392 CPUtime=1.14 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 15059 13135 0 0 101 6 4 3 20 0 15 0 416275459 11084144640 20848 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2706090 20848 3499 1 0 2668173 0
[pid=13149/tid=13202] ppid=13146 vsize=10824360 memory=1660 CPUtime=0.66 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 10319 13135 0 0 55 4 4 3 20 0 15 0 416275468 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640638488800 140640266520918 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10824360 memory=4580 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10824360 memory=140691183542785 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10824360 memory=140694538683285 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275469 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10824360 memory=2124 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 2 13135 0 0 0 0 4 3 20 0 15 0 416275469 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10824360 memory=5794559664533100645 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 5 13135 0 0 0 0 4 3 20 0 15 0 416275470 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10824360 memory=7739276948477931367 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 13 13135 0 0 0 0 4 3 20 0 15 0 416275471 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640113387168 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10824360 memory=5787219428069434709 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275471 11084144640 20848 33554432000 4194304 4196468 140737411105456 140639509406960 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10824360 memory=3054156605368933524 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11084144640 20848 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10824360 memory=8326441112149131693 CPUtime=0.21 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 959 13135 0 0 14 0 4 3 20 0 15 0 416275474 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10824360 memory=7679937539659563834 CPUtime=0.19 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) R 13146 13149 12027 0 -1 4202560 716 13135 0 0 12 0 4 3 20 0 15 0 416275474 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640191154544 140640652687208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10824360 memory=6944656425123485561 CPUtime=0.24 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) S 13146 13149 12027 0 -1 1077944384 824 13135 0 0 17 0 4 3 20 0 15 0 416275474 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640190101488 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10824360 memory=-9178176116494409632 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11084144640 20848 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275474 11084144640 20848 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83392 KiB
[startup+1.50078 s]
/proc/loadavg: 1.70 1.67 1.64 3/228 13215
/proc/meminfo: memFree=26104076/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=10834676 memory=171156 CPUtime=2.46 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 21855 13135 0 0 229 10 4 3 20 0 15 0 416275459 11094708224 42789 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2708669 42789 3580 1 0 2670733 0
[pid=13149/tid=13202] ppid=13146 vsize=10834676 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 15315 13135 0 0 130 5 4 3 20 0 15 0 416275468 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640638472416 140640666684822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10834676 memory=97264 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 52 13135 0 0 1 0 4 3 20 0 15 0 416275469 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10834676 memory=5790086053191909267 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 13 13135 0 0 0 0 4 3 20 0 15 0 416275469 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 69 13135 0 0 1 0 4 3 20 0 15 0 416275469 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 371 13135 0 0 1 0 4 3 20 0 15 0 416275469 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 158 13135 0 0 1 0 4 3 20 0 15 0 416275470 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10834676 memory=-6221781267475802396 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 14 13135 0 0 0 0 4 3 20 0 15 0 416275471 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640113387232 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10834676 memory=2580 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275471 11094708224 42789 33554432000 4194304 4196468 140737411105456 140639509406976 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10834676 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11094708224 42789 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10834676 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 1161 13135 0 0 25 1 4 3 20 0 15 0 416275474 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10834676 memory=197414816377270 CPUtime=0.3 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) S 13146 13149 12027 0 -1 1077944384 856 13135 0 0 23 0 4 3 20 0 15 0 416275474 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640191154544 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10834676 memory=3107990 CPUtime=0.48 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) R 13146 13149 12027 0 -1 4202560 1628 13135 0 0 41 0 4 3 20 0 15 0 416275474 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640190101488 140640666684822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10834676 memory=6935649255759568985 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11094708224 42789 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10834676 memory=7007706849797498452 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1 13135 0 0 0 0 4 3 20 0 15 0 416275474 11094708224 42789 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 61447 13135 0 0 236354 35 4 3 20 0 15 0 416275468 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640638508080 140640278821113 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10846984 memory=609692 CPUtime=7.87 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 18716 13135 0 0 740 40 4 3 20 0 15 0 416275469 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10846984 memory=609692 CPUtime=7.86 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 14073 13135 0 0 739 40 4 3 20 0 15 0 416275469 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10846984 memory=609660 CPUtime=7.89 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 13052 13135 0 0 744 38 4 3 20 0 15 0 416275469 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10846984 memory=609664 CPUtime=7.88 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 12293 13135 0 0 745 36 4 3 20 0 15 0 416275469 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10846984 memory=609664 CPUtime=7.44 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 14178 13135 0 0 701 36 4 3 20 0 15 0 416275470 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10846984 memory=609692 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 16 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640113387296 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10846984 memory=609692 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 152423 33554432000 4194304 4196468 140737411105456 140639509406976 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10846984 memory=609656 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 152423 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10846984 memory=609692 CPUtime=4.1 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 31757 13135 0 0 399 4 4 3 20 0 15 0 416275474 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10846984 memory=1660 CPUtime=4.11 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) S 13146 13149 12027 0 -1 1077944384 31484 13135 0 0 399 5 4 3 20 0 15 0 416275474 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640191154544 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10846984 memory=40252 CPUtime=1.93 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) S 13146 13149 12027 0 -1 1077944384 26933 13135 0 0 182 4 4 3 20 0 15 0 416275474 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640190101488 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10846984 memory=609692 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 152423 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10846984 memory=609664 CPUtime=1.43 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1535 13135 0 0 73 63 4 3 20 0 15 0 416275474 11107311616 152423 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 2413.95 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 609692 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.60 1.57 3/228 13588
/proc/meminfo: memFree=25955788/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=10846984 memory=622196 CPUtime=2474.48 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 229459 13135 0 0 247185 256 4 3 20 0 15 0 416275459 11107311616 155549 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2711746 155549 3630 1 0 2673805 0
[pid=13149/tid=13202] ppid=13146 vsize=10846984 memory=6791534058613427641 CPUtime=2423.52 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 62183 13135 0 0 242310 35 4 3 20 0 15 0 416275468 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640638508752 140640279112036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10846984 memory=40252 CPUtime=8.07 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 18779 13135 0 0 759 41 4 3 20 0 15 0 416275469 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10846984 memory=622196 CPUtime=8.05 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 14078 13135 0 0 757 41 4 3 20 0 15 0 416275469 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10846984 memory=609660 CPUtime=8.08 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 13109 13135 0 0 763 38 4 3 20 0 15 0 416275469 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10846984 memory=621840 CPUtime=8.07 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 12866 13135 0 0 764 36 4 3 20 0 15 0 416275469 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10846984 memory=622196 CPUtime=7.62 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 14471 13135 0 0 718 37 4 3 20 0 15 0 416275470 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10846984 memory=622196 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 16 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640113387296 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10846984 memory=622196 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 155549 33554432000 4194304 4196468 140737411105456 140639509406976 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10846984 memory=622196 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 155549 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10846984 memory=622196 CPUtime=4.1 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 31758 13135 0 0 399 4 4 3 20 0 15 0 416275474 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10846984 memory=622196 CPUtime=4.11 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) S 13146 13149 12027 0 -1 1077944384 31484 13135 0 0 399 5 4 3 20 0 15 0 416275474 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640191154544 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10846984 memory=621840 CPUtime=1.93 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) S 13146 13149 12027 0 -1 1077944384 26933 13135 0 0 182 4 4 3 20 0 15 0 416275474 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640190101488 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10846984 memory=621840 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 155549 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10846984 memory=1564 CPUtime=1.46 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1557 13135 0 0 75 64 4 3 20 0 15 0 416275474 11107311616 155549 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 2474.48 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 622196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2487.5 s]
/proc/loadavg: 1.64 1.62 1.58 3/228 13592
/proc/meminfo: memFree=25959888/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=10846984 memory=624280 CPUtime=2520.1 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 230692 13135 0 0 251744 259 4 3 20 0 15 0 416275459 11107311616 156070 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2711746 156070 3630 1 0 2673805 0
[pid=13149/tid=13202] ppid=13146 vsize=10846984 memory=1408 CPUtime=2468.41 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 62727 13135 0 0 246799 35 4 3 20 0 15 0 416275468 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640638508464 140640280485700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.21 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 18900 13135 0 0 772 42 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.2 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 14120 13135 0 0 771 42 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.22 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 13389 13135 0 0 776 39 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.21 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 12892 13135 0 0 777 37 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10846984 memory=1720 CPUtime=7.74 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 14670 13135 0 0 730 37 4 3 20 0 15 0 416275470 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10846984 memory=624280 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 16 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640113387296 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10846984 memory=624280 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 156070 33554432000 4194304 4196468 140737411105456 140639509406976 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10846984 memory=622224 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10846984 memory=624280 CPUtime=4.1 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 31760 13135 0 0 399 4 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10846984 memory=6791534058613427641 CPUtime=4.11 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) S 13146 13149 12027 0 -1 1077944384 31486 13135 0 0 399 5 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640191154544 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10846984 memory=10604 CPUtime=1.93 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) S 13146 13149 12027 0 -1 1077944384 26935 13135 0 0 182 4 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640190101488 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10846984 memory=622196 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10846984 memory=3620 CPUtime=1.48 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1572 13135 0 0 76 65 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 624280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2487.53 s]
# the end of solver process 13149 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.5 s, system=2.64418 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2487.5 s]
/proc/loadavg: 1.64 1.62 1.58 3/228 13592
/proc/meminfo: memFree=25959888/32770624 swapFree=66959224/67108860
[pid=13149] ppid=13146 vsize=10846984 memory=624280 CPUtime=2520.1 cores=0,2,4,6
/proc/13149/stat : 13149 (java) S 13146 13149 12027 0 -1 1077944320 230692 13135 0 0 251744 259 4 3 20 0 15 0 416275459 11107311616 156070 33554432000 4194304 4196468 140737411105456 140737411088000 140640666672887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
/proc/13149/statm: 2711746 156070 3630 1 0 2673805 0
[pid=13149/tid=13202] ppid=13146 vsize=10846984 memory=1408 CPUtime=2468.41 cores=0,2,4,6
/proc/13149/task/13202/stat : 13202 (java) R 13146 13149 12027 0 -1 4202560 62727 13135 0 0 246799 35 4 3 20 0 15 0 416275468 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640638508464 140640280485700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13203] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.21 cores=0,2,4,6
/proc/13149/task/13203/stat : 13203 (java) S 13146 13149 12027 0 -1 1077944384 18900 13135 0 0 772 42 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640670915088 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13204] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.2 cores=0,2,4,6
/proc/13149/task/13204/stat : 13204 (java) S 13146 13149 12027 0 -1 1077944384 14120 13135 0 0 771 42 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640585734800 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13205] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.22 cores=0,2,4,6
/proc/13149/task/13205/stat : 13205 (java) S 13146 13149 12027 0 -1 1077944384 13389 13135 0 0 776 39 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640584681744 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13206] ppid=13146 vsize=10846984 memory=624280 CPUtime=8.21 cores=0,2,4,6
/proc/13149/task/13206/stat : 13206 (java) S 13146 13149 12027 0 -1 1077944384 12892 13135 0 0 777 37 4 3 20 0 15 0 416275469 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640237836688 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13207] ppid=13146 vsize=10846984 memory=1720 CPUtime=7.74 cores=0,2,4,6
/proc/13149/task/13207/stat : 13207 (java) S 13146 13149 12027 0 -1 1077944384 14670 13135 0 0 730 37 4 3 20 0 15 0 416275470 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640193260272 140640666684034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13208] ppid=13146 vsize=10846984 memory=624280 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13208/stat : 13208 (java) S 13146 13149 12027 0 -1 1077944384 16 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640113387296 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13209] ppid=13146 vsize=10846984 memory=624280 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13209/stat : 13209 (java) S 13146 13149 12027 0 -1 1077944384 9 13135 0 0 0 0 4 3 20 0 15 0 416275471 11107311616 156070 33554432000 4194304 4196468 140737411105456 140639509406976 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13210] ppid=13146 vsize=10846984 memory=622224 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13210/stat : 13210 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140639202007504 140640666691483 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13211] ppid=13146 vsize=10846984 memory=624280 CPUtime=4.1 cores=0,2,4,6
/proc/13149/task/13211/stat : 13211 (java) S 13146 13149 12027 0 -1 1077944384 31760 13135 0 0 399 4 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640192207088 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13212] ppid=13146 vsize=10846984 memory=6791534058613427641 CPUtime=4.11 cores=0,2,4,6
/proc/13149/task/13212/stat : 13212 (java) S 13146 13149 12027 0 -1 1077944384 31486 13135 0 0 399 5 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640191154544 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13213] ppid=13146 vsize=10846984 memory=10604 CPUtime=1.93 cores=0,2,4,6
/proc/13149/task/13213/stat : 13213 (java) S 13146 13149 12027 0 -1 1077944384 26935 13135 0 0 182 4 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640190101488 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13214] ppid=13146 vsize=10846984 memory=622196 CPUtime=0.07 cores=0,2,4,6
/proc/13149/task/13214/stat : 13214 (java) S 13146 13149 12027 0 -1 1077944384 3 13135 0 0 0 0 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140639168448864 140640666683093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
[pid=13149/tid=13215] ppid=13146 vsize=10846984 memory=3620 CPUtime=1.48 cores=0,2,4,6
/proc/13149/task/13215/stat : 13215 (java) S 13146 13149 12027 0 -1 1077944384 1572 13135 0 0 76 65 4 3 20 0 15 0 416275474 11107311616 156070 33554432000 4194304 4196468 140737411105456 140640189049904 140640666684034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7782400 140737411111663 140737411114181 140737411114181 140737411117007 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 624280 KiB
Child status: 143
Real time (s): 2487.53
CPU time (s): 2520.15
CPU user time (s): 2517.5
CPU system time (s): 2.64418
CPU usage (%): 101.311
Max. virtual memory (cumulated for all children) (KiB): 10849604
Max. memory (cumulated for all children) (KiB): 624280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.5
system time used= 2.64418
maximum resident set size= 628516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218419
involuntary context switches= 14058
# summary of solver processes directly reported to runsolver:
# pid: 13149
# total CPU time (s): 2520.15
# total CPU user time (s): 2517.5
# total CPU system time (s): 2.64418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5222 second user time and 24.4916 second system time
The end