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 (9602 MiB free)
memory of node 1: 16384 MiB (13015 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293821-1532374281/watcher-4293821-1532374281 -o /tmp/evaluation-result-4293821-1532374281/solver-4293821-1532374281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=346875595 HOME/instance-4293821-1532374281.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
Current StackSize limit: 8192 KiB
solver pid=15760, runsolver pid=15757
[startup+0.100089 s]*
/proc/loadavg: 1.53 1.33 1.49 3/207 15817
/proc/meminfo: memFree=23154064/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=9972712 memory=15440 CPUtime=0.09 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 4505 12877 0 0 1 0 5 3 20 0 6 0 54991268 10212057088 3860 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2493178 3860 1957 1 0 2481616 0
[pid=15760/tid=15813] ppid=15757 vsize=9988792 memory=4279135703913103756 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 2345 12877 0 0 1 0 5 3 20 0 6 0 54991277 10228523008 3860 33554432000 4194304 4196468 140730332001920 139694655902288 139694665188576 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=9988792 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 6 0 54991277 10228523008 3860 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=9988792 memory=139637052184192 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 6 0 54991278 10228523008 3860 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 6 0 54991278 10228523008 3860 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=9988792 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 6 0 54991278 10228523008 3860 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15440 KiB
[startup+0.209876 s]*
/proc/loadavg: 1.53 1.33 1.49 3/216 15826
/proc/meminfo: memFree=23134456/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=10821524 memory=43016 CPUtime=0.26 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 8406 12877 0 0 17 1 5 3 20 0 15 0 54991268 11081240576 10688 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2705381 10754 2984 1 0 2667804 0
[pid=15760/tid=15813] ppid=15757 vsize=10821524 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 5161 12877 0 0 11 0 5 3 20 0 15 0 54991277 11081240576 11018 33554432000 4194304 4196468 140730332001920 139694655890336 139694676745245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10821524 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991277 11081240576 11018 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10821524 memory=139637052184192 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991278 11081240576 11018 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991278 11081240576 11018 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 54991278 11081240576 11084 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10821524 memory=139637052184192 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 54991279 11081240576 11084 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 13 12877 0 0 0 0 5 3 20 0 15 0 54991279 11081240576 11084 33554432000 4194304 4196468 140730332001920 139693609968672 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11081240576 11084 33554432000 4194304 4196468 140730332001920 139693475750768 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11081240576 10989 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10821524 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 562 12877 0 0 1 0 5 3 20 0 15 0 54991282 11081240576 10726 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10821524 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 74 12877 0 0 1 0 5 3 20 0 15 0 54991282 11081240576 10726 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10819896 memory=139637052184192 CPUtime=0.11 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) S 15757 15760 15121 0 -1 1077944384 673 12877 0 0 3 0 5 3 20 0 15 0 54991282 11079573504 10726 33554432000 4194304 4196468 140730332001920 139693683341936 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10819896 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11079573504 10486 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10818904 memory=139637052184192 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991283 11078557696 10478 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 43016 KiB
[startup+0.310425 s]*
/proc/loadavg: 1.53 1.33 1.49 3/216 15826
/proc/meminfo: memFree=23121680/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=10819352 memory=52388 CPUtime=0.39 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 10675 12877 0 0 29 2 5 3 20 0 15 0 54991268 11079016448 13097 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2704838 13097 3103 1 0 2667149 0
[pid=15760/tid=15813] ppid=15757 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 7117 12877 0 0 20 1 5 3 20 0 15 0 54991277 11079016448 13097 33554432000 4194304 4196468 140730332001920 139694655877536 139694668146014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10819352 memory=7300986251812819024 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991277 11079016448 13097 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10819352 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991278 11079016448 13097 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991278 11079016448 13097 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 54991278 11079016448 13097 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 54991279 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 13 12877 0 0 0 0 5 3 20 0 15 0 54991279 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693609968672 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693475750768 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 568 12877 0 0 1 0 5 3 20 0 15 0 54991282 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 76 12877 0 0 1 0 5 3 20 0 15 0 54991282 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) R 15757 15760 15121 0 -1 4202560 701 12877 0 0 4 0 5 3 20 0 15 0 54991282 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693683341936 139694663457924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991283 11079016448 13097 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52388 KiB
[startup+0.700734 s]
/proc/loadavg: 1.53 1.33 1.49 4/216 15826
/proc/meminfo: memFree=23110640/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=10819352 memory=85832 CPUtime=1 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 17111 12877 0 0 89 3 5 3 20 0 15 0 54991268 11079016448 21458 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2704838 21458 3237 1 0 2667149 0
[pid=15760/tid=15813] ppid=15757 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 12341 12877 0 0 57 2 5 3 20 0 15 0 54991277 11079016448 21458 33554432000 4194304 4196468 140730332001920 139694655886352 139694665629083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991277 11079016448 21458 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10819352 memory=4136 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991278 11079016448 21458 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991278 11079016448 21458 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 2 12877 0 0 0 0 5 3 20 0 15 0 54991278 11079016448 21458 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10819352 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 5 12877 0 0 0 0 5 3 20 0 15 0 54991279 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10819352 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 13 12877 0 0 0 0 5 3 20 0 15 0 54991279 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693609968672 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10819352 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693475750768 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10819352 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10819352 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 1145 12877 0 0 9 0 5 3 20 0 15 0 54991282 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10819352 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 493 12877 0 0 7 0 5 3 20 0 15 0 54991282 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10819352 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) S 15757 15760 15121 0 -1 1077944384 908 12877 0 0 13 0 5 3 20 0 15 0 54991282 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693683341936 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10819352 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10819352 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991283 11079016448 21458 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85832 KiB
[startup+1.50077 s]
/proc/loadavg: 1.53 1.33 1.49 3/216 15826
/proc/meminfo: memFree=23066604/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=10834252 memory=178424 CPUtime=2.29 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 24288 12877 0 0 212 9 5 3 20 0 15 0 54991268 11094274048 44606 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2708563 44606 3465 1 0 2670221 0
[pid=15760/tid=15813] ppid=15757 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 17884 12877 0 0 130 5 5 3 20 0 15 0 54991277 11094274048 44606 33554432000 4194304 4196468 140730332001920 139694655896912 139694668109157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 28 12877 0 0 1 0 5 3 20 0 15 0 54991277 11094274048 44606 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 52 12877 0 0 1 0 5 3 20 0 15 0 54991278 11094274048 44606 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 192 12877 0 0 1 0 5 3 20 0 15 0 54991278 11094274048 44606 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 41 12877 0 0 1 0 5 3 20 0 15 0 54991278 11094274048 44606 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10834252 memory=1399103955520229747 CPUtime=0.09 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 69 12877 0 0 1 0 5 3 20 0 15 0 54991279 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10834252 memory=279273806047488 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 14 12877 0 0 0 0 5 3 20 0 15 0 54991279 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693609968736 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693475750784 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10834252 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10834252 memory=1704 CPUtime=0.3 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 1599 12877 0 0 22 0 5 3 20 0 15 0 54991282 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10834252 memory=9924 CPUtime=0.27 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 702 12877 0 0 19 0 5 3 20 0 15 0 54991282 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10834252 memory=5788 CPUtime=0.4 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) S 15757 15760 15121 0 -1 1077944384 1506 12877 0 0 32 0 5 3 20 0 15 0 54991282 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693683341936 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10834252 memory=1936 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10834252 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991283 11094274048 44606 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 94456 12877 0 0 235566 52 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694655901168 139694298942782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10916192 memory=1408 CPUtime=12.13 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 9192 12877 0 0 1151 54 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.15 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 8228 12877 0 0 1147 60 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.13 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 13010 12877 0 0 1146 59 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.11 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 12307 12877 0 0 1143 60 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10916192 memory=929732 CPUtime=11.22 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 12263 12877 0 0 1055 59 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 15 12877 0 0 0 0 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693609968736 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693475750784 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10916192 memory=929732 CPUtime=6.3 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 24820 12877 0 0 617 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10916192 memory=929732 CPUtime=7.36 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 32393 12877 0 0 723 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10916192 memory=929732 CPUtime=3.15 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) S 15757 15760 15121 0 -1 1077944384 27444 12877 0 0 301 6 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693683341936 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10916192 memory=279273807662048 CPUtime=1.51 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1041 12877 0 0 61 82 5 3 20 0 15 0 54991283 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 2433.73 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 929732 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.52 1.44 3/216 16051
/proc/meminfo: memFree=22691472/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=10916192 memory=929732 CPUtime=2494.64 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 238427 12877 0 0 249076 380 5 3 20 0 15 0 54991268 11178180608 232433 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2729048 232433 3525 1 0 2690701 0
[pid=15760/tid=15813] ppid=15757 vsize=10916192 memory=929732 CPUtime=2415.56 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 95054 12877 0 0 241495 53 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694655900688 139694287950686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.45 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 9202 12877 0 0 1182 55 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.47 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 8553 12877 0 0 1177 62 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.46 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 13021 12877 0 0 1177 61 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.44 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 12370 12877 0 0 1174 62 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10916192 memory=929732 CPUtime=11.51 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 12302 12877 0 0 1082 61 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 15 12877 0 0 0 0 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693609968736 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693475750784 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10916192 memory=796 CPUtime=6.3 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 24822 12877 0 0 617 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10916192 memory=929732 CPUtime=7.36 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 32395 12877 0 0 723 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10916192 memory=1936 CPUtime=3.15 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) S 15757 15760 15121 0 -1 1077944384 27446 12877 0 0 301 6 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693683341936 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10916192 memory=929732 CPUtime=1.55 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1047 12877 0 0 63 84 5 3 20 0 15 0 54991283 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 2494.64 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 929732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.3 s]
/proc/loadavg: 1.58 1.51 1.44 3/216 16052
/proc/meminfo: memFree=22694456/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=10916192 memory=929732 CPUtime=2520.03 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 239026 12877 0 0 251611 384 5 3 20 0 15 0 54991268 11178180608 232433 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2729048 232433 3525 1 0 2690701 0
[pid=15760/tid=15813] ppid=15757 vsize=10916192 memory=929732 CPUtime=2440.28 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 95387 12877 0 0 243967 53 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694655900160 139694298946139 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.59 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 9212 12877 0 0 1195 56 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10916192 memory=0 CPUtime=12.61 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 8613 12877 0 0 1190 63 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.59 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 13026 12877 0 0 1189 62 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.57 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 12378 12877 0 0 1187 62 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10916192 memory=929732 CPUtime=11.64 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 12474 12877 0 0 1094 62 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 15 12877 0 0 0 0 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693609968736 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693475750784 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10916192 memory=929732 CPUtime=6.3 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 24822 12877 0 0 617 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10916192 memory=929732 CPUtime=7.36 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 32395 12877 0 0 723 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10916192 memory=17676 CPUtime=3.15 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) S 15757 15760 15121 0 -1 1077944384 27446 12877 0 0 301 6 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693683341936 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10916192 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10916192 memory=4126316290023845779 CPUtime=1.56 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1058 12877 0 0 64 84 5 3 20 0 15 0 54991283 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 929732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.33 s]
# the end of solver process 15760 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.19 s, system=3.88684 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.3 s]
/proc/loadavg: 1.58 1.51 1.44 3/216 16052
/proc/meminfo: memFree=22694456/32770624 swapFree=67108860/67108860
[pid=15760] ppid=15757 vsize=10916192 memory=929732 CPUtime=2520.03 cores=1,3,5,7
/proc/15760/stat : 15760 (java) S 15757 15760 15121 0 -1 1077944320 239026 12877 0 0 251611 384 5 3 20 0 15 0 54991268 11178180608 232433 33554432000 4194304 4196468 140730332001920 140730331984464 139694684065527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
/proc/15760/statm: 2729048 232433 3525 1 0 2690701 0
[pid=15760/tid=15813] ppid=15757 vsize=10916192 memory=929732 CPUtime=2440.28 cores=1,3,5,7
/proc/15760/task/15813/stat : 15813 (java) R 15757 15760 15121 0 -1 4202560 95387 12877 0 0 243967 53 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694655900160 139694298946139 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15814] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.59 cores=1,3,5,7
/proc/15760/task/15814/stat : 15814 (java) S 15757 15760 15121 0 -1 1077944384 9212 12877 0 0 1195 56 5 3 20 0 15 0 54991277 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694688308368 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15815] ppid=15757 vsize=10916192 memory=0 CPUtime=12.61 cores=1,3,5,7
/proc/15760/task/15815/stat : 15815 (java) S 15757 15760 15121 0 -1 1077944384 8613 12877 0 0 1190 63 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694618065936 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15816] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.59 cores=1,3,5,7
/proc/15760/task/15816/stat : 15816 (java) S 15757 15760 15121 0 -1 1077944384 13026 12877 0 0 1189 62 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694256352144 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15817] ppid=15757 vsize=10916192 memory=929732 CPUtime=12.57 cores=1,3,5,7
/proc/15760/task/15817/stat : 15817 (java) S 15757 15760 15121 0 -1 1077944384 12378 12877 0 0 1187 62 5 3 20 0 15 0 54991278 11178180608 232433 33554432000 4194304 4196468 140730332001920 139694255299344 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15818] ppid=15757 vsize=10916192 memory=929732 CPUtime=11.64 cores=1,3,5,7
/proc/15760/task/15818/stat : 15818 (java) S 15757 15760 15121 0 -1 1077944384 12474 12877 0 0 1094 62 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693686499696 139694684076674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15819] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15819/stat : 15819 (java) S 15757 15760 15121 0 -1 1077944384 15 12877 0 0 0 0 5 3 20 0 15 0 54991279 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693609968736 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15820] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15820/stat : 15820 (java) S 15757 15760 15121 0 -1 1077944384 1 12877 0 0 0 0 5 3 20 0 15 0 54991280 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693475750784 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15821] ppid=15757 vsize=10916192 memory=929732 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15821/stat : 15821 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693235459920 139694684084123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15822] ppid=15757 vsize=10916192 memory=929732 CPUtime=6.3 cores=1,3,5,7
/proc/15760/task/15822/stat : 15822 (java) S 15757 15760 15121 0 -1 1077944384 24822 12877 0 0 617 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693685447536 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15823] ppid=15757 vsize=10916192 memory=929732 CPUtime=7.36 cores=1,3,5,7
/proc/15760/task/15823/stat : 15823 (java) S 15757 15760 15121 0 -1 1077944384 32395 12877 0 0 723 5 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693684394736 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15824] ppid=15757 vsize=10916192 memory=17676 CPUtime=3.15 cores=1,3,5,7
/proc/15760/task/15824/stat : 15824 (java) S 15757 15760 15121 0 -1 1077944384 27446 12877 0 0 301 6 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693683341936 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15825] ppid=15757 vsize=10916192 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/15760/task/15825/stat : 15825 (java) S 15757 15760 15121 0 -1 1077944384 3 12877 0 0 0 0 5 3 20 0 15 0 54991282 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693201902304 139694684075733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
[pid=15760/tid=15826] ppid=15757 vsize=10916192 memory=4126316290023845779 CPUtime=1.56 cores=1,3,5,7
/proc/15760/task/15826/stat : 15826 (java) S 15757 15760 15121 0 -1 1077944384 1058 12877 0 0 64 84 5 3 20 0 15 0 54991283 11178180608 232433 33554432000 4194304 4196468 140730332001920 139693682289328 139694684076674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27181056 140730332007023 140730332009820 140730332009820 140730332012495 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 929732 KiB
Child status: 143
Real time (s): 2467.33
CPU time (s): 2520.08
CPU user time (s): 2516.19
CPU system time (s): 3.88684
CPU usage (%): 102.138
Max. virtual memory (cumulated for all children) (KiB): 10918900
Max. memory (cumulated for all children) (KiB): 929732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.19
system time used= 3.88684
maximum resident set size= 933944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 308077
involuntary context switches= 6488
# summary of solver processes directly reported to runsolver:
# pid: 15760
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.19
# total CPU system time (s): 3.88684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5914 second user time and 20.7087 second system time
The end