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 (5910 MiB free)
memory of node 1: 16384 MiB (13308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295147-1532522449/watcher-4295147-1532522449 -o /tmp/evaluation-result-4295147-1532522449/solver-4295147-1532522449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=148868761 -superng HOME/instance-4295147-1532522449.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=9566, runsolver pid=9563
Current StackSize limit: 8192 KiB
[startup+0.102336 s]*
/proc/loadavg: 1.38 1.26 1.35 2/210 9623
/proc/meminfo: memFree=19669136/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=9972712 memory=18328 CPUtime=0.1 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 4253 13113 0 0 1 1 5 3 20 0 6 0 69808060 10212057088 4582 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2493178 4582 1930 1 0 2481616 0
[pid=9566/tid=9619] ppid=9563 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 2064 13113 0 0 0 0 5 3 20 0 6 0 69808069 10212057088 4648 33554432000 4194304 4196468 140723925715456 139653367476816 139653381322581 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=9972712 memory=5793855757976414649 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 6 0 69808070 10212057088 4648 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=9972712 memory=140506966521472 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 6 0 69808070 10212057088 4648 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 6 0 69808070 10212057088 4648 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 6 0 69808070 10212057088 4648 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.212429 s]*
/proc/loadavg: 1.38 1.26 1.35 3/219 9632
/proc/meminfo: memFree=19652372/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=10821524 memory=44444 CPUtime=0.26 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 8294 13113 0 0 16 2 5 3 20 0 15 0 69808060 11081240576 11045 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2705381 11111 2966 1 0 2667804 0
[pid=9566/tid=9619] ppid=9563 vsize=10818936 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 5246 13113 0 0 10 1 5 3 20 0 15 0 69808069 11078590464 10765 33554432000 4194304 4196468 140723925715456 139653367464864 139653388319773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10818936 memory=4211974233171312010 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808070 11078590464 10765 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10818936 memory=140506966521472 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808070 11078590464 10765 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808070 11078590464 10831 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808070 11078590464 10831 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10818936 memory=140506966521472 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808071 11078590464 10831 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 33 13113 0 0 0 0 5 3 20 0 15 0 69808072 11078590464 10831 33554432000 4194304 4196468 140723925715456 139652853867808 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808072 11078590464 10897 33554432000 4194304 4196468 140723925715456 139652270909040 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11078590464 10897 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10818936 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) S 9563 9566 4192 0 -1 1077944384 500 13113 0 0 1 0 5 3 20 0 15 0 69808075 11078590464 10963 33554432000 4194304 4196468 140723925715456 139652820310128 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10818936 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 87 13113 0 0 1 0 5 3 20 0 15 0 69808075 11078590464 10963 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10818936 memory=140506966521472 CPUtime=0.11 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 548 13113 0 0 3 0 5 3 20 0 15 0 69808075 11078590464 10963 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11078590464 11029 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10818936 memory=140506966521472 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808075 11078590464 11029 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44444 KiB
[startup+0.310603 s]*
/proc/loadavg: 1.38 1.26 1.35 3/219 9632
/proc/meminfo: memFree=19641208/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=10819352 memory=52996 CPUtime=0.39 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 10311 13113 0 0 28 3 5 3 20 0 15 0 69808060 11079016448 13249 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2704838 13249 3085 1 0 2667149 0
[pid=9566/tid=9619] ppid=9563 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 6937 13113 0 0 19 2 5 3 20 0 15 0 69808069 11079016448 13249 33554432000 4194304 4196468 140723925715456 139653367452064 139653395661981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 13249 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 13249 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 13249 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 13249 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10819352 memory=140506966521471 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808071 11079016448 13249 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 33 13113 0 0 0 0 5 3 20 0 15 0 69808072 11079016448 13249 33554432000 4194304 4196468 140723925715456 139652853867808 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10819352 memory=140506966521472 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808072 11079016448 13249 33554432000 4194304 4196468 140723925715456 139652270909040 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11079016448 13249 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) R 9563 9566 4192 0 -1 4202560 500 13113 0 0 1 0 5 3 20 0 15 0 69808075 11079016448 13249 33554432000 4194304 4196468 140723925715456 139652820310128 139653380529470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 88 13113 0 0 1 0 5 3 20 0 15 0 69808075 11079016448 13249 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 553 13113 0 0 4 0 5 3 20 0 15 0 69808075 11079016448 13249 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11079016448 13249 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808075 11079016448 13249 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52996 KiB
[startup+0.700754 s]
/proc/loadavg: 1.38 1.26 1.35 3/219 9632
/proc/meminfo: memFree=19629796/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=10819352 memory=85004 CPUtime=0.99 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 16423 13113 0 0 87 4 5 3 20 0 15 0 69808060 11079016448 21251 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2704838 21251 3236 1 0 2667149 0
[pid=9566/tid=9619] ppid=9563 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 12019 13113 0 0 55 3 5 3 20 0 15 0 69808069 11079016448 21251 33554432000 4194304 4196468 140723925715456 139653367460880 139653375915883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 21251 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 21251 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10819352 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 21251 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808070 11079016448 21251 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 5 13113 0 0 0 0 5 3 20 0 15 0 69808071 11079016448 21251 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10819352 memory=140506835199216 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 33 13113 0 0 0 0 5 3 20 0 15 0 69808072 11079016448 21251 33554432000 4194304 4196468 140723925715456 139652853867808 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808072 11079016448 21251 33554432000 4194304 4196468 140723925715456 139652270909040 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11079016448 21251 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10819352 memory=6944656575208382560 CPUtime=0.16 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) S 9563 9566 4192 0 -1 1077944384 905 13113 0 0 8 0 5 3 20 0 15 0 69808075 11079016448 21251 33554432000 4194304 4196468 140723925715456 139652820310128 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10819352 memory=6656426216303648864 CPUtime=0.17 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 653 13113 0 0 9 0 5 3 20 0 15 0 69808075 11079016448 21251 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 602 13113 0 0 12 0 5 3 20 0 15 0 69808075 11079016448 21251 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10819352 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11079016448 21251 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808075 11079016448 21251 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85004 KiB
[startup+1.50149 s]
/proc/loadavg: 1.38 1.26 1.35 5/219 9632
/proc/meminfo: memFree=19584396/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=10834252 memory=174964 CPUtime=2.29 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 24021 13113 0 0 210 11 5 3 20 0 15 0 69808060 11094274048 43741 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2708563 43741 3469 1 0 2670221 0
[pid=9566/tid=9619] ppid=9563 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 17508 13113 0 0 129 6 5 3 20 0 15 0 69808069 11094274048 43741 33554432000 4194304 4196468 140723925715456 139653367449248 139653381320240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10834252 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 24 13113 0 0 0 0 5 3 20 0 15 0 69808070 11094274048 43741 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10834252 memory=21132 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 18 13113 0 0 0 0 5 3 20 0 15 0 69808070 11094274048 43741 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10834252 memory=1292 CPUtime=0.09 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 71 13113 0 0 1 0 5 3 20 0 15 0 69808070 11094274048 43741 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10834252 memory=99004 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 197 13113 0 0 0 0 5 3 20 0 15 0 69808070 11094274048 43741 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 387 13113 0 0 1 0 5 3 20 0 15 0 69808071 11094274048 43741 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 33 13113 0 0 0 0 5 3 20 0 15 0 69808072 11094274048 43741 33554432000 4194304 4196468 140723925715456 139652853867872 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808072 11094274048 43741 33554432000 4194304 4196468 140723925715456 139652270909056 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11094274048 43741 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10834252 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) S 9563 9566 4192 0 -1 1077944384 1065 13113 0 0 17 0 5 3 20 0 15 0 69808075 11094274048 43741 33554432000 4194304 4196468 140723925715456 139652820310128 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10834252 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 1112 13113 0 0 23 0 5 3 20 0 15 0 69808075 11094274048 43741 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10834252 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 1406 13113 0 0 33 1 5 3 20 0 15 0 69808075 11094274048 43741 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10834252 memory=288230596050944315 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11094274048 43741 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10834252 memory=16100360058046859 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1 13113 0 0 0 0 5 3 20 0 15 0 69808075 11094274048 43741 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 89005 13113 0 0 236326 43 5 3 20 0 15 0 69808069 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653367475104 139652977412922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10916192 memory=1051304 CPUtime=8.72 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 15945 13113 0 0 824 40 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10916192 memory=0 CPUtime=8.73 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 13254 13113 0 0 822 43 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10916192 memory=1051304 CPUtime=8.73 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 14368 13113 0 0 825 40 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10916192 memory=1051304 CPUtime=8.74 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 15516 13113 0 0 824 42 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10916192 memory=1051304 CPUtime=7.26 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 16226 13113 0 0 682 36 5 3 20 0 15 0 69808071 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10916192 memory=2444 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 37 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652853867936 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652270909056 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10916192 memory=1051304 CPUtime=4.62 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) S 9563 9566 4192 0 -1 1077944384 30145 13113 0 0 450 4 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652820310128 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10916192 memory=1051304 CPUtime=4.65 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 26366 13113 0 0 455 2 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10916192 memory=1051304 CPUtime=2.31 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 28870 13113 0 0 217 6 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10916192 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1280 13113 0 0 57 72 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 2418.31 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1051304 KiB
[startup+2442.3 s]
/proc/loadavg: 1.43 1.46 1.42 3/219 9857
/proc/meminfo: memFree=18731676/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=10916192 memory=1051304 CPUtime=2479.01 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 254987 13113 0 0 247599 294 5 3 20 0 15 0 69808060 11178180608 262826 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2729048 262826 3531 1 0 2690701 0
[pid=9566/tid=9619] ppid=9563 vsize=10916192 memory=1051304 CPUtime=2423.21 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 89691 13113 0 0 242270 43 5 3 20 0 15 0 69808069 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653367474560 139652974100181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10916192 memory=1051304 CPUtime=8.97 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 15988 13113 0 0 848 41 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10916192 memory=1051304 CPUtime=8.99 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 13966 13113 0 0 847 44 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10916192 memory=1051304 CPUtime=8.99 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 14443 13113 0 0 849 42 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10916192 memory=1051304 CPUtime=9 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 15552 13113 0 0 849 43 5 3 20 0 15 0 69808070 11178180608 262826 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10916192 memory=1051304 CPUtime=7.46 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 16427 13113 0 0 700 38 5 3 20 0 15 0 69808071 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 37 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652853867936 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652270909056 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10916192 memory=1051304 CPUtime=4.62 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) S 9563 9566 4192 0 -1 1077944384 30147 13113 0 0 450 4 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652820310128 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10916192 memory=1051304 CPUtime=4.65 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 26368 13113 0 0 455 2 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10916192 memory=1408 CPUtime=2.31 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 28872 13113 0 0 217 6 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10916192 memory=1948 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10916192 memory=1051304 CPUtime=1.41 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1297 13113 0 0 59 74 5 3 20 0 15 0 69808075 11178180608 262826 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 2479.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1051304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2482.9 s]
/proc/loadavg: 1.47 1.45 1.42 3/219 9858
/proc/meminfo: memFree=18729648/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=10916192 memory=1053352 CPUtime=2520.06 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 255813 13113 0 0 251701 297 5 3 20 0 15 0 69808060 11178180608 263338 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2729048 263338 3531 1 0 2690701 0
[pid=9566/tid=9619] ppid=9563 vsize=10916192 memory=1053352 CPUtime=2463.47 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 90121 13113 0 0 246295 44 5 3 20 0 15 0 69808069 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653367474464 139652976413136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10916192 memory=1053352 CPUtime=9.14 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 16081 13113 0 0 864 42 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10916192 memory=1053352 CPUtime=9.15 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 14011 13113 0 0 862 45 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10916192 memory=1051304 CPUtime=9.15 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 14465 13113 0 0 865 42 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10916192 memory=1051304 CPUtime=9.17 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 15567 13113 0 0 865 44 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10916192 memory=1051304 CPUtime=7.59 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 16626 13113 0 0 713 38 5 3 20 0 15 0 69808071 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 37 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652853867936 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10916192 memory=1053352 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652270909056 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10916192 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10916192 memory=21192 CPUtime=4.62 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) S 9563 9566 4192 0 -1 1077944384 30149 13113 0 0 450 4 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652820310128 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10916192 memory=1053352 CPUtime=4.65 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 26370 13113 0 0 455 2 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10916192 memory=1053352 CPUtime=2.31 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 28874 13113 0 0 217 6 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10916192 memory=1053352 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10916192 memory=1053352 CPUtime=1.43 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1313 13113 0 0 60 75 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1053352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.93 s]
# the end of solver process 9566 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.08 s, system=3.01881 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2482.9 s]
/proc/loadavg: 1.47 1.45 1.42 3/219 9858
/proc/meminfo: memFree=18729648/32770624 swapFree=67108860/67108860
[pid=9566] ppid=9563 vsize=10916192 memory=1053352 CPUtime=2520.06 cores=1,3,5,7
/proc/9566/stat : 9566 (java) S 9563 9566 4192 0 -1 1077944320 255813 13113 0 0 251701 297 5 3 20 0 15 0 69808060 11178180608 263338 33554432000 4194304 4196468 140723925715456 140723925698000 139653395640055 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
/proc/9566/statm: 2729048 263338 3531 1 0 2690701 0
[pid=9566/tid=9619] ppid=9563 vsize=10916192 memory=1053352 CPUtime=2463.47 cores=1,3,5,7
/proc/9566/task/9619/stat : 9619 (java) R 9563 9566 4192 0 -1 4202560 90121 13113 0 0 246295 44 5 3 20 0 15 0 69808069 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653367474464 139652976413136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9620] ppid=9563 vsize=10916192 memory=1053352 CPUtime=9.14 cores=1,3,5,7
/proc/9566/task/9620/stat : 9620 (java) S 9563 9566 4192 0 -1 1077944384 16081 13113 0 0 864 42 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653399882128 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9621] ppid=9563 vsize=10916192 memory=1053352 CPUtime=9.15 cores=1,3,5,7
/proc/9566/task/9621/stat : 9621 (java) S 9563 9566 4192 0 -1 1077944384 14011 13113 0 0 862 45 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653288155408 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9622] ppid=9563 vsize=10916192 memory=1051304 CPUtime=9.15 cores=1,3,5,7
/proc/9566/task/9622/stat : 9622 (java) S 9563 9566 4192 0 -1 1077944384 14465 13113 0 0 865 42 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653287103120 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9623] ppid=9563 vsize=10916192 memory=1051304 CPUtime=9.17 cores=1,3,5,7
/proc/9566/task/9623/stat : 9623 (java) S 9563 9566 4192 0 -1 1077944384 15567 13113 0 0 865 44 5 3 20 0 15 0 69808070 11178180608 263338 33554432000 4194304 4196468 140723925715456 139653286050320 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9624] ppid=9563 vsize=10916192 memory=1051304 CPUtime=7.59 cores=1,3,5,7
/proc/9566/task/9624/stat : 9624 (java) S 9563 9566 4192 0 -1 1077944384 16626 13113 0 0 713 38 5 3 20 0 15 0 69808071 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652854921840 139653395651202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9625] ppid=9563 vsize=10916192 memory=1051304 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9625/stat : 9625 (java) S 9563 9566 4192 0 -1 1077944384 37 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652853867936 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9626] ppid=9563 vsize=10916192 memory=1053352 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9626/stat : 9626 (java) S 9563 9566 4192 0 -1 1077944384 2 13113 0 0 0 0 5 3 20 0 15 0 69808072 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652270909056 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9627] ppid=9563 vsize=10916192 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9627/stat : 9627 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139651963509328 139653395658651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9628] ppid=9563 vsize=10916192 memory=21192 CPUtime=4.62 cores=1,3,5,7
/proc/9566/task/9628/stat : 9628 (java) S 9563 9566 4192 0 -1 1077944384 30149 13113 0 0 450 4 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652820310128 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9629] ppid=9563 vsize=10916192 memory=1053352 CPUtime=4.65 cores=1,3,5,7
/proc/9566/task/9629/stat : 9629 (java) S 9563 9566 4192 0 -1 1077944384 26370 13113 0 0 455 2 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652819257328 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9630] ppid=9563 vsize=10916192 memory=1053352 CPUtime=2.31 cores=1,3,5,7
/proc/9566/task/9630/stat : 9630 (java) S 9563 9566 4192 0 -1 1077944384 28874 13113 0 0 217 6 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652818205040 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9631] ppid=9563 vsize=10916192 memory=1053352 CPUtime=0.08 cores=1,3,5,7
/proc/9566/task/9631/stat : 9631 (java) S 9563 9566 4192 0 -1 1077944384 3 13113 0 0 0 0 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139651929950688 139653395650261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
[pid=9566/tid=9632] ppid=9563 vsize=10916192 memory=1053352 CPUtime=1.43 cores=1,3,5,7
/proc/9566/task/9632/stat : 9632 (java) S 9563 9566 4192 0 -1 1077944384 1313 13113 0 0 60 75 5 3 20 0 15 0 69808075 11178180608 263338 33554432000 4194304 4196468 140723925715456 139652817152944 139653395651202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26406912 140723925719212 140723925722460 140723925722460 140723925725135 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1053352 KiB
Child status: 143
Real time (s): 2482.93
CPU time (s): 2520.1
CPU user time (s): 2517.08
CPU system time (s): 3.01881
CPU usage (%): 101.497
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 1246180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.08
system time used= 3.0188
maximum resident set size= 1249736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199571
involuntary context switches= 8456
# summary of solver processes directly reported to runsolver:
# pid: 9566
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.08
# total CPU system time (s): 3.01881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5136 second user time and 24.5544 second system time
The end