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 (11071 MiB free)
memory of node 1: 16384 MiB (14418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395798-1568410849/watcher-4395798-1568410849 -o /tmp/evaluation-result-4395798-1568410849/solver-4395798-1568410849 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568410511-11070 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1814819383 HOME/instance-4395798-1568410849.xml
running on 4 cores: 1,3,5,7
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=11455, runsolver pid=11452
Current StackSize limit: 8192 KiB
[startup+0.100731 s]*
/proc/loadavg: 1.51 1.21 1.17 3/219 11512
/proc/meminfo: memFree=26093144/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=9972712 memory=18592 CPUtime=0.1 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 4372 13126 0 0 1 1 5 3 20 0 6 0 416998760 10212057088 4648 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2493178 4648 1935 1 0 2481616 0
[pid=11455/tid=11508] ppid=11452 vsize=9972712 memory=4279135703946986127 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 2176 13126 0 0 1 0 5 3 20 0 6 0 416998769 10212057088 4648 33554432000 4194304 4196468 140723330454832 139884020994640 139884027291482 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 6 0 416998770 10212057088 4648 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=9972712 memory=140124799141504 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 416998770 10212057088 4648 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 416998770 10212057088 4648 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 6 0 416998770 10212057088 4648 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210015 s]*
/proc/loadavg: 1.51 1.21 1.17 3/228 11521
/proc/meminfo: memFree=26075888/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=10819664 memory=42276 CPUtime=0.27 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 6909 13126 0 0 17 2 5 3 20 0 15 0 416998760 11079335936 10057 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2704916 10057 3171 1 0 2667149 0
[pid=11455/tid=11508] ppid=11452 vsize=10819664 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 3398 13126 0 0 10 1 5 3 20 0 15 0 416998769 11079335936 10569 33554432000 4194304 4196468 140723330454832 139884020988928 139884033238366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10819664 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079335936 10569 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10819664 memory=288370500950853248 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079335936 10569 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079335936 10569 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079335936 10569 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10819664 memory=140124799141504 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998771 11079335936 10569 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 416998772 11079335936 10569 33554432000 4194304 4196468 140723330454832 139883507033504 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998772 11079335936 10633 33554432000 4194304 4196468 140723330454832 139882924074480 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11079335936 10633 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 500 13126 0 0 1 0 5 3 20 0 15 0 416998775 11079335936 10633 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) S 11452 11455 11038 0 -1 1077944384 166 13126 0 0 0 0 5 3 20 0 15 0 416998775 11079335936 10633 33554432000 4194304 4196468 140723330454832 139883472423024 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10819664 memory=140124799141504 CPUtime=0.11 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) R 11452 11455 11038 0 -1 4202560 609 13126 0 0 3 0 5 3 20 0 15 0 416998775 11079335936 10633 33554432000 4194304 4196468 140723330454832 139883471370480 139884028294152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11079335936 10633 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10819664 memory=140124799141504 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998775 11079335936 10633 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42276 KiB
[startup+0.310593 s]*
/proc/loadavg: 1.51 1.21 1.17 4/228 11521
/proc/meminfo: memFree=26063228/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=10820148 memory=51344 CPUtime=0.41 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 10602 13126 0 0 29 4 5 3 20 0 15 0 416998760 11079831552 12836 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2705037 12836 3303 1 0 2667149 0
[pid=11455/tid=11508] ppid=11452 vsize=10820148 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 7053 13126 0 0 19 3 5 3 20 0 15 0 416998769 11079831552 12836 33554432000 4194304 4196468 140723330454832 139884020957792 139884049169814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079831552 12836 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998771 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 416998772 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883507033504 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998772 11079831552 12836 33554432000 4194304 4196468 140723330454832 139882924074480 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11079831552 12836 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 509 13126 0 0 2 0 5 3 20 0 15 0 416998775 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) S 11452 11455 11038 0 -1 1077944384 167 13126 0 0 1 0 5 3 20 0 15 0 416998775 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883472423024 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10820148 memory=140124799141504 CPUtime=0.13 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) S 11452 11455 11038 0 -1 1077944384 618 13126 0 0 5 0 5 3 20 0 15 0 416998775 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883471370480 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11079831552 12836 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10820148 memory=140124799141504 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998775 11079831552 12836 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51344 KiB
[startup+0.700816 s]
/proc/loadavg: 1.51 1.21 1.17 3/228 11521
/proc/meminfo: memFree=26048940/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=10824360 memory=83884 CPUtime=1.15 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 14660 13126 0 0 101 6 5 3 20 0 15 0 416998760 11084144640 20971 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2706090 20971 3512 1 0 2668173 0
[pid=11455/tid=11508] ppid=11452 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) D 11452 11455 11038 0 -1 1077944384 9954 13126 0 0 55 4 5 3 20 0 15 0 416998769 11084144640 20971 33554432000 4194304 4196468 140723330454832 139884020985040 139884049181757 0 4 0 16800975 18446744072101617188 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998770 11084144640 20971 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10824360 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 2 13126 0 0 0 0 5 3 20 0 15 0 416998770 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 5 13126 0 0 0 0 5 3 20 0 15 0 416998771 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10824360 memory=140124650353360 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 33 13126 0 0 0 0 5 3 20 0 15 0 416998772 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883507033504 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10824360 memory=140127602999885 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998772 11084144640 20971 33554432000 4194304 4196468 140723330454832 139882924074480 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10824360 memory=1096 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11084144640 20971 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10824360 memory=7089886620845893184 CPUtime=0.24 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 1057 13126 0 0 16 0 5 3 20 0 15 0 416998775 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10824360 memory=7739276948478389095 CPUtime=0.2 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) R 11452 11455 11038 0 -1 4202560 576 13126 0 0 12 0 5 3 20 0 15 0 416998775 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883472423024 139884030349863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10824360 memory=6148935659200796009 CPUtime=0.25 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) S 11452 11455 11038 0 -1 1077944384 814 13126 0 0 17 0 5 3 20 0 15 0 416998775 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883471370480 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10824360 memory=3512 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11084144640 20971 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10824360 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998775 11084144640 20971 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83884 KiB
[startup+1.50074 s]
/proc/loadavg: 1.51 1.21 1.17 5/228 11521
/proc/meminfo: memFree=25991072/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=10832628 memory=215420 CPUtime=3.1 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 24845 13126 0 0 291 11 5 3 20 0 15 0 416998760 11092611072 53855 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2708157 53855 3588 1 0 2670221 0
[pid=11455/tid=11508] ppid=11452 vsize=10832628 memory=9174 CPUtime=1.43 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 14276 13126 0 0 129 6 5 3 20 0 15 0 416998769 11092611072 53855 33554432000 4194304 4196468 140723330454832 139884020975136 139884034596515 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10832628 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 27 13126 0 0 1 0 5 3 20 0 15 0 416998770 11092611072 53855 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10832628 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 44 13126 0 0 2 0 5 3 20 0 15 0 416998770 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10832628 memory=445 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 258 13126 0 0 1 0 5 3 20 0 15 0 416998770 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10832628 memory=83884 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 69 13126 0 0 1 0 5 3 20 0 15 0 416998770 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 100 13126 0 0 1 0 5 3 20 0 15 0 416998771 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10832628 memory=280249300648432 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 34 13126 0 0 0 0 5 3 20 0 15 0 416998772 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883507033568 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10832628 memory=280249300699232 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998772 11092611072 53855 33554432000 4194304 4196468 140723330454832 139882924074496 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10832628 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11092611072 53855 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10832628 memory=6935649255759568960 CPUtime=0.65 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 3044 13126 0 0 57 0 5 3 20 0 15 0 416998775 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10832628 memory=280249300982656 CPUtime=0.61 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) S 11452 11455 11038 0 -1 1077944384 2654 13126 0 0 53 0 5 3 20 0 15 0 416998775 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883472423024 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10832628 memory=6944656425123290226 CPUtime=0.49 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) S 11452 11455 11038 0 -1 1077944384 2125 13126 0 0 41 0 5 3 20 0 15 0 416998775 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883471370480 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10832628 memory=-7233780906022716832 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11092611072 53855 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10832628 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 1 13126 0 0 0 0 5 3 20 0 15 0 416998775 11092611072 53855 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 107374 13126 0 0 236223 63 5 3 20 0 15 0 416998769 11107311616 409384 33554432000 4194304 4196468 140723330454832 139884020991968 139883623197910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10846984 memory=1641640 CPUtime=11.92 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 29761 13126 0 0 1142 42 5 3 20 0 15 0 416998770 11107311616 409384 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10846984 memory=6791534058613427641 CPUtime=11.93 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 39228 13126 0 0 1143 42 5 3 20 0 15 0 416998770 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10846984 memory=1645744 CPUtime=11.9 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 37994 13126 0 0 1143 39 5 3 20 0 15 0 416998770 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10846984 memory=1647284 CPUtime=11.86 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 32157 13126 0 0 1135 43 5 3 20 0 15 0 416998770 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10846984 memory=1647284 CPUtime=5.77 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 28068 13126 0 0 525 44 5 3 20 0 15 0 416998771 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10846984 memory=1647284 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 46 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883507033632 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10846984 memory=1641640 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 11 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 409384 33554432000 4194304 4196468 140723330454832 139882924074496 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10846984 memory=1639588 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 409384 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10846984 memory=1647284 CPUtime=11.19 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 48781 13126 0 0 1106 5 5 3 20 0 15 0 416998775 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10846984 memory=1638048 CPUtime=11.12 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) S 11452 11455 11038 0 -1 1077944384 54928 13126 0 0 1098 6 5 3 20 0 15 0 416998775 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883472423024 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10846984 memory=1638048 CPUtime=2.91 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) S 11452 11455 11038 0 -1 1077944384 30427 13126 0 0 277 6 5 3 20 0 15 0 416998775 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883471370480 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10846984 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 409384 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10846984 memory=3512 CPUtime=1.44 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 2883 13126 0 0 56 80 5 3 20 0 15 0 416998775 11107311616 409384 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 2442.36 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1637536 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.40 1.37 3/228 11915
/proc/meminfo: memFree=24881840/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=10846984 memory=1603196 CPUtime=2503.55 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 417004 13126 0 0 250008 339 5 3 20 0 15 0 416998760 11107311616 400799 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2711746 400799 3641 1 0 2673805 0
[pid=11455/tid=11508] ppid=11452 vsize=10846984 memory=1624732 CPUtime=2422.33 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 108477 13126 0 0 242161 64 5 3 20 0 15 0 416998769 11107311616 400799 33554432000 4194304 4196468 140723330454832 139884020992992 139883615256583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10846984 memory=1620628 CPUtime=12.32 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 29902 13126 0 0 1181 43 5 3 20 0 15 0 416998770 11107311616 400799 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10846984 memory=1618576 CPUtime=12.33 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 39734 13126 0 0 1183 42 5 3 20 0 15 0 416998770 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10846984 memory=1619088 CPUtime=12.31 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 38475 13126 0 0 1183 40 5 3 20 0 15 0 416998770 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10846984 memory=1614984 CPUtime=12.25 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 32618 13126 0 0 1174 43 5 3 20 0 15 0 416998770 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10846984 memory=1607816 CPUtime=5.93 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 28465 13126 0 0 540 45 5 3 20 0 15 0 416998771 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10846984 memory=1607816 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 46 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883507033632 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10846984 memory=1603196 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 11 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 400799 33554432000 4194304 4196468 140723330454832 139882924074496 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10846984 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 400799 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10846984 memory=1716 CPUtime=11.19 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 48785 13126 0 0 1106 5 5 3 20 0 15 0 416998775 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10846984 memory=6791534058613427641 CPUtime=11.12 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) S 11452 11455 11038 0 -1 1077944384 54932 13126 0 0 1098 6 5 3 20 0 15 0 416998775 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883472423024 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10846984 memory=988 CPUtime=2.91 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) S 11452 11455 11038 0 -1 1077944384 30431 13126 0 0 277 6 5 3 20 0 15 0 416998775 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883471370480 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10846984 memory=1368 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 400799 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10846984 memory=1603196 CPUtime=1.47 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 2916 13126 0 0 58 81 5 3 20 0 15 0 416998775 11107311616 400799 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 2503.55 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1603196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2458.5 s]
/proc/loadavg: 1.47 1.40 1.36 3/228 11915
/proc/meminfo: memFree=24896816/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=10846984 memory=1588332 CPUtime=2520.07 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 417806 13126 0 0 251660 339 5 3 20 0 15 0 416998760 11107311616 397083 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2711746 397083 3641 1 0 2673805 0
[pid=11455/tid=11508] ppid=11452 vsize=10846984 memory=1588844 CPUtime=2438.36 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 108843 13126 0 0 243764 64 5 3 20 0 15 0 416998769 11107311616 397083 33554432000 4194304 4196468 140723330454832 139884020992160 139883620989056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10846984 memory=0 CPUtime=12.43 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 29971 13126 0 0 1192 43 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10846984 memory=1589872 CPUtime=12.44 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 39945 13126 0 0 1193 43 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10846984 memory=1590384 CPUtime=12.42 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 38542 13126 0 0 1194 40 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10846984 memory=1592424 CPUtime=12.36 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 32680 13126 0 0 1185 43 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10846984 memory=1590896 CPUtime=5.97 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 28490 13126 0 0 544 45 5 3 20 0 15 0 416998771 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10846984 memory=1677528 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 46 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883507033632 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10846984 memory=1589360 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 11 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 397083 33554432000 4194304 4196468 140723330454832 139882924074496 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10846984 memory=1588332 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10846984 memory=6628 CPUtime=11.19 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 48785 13126 0 0 1106 5 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10846984 memory=164 CPUtime=11.12 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) S 11452 11455 11038 0 -1 1077944384 54932 13126 0 0 1098 6 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883472423024 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10846984 memory=40452 CPUtime=2.91 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) S 11452 11455 11038 0 -1 1077944384 30431 13126 0 0 277 6 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883471370480 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10846984 memory=1647284 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10846984 memory=6935649255759568960 CPUtime=1.48 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 2918 13126 0 0 58 82 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1588332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2458.58 s]
# the end of solver process 11455 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.73 s, system=3.44422 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2458.5 s]
/proc/loadavg: 1.47 1.40 1.36 3/228 11915
/proc/meminfo: memFree=24896816/32770624 swapFree=66957012/67108860
[pid=11455] ppid=11452 vsize=10846984 memory=1588332 CPUtime=2520.07 cores=1,3,5,7
/proc/11455/stat : 11455 (java) S 11452 11455 11038 0 -1 1077944320 417806 13126 0 0 251660 339 5 3 20 0 15 0 416998760 11107311616 397083 33554432000 4194304 4196468 140723330454832 140723330437376 139884049157879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
/proc/11455/statm: 2711746 397083 3641 1 0 2673805 0
[pid=11455/tid=11508] ppid=11452 vsize=10846984 memory=1588844 CPUtime=2438.36 cores=1,3,5,7
/proc/11455/task/11508/stat : 11508 (java) R 11452 11455 11038 0 -1 4202560 108843 13126 0 0 243764 64 5 3 20 0 15 0 416998769 11107311616 397083 33554432000 4194304 4196468 140723330454832 139884020992160 139883620989056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11509] ppid=11452 vsize=10846984 memory=0 CPUtime=12.43 cores=1,3,5,7
/proc/11455/task/11509/stat : 11509 (java) S 11452 11455 11038 0 -1 1077944384 29971 13126 0 0 1192 43 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139884053399824 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11510] ppid=11452 vsize=10846984 memory=1589872 CPUtime=12.44 cores=1,3,5,7
/proc/11455/task/11510/stat : 11510 (java) S 11452 11455 11038 0 -1 1077944384 39945 13126 0 0 1193 43 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883941673360 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11511] ppid=11452 vsize=10846984 memory=1590384 CPUtime=12.42 cores=1,3,5,7
/proc/11455/task/11511/stat : 11511 (java) S 11452 11455 11038 0 -1 1077944384 38542 13126 0 0 1194 40 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883940620816 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11512] ppid=11452 vsize=10846984 memory=1592424 CPUtime=12.36 cores=1,3,5,7
/proc/11455/task/11512/stat : 11512 (java) S 11452 11455 11038 0 -1 1077944384 32680 13126 0 0 1185 43 5 3 20 0 15 0 416998770 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883939568272 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11513] ppid=11452 vsize=10846984 memory=1590896 CPUtime=5.97 cores=1,3,5,7
/proc/11455/task/11513/stat : 11513 (java) S 11452 11455 11038 0 -1 1077944384 28490 13126 0 0 544 45 5 3 20 0 15 0 416998771 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883508087280 139884049169026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11514] ppid=11452 vsize=10846984 memory=1677528 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11514/stat : 11514 (java) S 11452 11455 11038 0 -1 1077944384 46 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883507033632 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11515] ppid=11452 vsize=10846984 memory=1589360 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11515/stat : 11515 (java) S 11452 11455 11038 0 -1 1077944384 11 13126 0 0 0 0 5 3 20 0 15 0 416998772 11107311616 397083 33554432000 4194304 4196468 140723330454832 139882924074496 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11516] ppid=11452 vsize=10846984 memory=1588332 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11516/stat : 11516 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139882616675024 139884049176475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11517] ppid=11452 vsize=10846984 memory=6628 CPUtime=11.19 cores=1,3,5,7
/proc/11455/task/11517/stat : 11517 (java) S 11452 11455 11038 0 -1 1077944384 48785 13126 0 0 1106 5 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883473475568 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11518] ppid=11452 vsize=10846984 memory=164 CPUtime=11.12 cores=1,3,5,7
/proc/11455/task/11518/stat : 11518 (java) S 11452 11455 11038 0 -1 1077944384 54932 13126 0 0 1098 6 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883472423024 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11519] ppid=11452 vsize=10846984 memory=40452 CPUtime=2.91 cores=1,3,5,7
/proc/11455/task/11519/stat : 11519 (java) S 11452 11455 11038 0 -1 1077944384 30431 13126 0 0 277 6 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883471370480 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11520] ppid=11452 vsize=10846984 memory=1647284 CPUtime=0.08 cores=1,3,5,7
/proc/11455/task/11520/stat : 11520 (java) S 11452 11455 11038 0 -1 1077944384 3 13126 0 0 0 0 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139882583116384 139884049168085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
[pid=11455/tid=11521] ppid=11452 vsize=10846984 memory=6935649255759568960 CPUtime=1.48 cores=1,3,5,7
/proc/11455/task/11521/stat : 11521 (java) S 11452 11455 11038 0 -1 1077944384 2918 13126 0 0 58 82 5 3 20 0 15 0 416998775 11107311616 397083 33554432000 4194304 4196468 140723330454832 139883470318384 139884049169026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7208960 140723330456303 140723330458821 140723330458821 140723330461647 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1588332 KiB
Child status: 143
Real time (s): 2458.58
CPU time (s): 2520.17
CPU user time (s): 2516.73
CPU system time (s): 3.44422
CPU usage (%): 102.505
Max. virtual memory (cumulated for all children) (KiB): 10846984
Max. memory (cumulated for all children) (KiB): 2532524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.73
system time used= 3.44422
maximum resident set size= 2534540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431990
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= 179090
involuntary context switches= 4956
# summary of solver processes directly reported to runsolver:
# pid: 11455
# total CPU time (s): 2520.17
# total CPU user time (s): 2516.73
# total CPU system time (s): 3.44422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2917 second user time and 21.1553 second system time
The end