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 (2228 MiB free)
memory of node 1: 16384 MiB (2311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402526-1568978227/watcher-4402526-1568978227 -o /var/tmp/evaluation-result-4402526-1568978227/solver-4402526-1568978227 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5564 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=579841060 HOME/instance-4402526-1568978227.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=9640, runsolver pid=9637
[startup+0.109297 s]*
/proc/loadavg: 1.47 1.41 1.37 3/218 9697
/proc/meminfo: memFree=4638416/32770624 swapFree=67001736/67108860
[pid=9640] ppid=9637 vsize=10153664 memory=24004 CPUtime=0.09 cores=1,3,5,7
/proc/9640/stat : 9640 (java) S 9637 9640 5532 0 -1 1077944320 4725 13259 0 0 2 0 4 3 20 0 8 0 473736708 10397351936 6001 33554432000 4194304 4196468 140724208639824 140724208622368 140385658535671 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
/proc/9640/statm: 2538416 6001 2063 1 0 2526854 0
[pid=9640/tid=9693] ppid=9637 vsize=10153664 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9693/stat : 9693 (java) R 9637 9640 5532 0 -1 4202560 2505 13259 0 0 1 0 4 3 20 0 8 0 473736717 10397351936 6001 33554432000 4194304 4196468 140724208639824 140385630376368 140385651521003 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9694] ppid=9637 vsize=10153664 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9694/stat : 9694 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 8 0 473736718 10397351936 6001 33554432000 4194304 4196468 140724208639824 140385662778512 140385658545877 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9695] ppid=9637 vsize=10153664 memory=140626662340224 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9695/stat : 9695 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 8 0 473736718 10397351936 6001 33554432000 4194304 4196468 140724208639824 140385577597968 140385658545877 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9696] ppid=9637 vsize=10153664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9696/stat : 9696 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 8 0 473736718 10397351936 6001 33554432000 4194304 4196468 140724208639824 140385576545168 140385658545877 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9697] ppid=9637 vsize=10153664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9697/stat : 9697 (java) S 9637 9640 5532 0 -1 1077944384 2 13259 0 0 0 0 4 3 20 0 8 0 473736718 10397351936 6001 33554432000 4194304 4196468 140724208639824 140385575492368 140385658545877 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9698] ppid=9637 vsize=10186436 memory=140626662340224 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9698/stat : 9698 (java) S 9637 9640 5532 0 -1 1077944384 2 13259 0 0 0 0 4 3 20 0 8 0 473736720 10430910464 6001 33554432000 4194304 4196468 140724208639824 140385185102192 140385658546818 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9699] ppid=9637 vsize=10186436 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9699/stat : 9699 (java) S 9637 9640 5532 0 -1 1077944384 13 13259 0 0 0 0 4 3 20 0 8 0 473736720 10430910464 6001 33554432000 4194304 4196468 140724208639824 140384965485600 140385658545877 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 24004 KiB
[startup+0.210338 s]*
/proc/loadavg: 1.51 1.42 1.37 3/227 9706
/proc/meminfo: memFree=4622284/32770624 swapFree=67001736/67108860
[pid=9640] ppid=9637 vsize=10820196 memory=43668 CPUtime=0.25 cores=1,3,5,7
/proc/9640/stat : 9640 (java) S 9637 9640 5532 0 -1 1077944320 7336 13259 0 0 17 1 4 3 20 0 15 0 473736708 11079880704 10917 33554432000 4194304 4196468 140724208639824 140724208622368 140385658535671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
/proc/9640/statm: 2705049 10917 3285 1 0 2667149 0
[pid=9640/tid=9693] ppid=9637 vsize=10820196 memory=5450916389569530688 CPUtime=0.18 cores=1,3,5,7
/proc/9640/task/9693/stat : 9693 (java) R 9637 9640 5532 0 -1 4202560 3844 13259 0 0 10 1 4 3 20 0 15 0 473736717 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385630346704 140385658557597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9694] ppid=9637 vsize=10820196 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9694/stat : 9694 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385662778512 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9695] ppid=9637 vsize=10820196 memory=140626662340224 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9695/stat : 9695 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385577597968 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9696] ppid=9637 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9696/stat : 9696 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385576545168 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9697] ppid=9637 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9697/stat : 9697 (java) S 9637 9640 5532 0 -1 1077944384 2 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385575492368 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9698] ppid=9637 vsize=10820196 memory=140626662340224 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9698/stat : 9698 (java) S 9637 9640 5532 0 -1 1077944384 2 13259 0 0 0 0 4 3 20 0 15 0 473736720 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385185102192 140385658546818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9699] ppid=9637 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9699/stat : 9699 (java) S 9637 9640 5532 0 -1 1077944384 13 13259 0 0 0 0 4 3 20 0 15 0 473736720 11079880704 10917 33554432000 4194304 4196468 140724208639824 140384965485600 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9700] ppid=9637 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9700/stat : 9700 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736720 11079880704 10917 33554432000 4194304 4196468 140724208639824 140384495723376 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9701] ppid=9637 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9701/stat : 9701 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11079880704 10917 33554432000 4194304 4196468 140724208639824 140384188323664 140385658554267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9702] ppid=9637 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9702/stat : 9702 (java) S 9637 9640 5532 0 -1 1077944384 348 13259 0 0 1 0 4 3 20 0 15 0 473736723 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385184050032 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9703] ppid=9637 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9703/stat : 9703 (java) R 9637 9640 5532 0 -1 4202560 315 13259 0 0 1 0 4 3 20 0 15 0 473736723 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385182997232 140385636409856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9704] ppid=9637 vsize=10820196 memory=140626662340224 CPUtime=0.1 cores=1,3,5,7
/proc/9640/task/9704/stat : 9704 (java) S 9637 9640 5532 0 -1 1077944384 603 13259 0 0 3 0 4 3 20 0 15 0 473736723 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385181944432 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9705] ppid=9637 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9705/stat : 9705 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11079880704 10917 33554432000 4194304 4196468 140724208639824 140384154766048 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9706] ppid=9637 vsize=10820196 memory=140626662340224 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9706/stat : 9706 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736724 11079880704 10917 33554432000 4194304 4196468 140724208639824 140385180891824 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 43668 KiB
[startup+0.320292 s]*
/proc/loadavg: 1.51 1.42 1.37 3/227 9706
/proc/meminfo: memFree=4608844/32770624 swapFree=67001736/67108860
[pid=9640] ppid=9637 vsize=10820268 memory=52256 CPUtime=0.4 cores=1,3,5,7
/proc/9640/stat : 9640 (java) S 9637 9640 5532 0 -1 1077944320 10802 13259 0 0 30 3 4 3 20 0 15 0 473736708 11079954432 13064 33554432000 4194304 4196468 140724208639824 140724208622368 140385658535671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
/proc/9640/statm: 2705067 13064 3310 1 0 2667149 0
[pid=9640/tid=9693] ppid=9637 vsize=10820268 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/9640/task/9693/stat : 9693 (java) R 9637 9640 5532 0 -1 4202560 7285 13259 0 0 20 2 4 3 20 0 15 0 473736717 11079954432 13064 33554432000 4194304 4196468 140724208639824 140385630357072 140385658559261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9694] ppid=9637 vsize=10820268 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9694/stat : 9694 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079954432 13064 33554432000 4194304 4196468 140724208639824 140385662778512 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9695] ppid=9637 vsize=10820268 memory=140626662347217 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9695/stat : 9695 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079954432 13064 33554432000 4194304 4196468 140724208639824 140385577597968 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9696] ppid=9637 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9696/stat : 9696 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079954432 13064 33554432000 4194304 4196468 140724208639824 140385576545168 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9697] ppid=9637 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9697/stat : 9697 (java) S 9637 9640 5532 0 -1 1077944384 2 13259 0 0 0 0 4 3 20 0 15 0 473736718 11079954432 13064 33554432000 4194304 4196468 140724208639824 140385575492368 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9698] ppid=9637 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9698/stat : 9698 (java) S 9637 9640 5532 0 -1 1077944384 2 13259 0 0 0 0 4 3 20 0 15 0 473736720 11079954432 13064 33554432000 4194304 4196468 140724208639824 140385185102192 140385658546818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9699] ppid=9637 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9699/stat : 9699 (java) S 9637 9640 5532 0 -1 1077944384 13 13259 0 0 0 0 4 3 20 0 15 0 473736720 11079954432 13064 33554432000 4194304 4196468 140724208639824 140384965485600 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9700] ppid=9637 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9700/stat : 9700 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736720 11079954432 13064 33554432000 4194304 4196468 140724208639824 140384495723376 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9701] ppid=9637 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9701/stat : 9701 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11079954432 13064 33554432000 4194304 4196468 140724208639824 140384188323664 140385658554267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9702] ppid=9637 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9702/stat : 9702 (java) S 9637 9640 5532 0 -1 1077944384 348 13259 0 0 1 0 4 3 20 0 15 0 473736723 11079954432 13064 33554432000 4194304 4196468 140724208639824 140385184050032 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9703] ppid=9637 vsize=10820268 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9640/task/9703/stat : 9703 (java) S 9637 9640 5532 0 -1 1077944384 317 13259 0 0 2 0 4 3 20 0 15 0 473736723 11079954432 13130 33554432000 4194304 4196468 140724208639824 140385182997232 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9704] ppid=9637 vsize=10820268 memory=140626662340224 CPUtime=0.12 cores=1,3,5,7
/proc/9640/task/9704/stat : 9704 (java) S 9637 9640 5532 0 -1 1077944384 624 13259 0 0 5 0 4 3 20 0 15 0 473736723 11079954432 13130 33554432000 4194304 4196468 140724208639824 140385181944432 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9705] ppid=9637 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9705/stat : 9705 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11079954432 13130 33554432000 4194304 4196468 140724208639824 140384154766048 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9706] ppid=9637 vsize=10820268 memory=140626662340224 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9706/stat : 9706 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736724 11079954432 13130 33554432000 4194304 4196468 140724208639824 140385180891824 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 52256 KiB
[startup+0.704109 s]
/proc/loadavg: 1.51 1.42 1.37 3/227 9706
/proc/meminfo: memFree=4593684/32770624 swapFree=67001736/67108860
[pid=9640] ppid=9637 vsize=10824364 memory=85780 CPUtime=1.15 cores=1,3,5,7
/proc/9640/stat : 9640 (java) S 9637 9640 5532 0 -1 1077944320 15127 13259 0 0 103 5 4 3 20 0 15 0 473736708 11084148736 21445 33554432000 4194304 4196468 140724208639824 140724208622368 140385658535671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
/proc/9640/statm: 2706091 21445 3514 1 0 2668173 0
[pid=9640/tid=9693] ppid=9637 vsize=10824364 memory=12028 CPUtime=0.66 cores=1,3,5,7
/proc/9640/task/9693/stat : 9693 (java) R 9637 9640 5532 0 -1 4202560 10483 13259 0 0 55 4 4 3 20 0 15 0 473736717 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385630366128 140385642616158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9694] ppid=9637 vsize=10824364 memory=532 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9694/stat : 9694 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385662778512 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9695] ppid=9637 vsize=10824364 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9695/stat : 9695 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385577597968 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9696] ppid=9637 vsize=10824364 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9696/stat : 9696 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736718 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385576545168 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9697] ppid=9637 vsize=10824364 memory=1980 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9697/stat : 9697 (java) S 9637 9640 5532 0 -1 1077944384 2 13259 0 0 0 0 4 3 20 0 15 0 473736718 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385575492368 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9698] ppid=9637 vsize=10824364 memory=7305218370954224976 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9698/stat : 9698 (java) S 9637 9640 5532 0 -1 1077944384 5 13259 0 0 0 0 4 3 20 0 15 0 473736720 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385185102192 140385658546818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9699] ppid=9637 vsize=10824364 memory=7739276948477995114 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9699/stat : 9699 (java) S 9637 9640 5532 0 -1 1077944384 13 13259 0 0 0 0 4 3 20 0 15 0 473736720 11084148736 21445 33554432000 4194304 4196468 140724208639824 140384965485600 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9700] ppid=9637 vsize=10824364 memory=5787219427700265040 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9700/stat : 9700 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736720 11084148736 21445 33554432000 4194304 4196468 140724208639824 140384495723376 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9701] ppid=9637 vsize=10824364 memory=5450909908396307978 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9701/stat : 9701 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11084148736 21445 33554432000 4194304 4196468 140724208639824 140384188323664 140385658554267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9702] ppid=9637 vsize=10824364 memory=-7533522213388100735 CPUtime=0.21 cores=1,3,5,7
/proc/9640/task/9702/stat : 9702 (java) S 9637 9640 5532 0 -1 1077944384 773 13259 0 0 14 0 4 3 20 0 15 0 473736723 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385184050032 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9703] ppid=9637 vsize=10824364 memory=6944656591801717918 CPUtime=0.22 cores=1,3,5,7
/proc/9640/task/9703/stat : 9703 (java) S 9637 9640 5532 0 -1 1077944384 813 13259 0 0 15 0 4 3 20 0 15 0 473736723 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385182997232 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9704] ppid=9637 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/9640/task/9704/stat : 9704 (java) R 9637 9640 5532 0 -1 4202560 821 13259 0 0 17 0 4 3 20 0 15 0 473736723 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385181944432 140385658557018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9705] ppid=9637 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9705/stat : 9705 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11084148736 21445 33554432000 4194304 4196468 140724208639824 140384154766048 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9706] ppid=9637 vsize=10824364 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9706/stat : 9706 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736724 11084148736 21445 33554432000 4194304 4196468 140724208639824 140385180891824 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85780 KiB
[startup+1.50338 s]
/proc/loadavg: 1.51 1.42 1.37 3/227 9706
/proc/meminfo: memFree=4548464/32770624 swapFree=67001736/67108860
[pid=9640] ppid=9637 vsize=10834680 memory=171360 CPUtime=2.48 cores=1,3,5,7
/proc/9640/stat : 9640 (java) S 9637 9640 5532 0 -1 1077944320 20499 13259 0 0 230 11 4 3 20 0 15 0 473736708 11094712320 42840 33554432000 4194304 4196468 140724208639824 140724208622368 140385658535671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
/proc/9640/statm: 2708670 42840 3574 1 0 2670733 0
[pid=9640/tid=9693] ppid=9637 vsize=10834680 memory=281253115060128 CPUtime=1.43 cores=1,3,5,7
/proc/9640/task/9693/stat : 9693 (java) R 9637 9640 5532 0 -1 4202560 14966 13259 0 0 129 7 4 3 20 0 15 0 473736717 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385630353568 140385658547606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9694] ppid=9637 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9694/stat : 9694 (java) S 9637 9640 5532 0 -1 1077944384 25 13259 0 0 1 0 4 3 20 0 15 0 473736718 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385662778512 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9695] ppid=9637 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9695/stat : 9695 (java) S 9637 9640 5532 0 -1 1077944384 24 13259 0 0 0 0 4 3 20 0 15 0 473736718 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385577597968 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9696] ppid=9637 vsize=10834680 memory=5281 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9696/stat : 9696 (java) S 9637 9640 5532 0 -1 1077944384 17 13259 0 0 0 0 4 3 20 0 15 0 473736718 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385576545168 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9697] ppid=9637 vsize=10834680 memory=6083354206233319521 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9697/stat : 9697 (java) S 9637 9640 5532 0 -1 1077944384 34 13259 0 0 1 0 4 3 20 0 15 0 473736718 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385575492368 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9698] ppid=9637 vsize=10834680 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9698/stat : 9698 (java) S 9637 9640 5532 0 -1 1077944384 43 13259 0 0 1 0 4 3 20 0 15 0 473736720 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385185102192 140385658546818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9699] ppid=9637 vsize=10834680 memory=6352256631978 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9699/stat : 9699 (java) S 9637 9640 5532 0 -1 1077944384 14 13259 0 0 0 0 4 3 20 0 15 0 473736720 11094712320 42840 33554432000 4194304 4196468 140724208639824 140384965485664 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9700] ppid=9637 vsize=10834680 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9700/stat : 9700 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736720 11094712320 42840 33554432000 4194304 4196468 140724208639824 140384495723376 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9701] ppid=9637 vsize=10834680 memory=16106965717748363 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9701/stat : 9701 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11094712320 42840 33554432000 4194304 4196468 140724208639824 140384188323664 140385658554267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9702] ppid=9637 vsize=10834680 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/9640/task/9702/stat : 9702 (java) R 9637 9640 5532 0 -1 1077944384 837 13259 0 0 27 0 4 3 20 0 15 0 473736723 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385184050032 140385658546818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9703] ppid=9637 vsize=10834680 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/9640/task/9703/stat : 9703 (java) R 9637 9640 5532 0 -1 4202560 875 13259 0 0 25 0 4 3 20 0 15 0 473736723 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385182997232 140385637782260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9704] ppid=9637 vsize=10834680 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/9640/task/9704/stat : 9704 (java) S 9637 9640 5532 0 -1 1077944384 1449 13259 0 0 41 0 4 3 20 0 15 0 473736723 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385181944432 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9705] ppid=9637 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9705/stat : 9705 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11094712320 42840 33554432000 4194304 4196468 140724208639824 140384154766048 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9706] ppid=9637 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9706/stat : 9706 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736724 11094712320 42840 33554432000 4194304 4196468 140724208639824 140385180891824 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 171360 KiB
[startup+2.66034 s]
# the end of solver process 9640 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.37672 s, system=0.203545 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60086 s]
/proc/loadavg: 1.51 1.42 1.37 3/227 9706
/proc/meminfo: memFree=4548464/32770624 swapFree=67001736/67108860
[pid=9640] ppid=9637 vsize=10836728 memory=172636 CPUtime=2.68 cores=1,3,5,7
/proc/9640/stat : 9640 (java) S 9637 9640 5532 0 -1 1077944320 20807 13259 0 0 250 11 4 3 20 0 15 0 473736708 11096809472 43159 33554432000 4194304 4196468 140724208639824 140724208622368 140385658535671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
/proc/9640/statm: 2709182 43159 3574 1 0 2671245 0
[pid=9640/tid=9693] ppid=9637 vsize=10836728 memory=0 CPUtime=1.53 cores=1,3,5,7
/proc/9640/task/9693/stat : 9693 (java) R 9637 9640 5532 0 -1 4202560 15091 13259 0 0 139 7 4 3 20 0 15 0 473736717 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385630363920 140385658547606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9694] ppid=9637 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9694/stat : 9694 (java) S 9637 9640 5532 0 -1 1077944384 25 13259 0 0 1 0 4 3 20 0 15 0 473736718 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385662778512 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9695] ppid=9637 vsize=10836728 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9695/stat : 9695 (java) S 9637 9640 5532 0 -1 1077944384 24 13259 0 0 0 0 4 3 20 0 15 0 473736718 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385577597968 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9696] ppid=9637 vsize=10836728 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9696/stat : 9696 (java) S 9637 9640 5532 0 -1 1077944384 17 13259 0 0 0 0 4 3 20 0 15 0 473736718 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385576545168 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9697] ppid=9637 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9697/stat : 9697 (java) S 9637 9640 5532 0 -1 1077944384 34 13259 0 0 1 0 4 3 20 0 15 0 473736718 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385575492368 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9698] ppid=9637 vsize=10836728 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9640/task/9698/stat : 9698 (java) S 9637 9640 5532 0 -1 1077944384 43 13259 0 0 1 0 4 3 20 0 15 0 473736720 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385185102192 140385658546818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9699] ppid=9637 vsize=10836728 memory=111 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9699/stat : 9699 (java) S 9637 9640 5532 0 -1 1077944384 14 13259 0 0 0 0 4 3 20 0 15 0 473736720 11096809472 43159 33554432000 4194304 4196468 140724208639824 140384965485664 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9700] ppid=9637 vsize=10836728 memory=606 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9700/stat : 9700 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736720 11096809472 43159 33554432000 4194304 4196468 140724208639824 140384495723376 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9701] ppid=9637 vsize=10836728 memory=672 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9701/stat : 9701 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11096809472 43159 33554432000 4194304 4196468 140724208639824 140384188323664 140385658554267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9702] ppid=9637 vsize=10836728 memory=281253115221776 CPUtime=0.36 cores=1,3,5,7
/proc/9640/task/9702/stat : 9702 (java) S 9637 9640 5532 0 -1 1077944384 857 13259 0 0 29 0 4 3 20 0 15 0 473736723 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385184050032 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9703] ppid=9637 vsize=10836728 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/9640/task/9703/stat : 9703 (java) S 9637 9640 5532 0 -1 1077944384 896 13259 0 0 27 0 4 3 20 0 15 0 473736723 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385182997232 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9704] ppid=9637 vsize=10836728 memory=6944656592455097440 CPUtime=0.54 cores=1,3,5,7
/proc/9640/task/9704/stat : 9704 (java) R 9637 9640 5532 0 -1 4202560 1592 13259 0 0 47 0 4 3 20 0 15 0 473736723 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385181944432 140385637553900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9705] ppid=9637 vsize=10836728 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9705/stat : 9705 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11096809472 43159 33554432000 4194304 4196468 140724208639824 140384154766048 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9706] ppid=9637 vsize=10836728 memory=7084551790209951063 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9706/stat : 9706 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736724 11096809472 43159 33554432000 4194304 4196468 140724208639824 140385180891824 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 10836728 KiB
Current children cumulated memory: 172636 KiB
[startup+2.40829 s]
/proc/loadavg: 1.51 1.42 1.37 4/227 9706
/proc/meminfo: memFree=4482408/32770624 swapFree=67001736/67108860
[pid=9640] ppid=9637 vsize=10844940 memory=208500 CPUtime=4.24 cores=1,3,5,7
/proc/9640/stat : 9640 (java) S 9637 9640 5532 0 -1 1077944320 28271 13259 0 0 402 15 4 3 20 0 15 0 473736708 11105218560 52125 33554432000 4194304 4196468 140724208639824 140724208622368 140385658535671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
/proc/9640/statm: 2711235 52125 3593 1 0 2673293 0
[pid=9640/tid=9693] ppid=9637 vsize=10844940 memory=4638778398333294696 CPUtime=2.29 cores=1,3,5,7
/proc/9640/task/9693/stat : 9693 (java) R 9637 9640 5532 0 -1 4202560 19075 13259 0 0 214 8 4 3 20 0 15 0 473736717 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385630364184 140385642764945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9694] ppid=9637 vsize=10844940 memory=4640766349999624272 CPUtime=0.09 cores=1,3,5,7
/proc/9640/task/9694/stat : 9694 (java) S 9637 9640 5532 0 -1 1077944384 51 13259 0 0 2 0 4 3 20 0 15 0 473736718 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385662778512 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9695] ppid=9637 vsize=10844940 memory=7809523229951467576 CPUtime=0.09 cores=1,3,5,7
/proc/9640/task/9695/stat : 9695 (java) S 9637 9640 5532 0 -1 1077944384 49 13259 0 0 2 0 4 3 20 0 15 0 473736718 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385577597968 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9696] ppid=9637 vsize=10844940 memory=5787213848523002192 CPUtime=0.09 cores=1,3,5,7
/proc/9640/task/9696/stat : 9696 (java) S 9637 9640 5532 0 -1 1077944384 334 13259 0 0 2 0 4 3 20 0 15 0 473736718 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385576545168 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9697] ppid=9637 vsize=10844940 memory=-6008786318763892521 CPUtime=0.09 cores=1,3,5,7
/proc/9640/task/9697/stat : 9697 (java) S 9637 9640 5532 0 -1 1077944384 65 13259 0 0 2 0 4 3 20 0 15 0 473736718 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385575492368 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9698] ppid=9637 vsize=10844940 memory=3616 CPUtime=0.09 cores=1,3,5,7
/proc/9640/task/9698/stat : 9698 (java) S 9637 9640 5532 0 -1 1077944384 362 13259 0 0 2 0 4 3 20 0 15 0 473736720 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385185102192 140385658546818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9699] ppid=9637 vsize=10844940 memory=6352256631978 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9699/stat : 9699 (java) S 9637 9640 5532 0 -1 1077944384 14 13259 0 0 0 0 4 3 20 0 15 0 473736720 11105218560 52125 33554432000 4194304 4196468 140724208639824 140384965485664 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9700] ppid=9637 vsize=10844940 memory=176236 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9700/stat : 9700 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736720 11105218560 52125 33554432000 4194304 4196468 140724208639824 140384495723392 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9701] ppid=9637 vsize=10844940 memory=16106965717748363 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9701/stat : 9701 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11105218560 52125 33554432000 4194304 4196468 140724208639824 140384188323664 140385658554267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9702] ppid=9637 vsize=10844940 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/9640/task/9702/stat : 9702 (java) R 9637 9640 5532 0 -1 4202560 1748 13259 0 0 53 0 4 3 20 0 15 0 473736723 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385184029688 140385638191424 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9703] ppid=9637 vsize=10844940 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/9640/task/9703/stat : 9703 (java) S 9637 9640 5532 0 -1 1077944384 1242 13259 0 0 40 1 4 3 20 0 15 0 473736723 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385182997232 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9704] ppid=9637 vsize=10844940 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/9640/task/9704/stat : 9704 (java) S 9637 9640 5532 0 -1 1077944384 3116 13259 0 0 79 1 4 3 20 0 15 0 473736723 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385181944432 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9705] ppid=9637 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9705/stat : 9705 (java) S 9637 9640 5532 0 -1 1077944384 3 13259 0 0 0 0 4 3 20 0 15 0 473736723 11105218560 52125 33554432000 4194304 4196468 140724208639824 140384154766048 140385658545877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
[pid=9640/tid=9706] ppid=9637 vsize=10844940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9640/task/9706/stat : 9706 (java) S 9637 9640 5532 0 -1 1077944384 1 13259 0 0 0 0 4 3 20 0 15 0 473736724 11105218560 52125 33554432000 4194304 4196468 140724208639824 140385180891824 140385658546818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15204352 140724208646756 140724208649397 140724208649397 140724208652239 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 208500 KiB
[startup+2.80009 s]
/proc/loadavg: 1.51 1.42 1.37 2/214 9707
/proc/meminfo: memFree=4631808/32770624 swapFree=67001736/67108860
Current cumulated CPU time of completed processes: 4.58026 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2.90009 s]
/proc/loadavg: 1.51 1.42 1.37 2/214 9707
/proc/meminfo: memFree=4631808/32770624 swapFree=67001736/67108860
Current cumulated CPU time of completed processes: 4.58026 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.94052
CPU time (s): 4.58026
CPU user time (s): 4.37672
CPU system time (s): 0.203545
CPU usage (%): 155.764
Max. virtual memory (cumulated for all children) (KiB): 10844940
Max. memory (cumulated for all children) (KiB): 219348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.37672
system time used= 0.203545
maximum resident set size= 221396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5016
involuntary context switches= 28
# summary of solver processes directly reported to runsolver:
# pid: 9640
# total CPU time (s): 4.58026
# total CPU user time (s): 4.37672
# total CPU system time (s): 0.203545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051715 second user time and 0.060334 second system time
The end