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 (993 MiB free)
memory of node 1: 16384 MiB (2000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402589-1568975542/watcher-4402589-1568975542 -o /var/tmp/evaluation-result-4402589-1568975542/solver-4402589-1568975542 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20069 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2126459796 HOME/instance-4402589-1568975542.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=22641, runsolver pid=22638
[startup+0.100105 s]*
/proc/loadavg: 1.30 1.26 1.33 3/219 22698
/proc/meminfo: memFree=3057876/32770624 swapFree=66956600/67108860
[pid=22641] ppid=22638 vsize=9972712 memory=17336 CPUtime=0.08 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 4547 13377 0 0 1 0 4 3 20 0 6 0 473792881 10212057088 4334 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2493178 4334 1957 1 0 2481616 0
[pid=22641/tid=22694] ppid=22638 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 2347 13377 0 0 1 0 4 3 20 0 6 0 473792890 10212057088 4334 33554432000 4194304 4196468 140720808821696 140331615986256 140331629461497 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=9972712 memory=5793855419284744633 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 6 0 473792891 10212057088 4334 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=9972712 memory=140168274851456 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 6 0 473792891 10212057088 4334 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 6 0 473792891 10212057088 4334 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 2 13377 0 0 0 0 4 3 20 0 6 0 473792891 10212057088 4334 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17336 KiB
[startup+0.210018 s]*
/proc/loadavg: 1.30 1.26 1.33 3/228 22707
/proc/meminfo: memFree=3039484/32770624 swapFree=66956600/67108860
[pid=22641] ppid=22638 vsize=10820196 memory=42400 CPUtime=0.26 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 7537 13377 0 0 18 1 4 3 20 0 15 0 473792881 11079880704 10600 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2705049 10600 3299 1 0 2667149 0
[pid=22641/tid=22694] ppid=22638 vsize=10820196 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 4047 13377 0 0 11 1 4 3 20 0 15 0 473792890 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331615960528 140331636386622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10820196 memory=4211973894479641994 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10820196 memory=140168274851456 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 2 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10820196 memory=140168274851456 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 2 13377 0 0 0 0 4 3 20 0 15 0 473792892 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 13 13377 0 0 0 0 4 3 20 0 15 0 473792893 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331009959072 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792893 11079880704 10600 33554432000 4194304 4196468 140720808821696 140330405978864 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11079880704 10600 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 594 13377 0 0 1 0 4 3 20 0 15 0 473792896 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) R 22638 22641 20037 0 -1 4202560 52 13377 0 0 1 0 4 3 20 0 15 0 473792896 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331101428592 140331629275560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10820196 memory=140168274851456 CPUtime=0.1 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) R 22638 22641 20037 0 -1 1077944384 615 13377 0 0 3 0 4 3 20 0 15 0 473792896 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11079880704 10600 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10820196 memory=140168274851456 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792896 11079880704 10600 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42400 KiB
[startup+0.310545 s]*
/proc/loadavg: 1.30 1.26 1.33 3/228 22707
/proc/meminfo: memFree=3027172/32770624 swapFree=66956600/67108860
[pid=22641] ppid=22638 vsize=10820196 memory=50836 CPUtime=0.4 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 10637 13377 0 0 30 3 4 3 20 0 15 0 473792881 11079880704 12709 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2705049 12709 3320 1 0 2667149 0
[pid=22641/tid=22694] ppid=22638 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 7136 13377 0 0 19 2 4 3 20 0 15 0 473792890 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331615971888 140331628229982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 2 13377 0 0 0 0 4 3 20 0 15 0 473792891 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10820196 memory=140168274851455 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 2 13377 0 0 0 0 4 3 20 0 15 0 473792892 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 13 13377 0 0 0 0 4 3 20 0 15 0 473792893 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331009959072 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10820196 memory=140168274851456 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792893 11079880704 12709 33554432000 4194304 4196468 140720808821696 140330405978864 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11079880704 12709 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 595 13377 0 0 2 0 4 3 20 0 15 0 473792896 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) S 22638 22641 20037 0 -1 1077944384 53 13377 0 0 1 0 4 3 20 0 15 0 473792896 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331101428592 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) S 22638 22641 20037 0 -1 1077944384 623 13377 0 0 5 0 4 3 20 0 15 0 473792896 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11079880704 12709 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792896 11079880704 12709 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50836 KiB
[startup+0.702056 s]
/proc/loadavg: 1.30 1.26 1.33 5/228 22707
/proc/meminfo: memFree=3012624/32770624 swapFree=66956600/67108860
[pid=22641] ppid=22638 vsize=10824364 memory=83712 CPUtime=1.15 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 15124 13377 0 0 103 5 4 3 20 0 15 0 473792881 11084148736 20928 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2706091 20928 3515 1 0 2668173 0
[pid=22641/tid=22694] ppid=22638 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 1077944384 10501 13377 0 0 56 3 4 3 20 0 15 0 473792890 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331615976448 140331644171517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10824364 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792891 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 2 13377 0 0 0 0 4 3 20 0 15 0 473792891 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10824364 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 5 13377 0 0 0 0 4 3 20 0 15 0 473792892 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 13 13377 0 0 0 0 4 3 20 0 15 0 473792893 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331009959072 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792893 11084148736 20928 33554432000 4194304 4196468 140720808821696 140330405978864 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11084148736 20928 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10824364 memory=19265 CPUtime=0.21 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 1027 13377 0 0 14 0 4 3 20 0 15 0 473792896 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10824364 memory=280336273506544 CPUtime=0.21 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) S 22638 22641 20037 0 -1 1077944384 533 13377 0 0 14 0 4 3 20 0 15 0 473792896 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331101428592 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) S 22638 22641 20037 0 -1 1077944384 830 13377 0 0 17 0 4 3 20 0 15 0 473792896 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11084148736 20928 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792896 11084148736 20928 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83712 KiB
[startup+1.50069 s]
/proc/loadavg: 1.30 1.26 1.33 3/228 22707
/proc/meminfo: memFree=2967460/32770624 swapFree=66956600/67108860
[pid=22641] ppid=22638 vsize=10834680 memory=169752 CPUtime=2.46 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 22079 13377 0 0 229 10 4 3 20 0 15 0 473792881 11094712320 42438 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2708670 42438 3577 1 0 2670733 0
[pid=22641/tid=22694] ppid=22638 vsize=10834680 memory=203 CPUtime=1.43 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 15457 13377 0 0 131 5 4 3 20 0 15 0 473792890 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331615954880 140331228168614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10834680 memory=116 CPUtime=0.08 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 39 13377 0 0 1 0 4 3 20 0 15 0 473792891 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10834680 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 63 13377 0 0 0 0 4 3 20 0 15 0 473792891 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 70 13377 0 0 0 0 4 3 20 0 15 0 473792891 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10834680 memory=280336273542624 CPUtime=0.08 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 433 13377 0 0 1 0 4 3 20 0 15 0 473792891 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 173 13377 0 0 1 0 4 3 20 0 15 0 473792892 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 13 13377 0 0 0 0 4 3 20 0 15 0 473792893 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331009959136 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10834680 memory=280336273556128 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 2 13377 0 0 0 0 4 3 20 0 15 0 473792893 11094712320 42438 33554432000 4194304 4196468 140720808821696 140330405978880 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11094712320 42438 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10834680 memory=-7880843606118635149 CPUtime=0.33 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 1246 13377 0 0 26 0 4 3 20 0 15 0 473792896 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10834680 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) S 22638 22641 20037 0 -1 1077944384 783 13377 0 0 24 0 4 3 20 0 15 0 473792896 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331101428592 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10834680 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) S 22638 22641 20037 0 -1 1077944384 1591 13377 0 0 39 1 4 3 20 0 15 0 473792896 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11094712320 42438 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10834680 memory=288230583166042426 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1 13377 0 0 0 0 4 3 20 0 15 0 473792896 11094712320 42438 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 90277 13377 0 0 235349 61 4 3 20 0 15 0 473792890 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331615984224 140331239787932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10846988 memory=1274160 CPUtime=12.88 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 28109 13377 0 0 1212 69 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10846988 memory=1274160 CPUtime=12.88 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 16816 13377 0 0 1215 66 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10846988 memory=1274160 CPUtime=12.9 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 14901 13377 0 0 1220 63 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10846988 memory=1274160 CPUtime=12.82 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 19178 13377 0 0 1209 66 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10846988 memory=3620 CPUtime=11.73 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 19317 13377 0 0 1106 60 4 3 20 0 15 0 473792892 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10846988 memory=280336274564976 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 24 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331009959200 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10846988 memory=1274160 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 12 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 318540 33554432000 4194304 4196468 140720808821696 140330405978880 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10846988 memory=1274160 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10846988 memory=3848 CPUtime=3.95 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 31822 13377 0 0 383 5 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10846988 memory=1274160 CPUtime=4.62 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) S 22638 22641 20037 0 -1 1077944384 33721 13377 0 0 451 4 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331101428592 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10846988 memory=3620 CPUtime=1.88 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) S 22638 22641 20037 0 -1 1077944384 31424 13377 0 0 175 6 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10846988 memory=1274160 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10846988 memory=3620 CPUtime=1.53 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1565 13377 0 0 67 79 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 2428.85 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1274160 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.64 1.59 3/230 23214
/proc/meminfo: memFree=2055932/32770624 swapFree=66956604/67108860
[pid=22641] ppid=22638 vsize=10846988 memory=1274160 CPUtime=2489.8 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 292516 13377 0 0 248563 410 4 3 20 0 15 0 473792881 11107315712 318540 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2711747 318540 3633 1 0 2673805 0
[pid=22641/tid=22694] ppid=22638 vsize=10846988 memory=1556 CPUtime=2413.42 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 91676 13377 0 0 241273 62 4 3 20 0 15 0 473792890 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331615984448 140331242028573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10846988 memory=1274160 CPUtime=13.23 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 28583 13377 0 0 1246 70 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10846988 memory=1274160 CPUtime=13.22 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 17078 13377 0 0 1248 67 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10846988 memory=1274160 CPUtime=13.24 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 15288 13377 0 0 1253 64 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10846988 memory=1274160 CPUtime=13.15 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 19326 13377 0 0 1241 67 4 3 20 0 15 0 473792891 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10846988 memory=6791534058613427641 CPUtime=12.03 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 19745 13377 0 0 1134 62 4 3 20 0 15 0 473792892 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10846988 memory=1274160 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 24 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331009959200 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10846988 memory=1274160 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 12 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 318540 33554432000 4194304 4196468 140720808821696 140330405978880 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10846988 memory=3620 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10846988 memory=1274160 CPUtime=3.95 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 31826 13377 0 0 383 5 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10846988 memory=1274160 CPUtime=4.62 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) S 22638 22641 20037 0 -1 1077944384 33725 13377 0 0 451 4 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331101428592 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10846988 memory=1274160 CPUtime=1.88 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) S 22638 22641 20037 0 -1 1077944384 31428 13377 0 0 175 6 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10846988 memory=1274160 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10846988 memory=3620 CPUtime=1.57 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1597 13377 0 0 68 82 4 3 20 0 15 0 473792896 11107315712 318540 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 2489.8 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1274160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.11 s]
/proc/loadavg: 1.56 1.62 1.59 3/231 23217
/proc/meminfo: memFree=2053136/32770624 swapFree=66956604/67108860
[pid=22641] ppid=22638 vsize=10846988 memory=1276208 CPUtime=2520.07 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 293803 13377 0 0 251586 414 4 3 20 0 15 0 473792881 11107315712 319052 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2711747 319052 3633 1 0 2673805 0
[pid=22641/tid=22694] ppid=22638 vsize=10846988 memory=1276208 CPUtime=2442.88 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 92321 13377 0 0 244219 62 4 3 20 0 15 0 473792890 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331615984480 140331241169664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.39 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 28592 13377 0 0 1262 70 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.39 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 17117 13377 0 0 1264 68 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.41 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 15445 13377 0 0 1269 65 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.32 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 19548 13377 0 0 1257 68 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10846988 memory=1276208 CPUtime=12.18 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 19954 13377 0 0 1148 63 4 3 20 0 15 0 473792892 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10846988 memory=1976 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 24 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331009959200 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10846988 memory=4555 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 12 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 319052 33554432000 4194304 4196468 140720808821696 140330405978880 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10846988 memory=3176 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10846988 memory=1276208 CPUtime=3.95 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 31826 13377 0 0 383 5 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10846988 memory=1556 CPUtime=4.62 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) S 22638 22641 20037 0 -1 1077944384 33725 13377 0 0 451 4 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331101428592 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10846988 memory=1276208 CPUtime=1.88 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) S 22638 22641 20037 0 -1 1077944384 31428 13377 0 0 175 6 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10846988 memory=1976 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10846988 memory=1276208 CPUtime=1.58 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1603 13377 0 0 69 82 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1276208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.14 s]
# the end of solver process 22641 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.93 s, system=4.19757 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.11 s]
/proc/loadavg: 1.56 1.62 1.59 3/231 23217
/proc/meminfo: memFree=2053136/32770624 swapFree=66956604/67108860
[pid=22641] ppid=22638 vsize=10846988 memory=1276208 CPUtime=2520.07 cores=1,3,5,7
/proc/22641/stat : 22641 (java) S 22638 22641 20037 0 -1 1077944320 293803 13377 0 0 251586 414 4 3 20 0 15 0 473792881 11107315712 319052 33554432000 4194304 4196468 140720808821696 140720808804240 140331644149495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
/proc/22641/statm: 2711747 319052 3633 1 0 2673805 0
[pid=22641/tid=22694] ppid=22638 vsize=10846988 memory=1276208 CPUtime=2442.88 cores=1,3,5,7
/proc/22641/task/22694/stat : 22694 (java) R 22638 22641 20037 0 -1 4202560 92321 13377 0 0 244219 62 4 3 20 0 15 0 473792890 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331615984480 140331241169664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22695] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.39 cores=1,3,5,7
/proc/22641/task/22695/stat : 22695 (java) S 22638 22641 20037 0 -1 1077944384 28592 13377 0 0 1262 70 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331648392208 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22696] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.39 cores=1,3,5,7
/proc/22641/task/22696/stat : 22696 (java) S 22638 22641 20037 0 -1 1077944384 17117 13377 0 0 1264 68 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331217448080 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22697] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.41 cores=1,3,5,7
/proc/22641/task/22697/stat : 22697 (java) S 22638 22641 20037 0 -1 1077944384 15445 13377 0 0 1269 65 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331216395024 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22698] ppid=22638 vsize=10846988 memory=1276208 CPUtime=13.32 cores=1,3,5,7
/proc/22641/task/22698/stat : 22698 (java) S 22638 22641 20037 0 -1 1077944384 19548 13377 0 0 1257 68 4 3 20 0 15 0 473792891 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331215342480 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22699] ppid=22638 vsize=10846988 memory=1276208 CPUtime=12.18 cores=1,3,5,7
/proc/22641/task/22699/stat : 22699 (java) S 22638 22641 20037 0 -1 1077944384 19954 13377 0 0 1148 63 4 3 20 0 15 0 473792892 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331103533296 140331644160642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22700] ppid=22638 vsize=10846988 memory=1976 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22700/stat : 22700 (java) S 22638 22641 20037 0 -1 1077944384 24 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331009959200 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22701] ppid=22638 vsize=10846988 memory=4555 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22701/stat : 22701 (java) S 22638 22641 20037 0 -1 1077944384 12 13377 0 0 0 0 4 3 20 0 15 0 473792893 11107315712 319052 33554432000 4194304 4196468 140720808821696 140330405978880 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22702] ppid=22638 vsize=10846988 memory=3176 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22702/stat : 22702 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140330165688272 140331644168091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22703] ppid=22638 vsize=10846988 memory=1276208 CPUtime=3.95 cores=1,3,5,7
/proc/22641/task/22703/stat : 22703 (java) S 22638 22641 20037 0 -1 1077944384 31826 13377 0 0 383 5 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331102481136 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22704] ppid=22638 vsize=10846988 memory=1556 CPUtime=4.62 cores=1,3,5,7
/proc/22641/task/22704/stat : 22704 (java) S 22638 22641 20037 0 -1 1077944384 33725 13377 0 0 451 4 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331101428592 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22705] ppid=22638 vsize=10846988 memory=1276208 CPUtime=1.88 cores=1,3,5,7
/proc/22641/task/22705/stat : 22705 (java) S 22638 22641 20037 0 -1 1077944384 31428 13377 0 0 175 6 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331100375536 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22706] ppid=22638 vsize=10846988 memory=1976 CPUtime=0.07 cores=1,3,5,7
/proc/22641/task/22706/stat : 22706 (java) S 22638 22641 20037 0 -1 1077944384 3 13377 0 0 0 0 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140330132130656 140331644159701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
[pid=22641/tid=22707] ppid=22638 vsize=10846988 memory=1276208 CPUtime=1.58 cores=1,3,5,7
/proc/22641/task/22707/stat : 22707 (java) S 22638 22641 20037 0 -1 1077944384 1603 13377 0 0 69 82 4 3 20 0 15 0 473792896 11107315712 319052 33554432000 4194304 4196468 140720808821696 140331099322928 140331644160642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33529856 140720808823395 140720808826037 140720808826037 140720808828879 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1276208 KiB
Child status: 143
Real time (s): 2472.14
CPU time (s): 2520.13
CPU user time (s): 2515.93
CPU system time (s): 4.19757
CPU usage (%): 101.941
Max. virtual memory (cumulated for all children) (KiB): 10849652
Max. memory (cumulated for all children) (KiB): 1276208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.93
system time used= 4.19757
maximum resident set size= 1280420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 317500
involuntary context switches= 12095
# summary of solver processes directly reported to runsolver:
# pid: 22641
# total CPU time (s): 2520.13
# total CPU user time (s): 2515.93
# total CPU system time (s): 4.19757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3641 second user time and 20.4661 second system time
The end