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 (10837 MiB free)
memory of node 1: 16384 MiB (15850 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299629-1532806304/watcher-4299629-1532806304 -o /tmp/evaluation-result-4299629-1532806304/solver-4299629-1532806304 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532776307-29142 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299629-1532806304.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=560, runsolver pid=557
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 1.41 1.43 1.40 3/216 579
/proc/meminfo: memFree=27312216/32770624 swapFree=67108860/67108860
[pid=560] ppid=557 vsize=10658972 memory=27812 CPUtime=0.11 cores=1,3,5,7
/proc/560/stat : 560 (java) S 557 560 29110 0 -1 1077944320 5360 0 0 0 10 1 0 0 20 0 15 0 98193560 10914787328 6953 33554432000 4194304 4196468 140732799284176 140732799266720 139683315670775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
/proc/560/statm: 2664743 6953 2831 1 0 2627263 0
[pid=560/tid=562] ppid=557 vsize=10658972 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/560/task/562/stat : 562 (java) R 557 560 29110 0 -1 4202560 3246 0 0 0 8 1 0 0 20 0 15 0 98193560 10914787328 7019 33554432000 4194304 4196468 140732799284176 139683319891936 139682952132661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=563] ppid=557 vsize=10658972 memory=331 CPUtime=0 cores=1,3,5,7
/proc/560/task/563/stat : 563 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 7019 33554432000 4194304 4196468 140732799284176 139683276631184 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=564] ppid=557 vsize=10658972 memory=139953089637732 CPUtime=0 cores=1,3,5,7
/proc/560/task/564/stat : 564 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682921552912 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=565] ppid=557 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/565/stat : 565 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682920500112 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=566] ppid=557 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/566/stat : 566 (java) S 557 560 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682919447312 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=567] ppid=557 vsize=10658972 memory=139953089611392 CPUtime=0 cores=1,3,5,7
/proc/560/task/567/stat : 567 (java) S 557 560 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98193562 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682875545968 139683315681922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=568] ppid=557 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/568/stat : 568 (java) S 557 560 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98193563 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682874491936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=569] ppid=557 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/569/stat : 569 (java) S 557 560 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98193563 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682805441392 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=570] ppid=557 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/570/stat : 570 (java) S 557 560 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98193565 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682804389712 139683315689371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=572] ppid=557 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/572/stat : 572 (java) S 557 560 29110 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 98193565 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682803338096 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=576] ppid=557 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/576/stat : 576 (java) R 557 560 29110 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 98193565 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682802285296 139683315682710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=577] ppid=557 vsize=10658972 memory=139953089611392 CPUtime=0.01 cores=1,3,5,7
/proc/560/task/577/stat : 577 (java) R 557 560 29110 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 15 0 98193565 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682801232496 139683299838961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=578] ppid=557 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/578/stat : 578 (java) S 557 560 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98193566 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682800179936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=579] ppid=557 vsize=10658972 memory=139953089611392 CPUtime=0 cores=1,3,5,7
/proc/560/task/579/stat : 579 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193566 10914787328 7019 33554432000 4194304 4196468 140732799284176 139682799127216 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27812 KiB
[startup+0.214757 s]*
/proc/loadavg: 1.41 1.43 1.40 5/216 579
/proc/meminfo: memFree=27299936/32770624 swapFree=67108860/67108860
[pid=560] ppid=557 vsize=10658972 memory=40420 CPUtime=0.34 cores=1,3,5,7
/proc/560/stat : 560 (java) S 557 560 29110 0 -1 1077944320 8178 0 0 0 31 3 0 0 20 0 15 0 98193560 10914787328 10105 33554432000 4194304 4196468 140732799284176 140732799266720 139683315670775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
/proc/560/statm: 2664743 10105 2964 1 0 2627263 0
[pid=560/tid=562] ppid=557 vsize=10658972 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/560/task/562/stat : 562 (java) R 557 560 29110 0 -1 4202560 5157 0 0 0 18 1 0 0 20 0 15 0 98193560 10914787328 10155 33554432000 4194304 4196468 140732799284176 139683319908688 139683315692701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=563] ppid=557 vsize=10658972 memory=331 CPUtime=0 cores=1,3,5,7
/proc/560/task/563/stat : 563 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 10155 33554432000 4194304 4196468 140732799284176 139683276631184 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=564] ppid=557 vsize=10658972 memory=139953089637732 CPUtime=0 cores=1,3,5,7
/proc/560/task/564/stat : 564 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682921552912 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=565] ppid=557 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/565/stat : 565 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682920500112 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=566] ppid=557 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/566/stat : 566 (java) S 557 560 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98193561 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682919447312 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=567] ppid=557 vsize=10658972 memory=139953089611392 CPUtime=0 cores=1,3,5,7
/proc/560/task/567/stat : 567 (java) S 557 560 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98193562 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682875545968 139683315681922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=568] ppid=557 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/568/stat : 568 (java) S 557 560 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98193563 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682874491936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=569] ppid=557 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/569/stat : 569 (java) S 557 560 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98193563 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682805441392 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=570] ppid=557 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/570/stat : 570 (java) S 557 560 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98193565 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682804389712 139683315689371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=572] ppid=557 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/560/task/572/stat : 572 (java) S 557 560 29110 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 98193565 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682803338096 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=576] ppid=557 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/560/task/576/stat : 576 (java) S 557 560 29110 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 98193565 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682802285296 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=577] ppid=557 vsize=10658972 memory=139953089611392 CPUtime=0.09 cores=1,3,5,7
/proc/560/task/577/stat : 577 (java) R 557 560 29110 0 -1 4202560 873 0 0 0 9 0 0 0 20 0 15 0 98193565 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682801228224 139683294374352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=578] ppid=557 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/578/stat : 578 (java) S 557 560 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98193566 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682800179936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=579] ppid=557 vsize=10658972 memory=139953089611392 CPUtime=0 cores=1,3,5,7
/proc/560/task/579/stat : 579 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193566 10914787328 10155 33554432000 4194304 4196468 140732799284176 139682799127216 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40420 KiB
[startup+0.310425 s]*
/proc/loadavg: 1.41 1.43 1.40 4/216 579
/proc/meminfo: memFree=27294228/32770624 swapFree=67108860/67108860
[pid=560] ppid=557 vsize=10659048 memory=46496 CPUtime=0.56 cores=1,3,5,7
/proc/560/stat : 560 (java) S 557 560 29110 0 -1 1077944320 8662 0 0 0 53 3 0 0 20 0 15 0 98193560 10914865152 11624 33554432000 4194304 4196468 140732799284176 140732799266720 139683315670775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
/proc/560/statm: 2664762 11624 3062 1 0 2627263 0
[pid=560/tid=562] ppid=557 vsize=10659048 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/560/task/562/stat : 562 (java) R 557 560 29110 0 -1 4202560 5468 0 0 0 28 2 0 0 20 0 15 0 98193560 10914865152 11624 33554432000 4194304 4196468 140732799284176 139683319906832 139682953099158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=563] ppid=557 vsize=10659048 memory=310748602844840300 CPUtime=0 cores=1,3,5,7
/proc/560/task/563/stat : 563 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914865152 11624 33554432000 4194304 4196468 140732799284176 139683276631184 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=564] ppid=557 vsize=10659048 memory=3761690087054927620 CPUtime=0 cores=1,3,5,7
/proc/560/task/564/stat : 564 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682921552912 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=565] ppid=557 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/565/stat : 565 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193561 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682920500112 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=566] ppid=557 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/566/stat : 566 (java) S 557 560 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98193561 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682919447312 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=567] ppid=557 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/567/stat : 567 (java) S 557 560 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98193562 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682875545968 139683315681922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=568] ppid=557 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/568/stat : 568 (java) S 557 560 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98193563 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682874491936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=569] ppid=557 vsize=10659048 memory=139953089611392 CPUtime=0 cores=1,3,5,7
/proc/560/task/569/stat : 569 (java) S 557 560 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98193563 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682805441392 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=570] ppid=557 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/570/stat : 570 (java) S 557 560 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98193565 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682804389712 139683315689371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=572] ppid=557 vsize=10659048 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/560/task/572/stat : 572 (java) R 557 560 29110 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 15 0 98193565 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682803338096 139683315681922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=576] ppid=557 vsize=10659048 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/560/task/576/stat : 576 (java) R 557 560 29110 0 -1 4202560 357 0 0 0 5 0 0 0 20 0 15 0 98193565 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682802274080 139683307960224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=577] ppid=557 vsize=10659048 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/560/task/577/stat : 577 (java) S 557 560 29110 0 -1 1077944384 954 0 0 0 15 0 0 0 20 0 15 0 98193565 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682801232496 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=578] ppid=557 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/578/stat : 578 (java) S 557 560 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98193566 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682800179936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=579] ppid=557 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/579/stat : 579 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98193566 10914865152 11624 33554432000 4194304 4196468 140732799284176 139682799127216 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 46496 KiB
[startup+0.430771 s]
# the end of solver process 560 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.776807 s, system=0.04224 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410451 s]*
/proc/loadavg: 1.41 1.43 1.40 6/216 579
/proc/meminfo: memFree=27288024/32770624 swapFree=67108860/67108860
[pid=560] ppid=557 vsize=10660076 memory=52832 CPUtime=0.8 cores=1,3,5,7
/proc/560/stat : 560 (java) S 557 560 29110 0 -1 1077944320 9316 0 0 0 77 3 0 0 20 0 16 0 98193560 10915917824 13208 33554432000 4194304 4196468 140732799284176 140732799266720 139683315670775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
/proc/560/statm: 2665019 13208 3075 1 0 2627520 0
[pid=560/tid=562] ppid=557 vsize=10725612 memory=7022364594140610616 CPUtime=0.39 cores=1,3,5,7
/proc/560/task/562/stat : 562 (java) S 557 560 29110 0 -1 1077944384 5761 0 0 0 37 2 0 0 20 0 14 0 98193560 10983026688 13220 33554432000 4194304 4196468 140732799284176 139683319913616 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=563] ppid=557 vsize=10725612 memory=331 CPUtime=0 cores=1,3,5,7
/proc/560/task/563/stat : 563 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98193561 10983026688 13220 33554432000 4194304 4196468 140732799284176 139683276631184 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=564] ppid=557 vsize=10725612 memory=139953089637732 CPUtime=0 cores=1,3,5,7
/proc/560/task/564/stat : 564 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98193561 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682921552912 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=565] ppid=557 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/565/stat : 565 (java) S 557 560 29110 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 98193561 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682920500112 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=566] ppid=557 vsize=10725612 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/566/stat : 566 (java) S 557 560 29110 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 98193561 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682919447312 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=567] ppid=557 vsize=10725612 memory=139953089611392 CPUtime=0 cores=1,3,5,7
/proc/560/task/567/stat : 567 (java) S 557 560 29110 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 98193562 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682875546176 139683315681922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=568] ppid=557 vsize=10725612 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/568/stat : 568 (java) S 557 560 29110 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 98193563 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682874491936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=569] ppid=557 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/569/stat : 569 (java) S 557 560 29110 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 98193563 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682805441392 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=570] ppid=557 vsize=10725612 memory=0 CPUtime=0 cores=1,3,5,7
/proc/560/task/570/stat : 570 (java) S 557 560 29110 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 14 0 98193565 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682804388480 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=572] ppid=557 vsize=10725612 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/560/task/572/stat : 572 (java) S 557 560 29110 0 -1 1077944384 636 0 0 0 7 0 0 0 20 0 14 0 98193565 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682803338096 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=576] ppid=557 vsize=10725612 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/560/task/576/stat : 576 (java) S 557 560 29110 0 -1 1077944384 436 0 0 0 9 0 0 0 20 0 14 0 98193565 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682802269808 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=577] ppid=557 vsize=10725612 memory=139953089611392 CPUtime=0.23 cores=1,3,5,7
/proc/560/task/577/stat : 577 (java) S 557 560 29110 0 -1 1077944384 1140 0 0 0 23 0 0 0 20 0 14 0 98193565 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682801232496 139683315681922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
[pid=560/tid=578] ppid=557 vsize=10725612 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/560/task/578/stat : 578 (java) S 557 560 29110 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 98193566 10983026688 13220 33554432000 4194304 4196468 140732799284176 139682800179936 139683315680981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27541504 140732799288493 140732799288585 140732799288585 140732799291343 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 10660076 KiB
Current children cumulated memory: 52832 KiB
Child status: 0
Real time (s): 0.430805
CPU time (s): 0.819047
CPU user time (s): 0.776807
CPU system time (s): 0.04224
CPU usage (%): 190.12
Max. virtual memory (cumulated for all children) (KiB): 10660076
Max. memory (cumulated for all children) (KiB): 52832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.776807
system time used= 0.04224
maximum resident set size= 53432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1278
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 560
# total CPU time (s): 0.819047
# total CPU user time (s): 0.776807
# total CPU system time (s): 0.04224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024556 second user time and 0.037857 second system time
The end