runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3728723-1338675103/watcher-3728723-1338675103 -o /tmp/evaluation-result-3728723-1338675103/solver-3728723-1338675103 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728723-1338675103.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.84 2.71 2.26 4/178 20864
/proc/meminfo: memFree=27128484/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=162964 CPUtime=0 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 1044 0 0 0 0 0 0 0 20 0 3 0 333635219 166875136 987 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 40741 990 178 433 0 40305 0
[pid=20864/tid=20865] ppid=20862 vsize=162964 CPUtime=0 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 3 0 333635219 166875136 993 33554432000 4194304 5964478 140737047617232 140698785098280 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=162964 CPUtime=0 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 3 0 333635219 166875136 998 33554432000 4194304 5964478 140737047617232 140698774608424 5244295 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.094468 s]
/proc/loadavg: 3.84 2.71 2.26 4/178 20864
/proc/meminfo: memFree=27128484/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=163472 CPUtime=0.18 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 2167 0 0 0 18 0 0 0 20 0 3 0 333635219 167395328 2079 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 40868 2079 202 433 0 40432 0
[pid=20864/tid=20865] ppid=20862 vsize=163472 CPUtime=0.07 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 512 0 0 0 7 0 0 0 20 0 3 0 333635219 167395328 2079 33554432000 4194304 5964478 140737047617232 140698785097720 4400078 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=163472 CPUtime=0.07 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 749 0 0 0 7 0 0 0 20 0 3 0 333635219 167395328 2079 33554432000 4194304 5964478 140737047617232 140698774607992 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163472
[startup+0.100335 s]
/proc/loadavg: 3.84 2.71 2.26 4/178 20864
/proc/meminfo: memFree=27128484/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=163472 CPUtime=0.19 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 2189 0 0 0 19 0 0 0 20 0 3 0 333635219 167395328 2101 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 40868 2101 202 433 0 40432 0
[pid=20864/tid=20865] ppid=20862 vsize=163472 CPUtime=0.08 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 523 0 0 0 8 0 0 0 20 0 3 0 333635219 167395328 2101 33554432000 4194304 5964478 140737047617232 140698785097720 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=163472 CPUtime=0.08 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 3 0 333635219 167395328 2101 33554432000 4194304 5964478 140737047617232 140698774607992 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 163472
[startup+0.300288 s]
/proc/loadavg: 3.84 2.71 2.26 4/178 20864
/proc/meminfo: memFree=27128484/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=163472 CPUtime=0.58 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 3047 0 0 0 58 0 0 0 20 0 3 0 333635219 167395328 2959 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 40868 2959 202 433 0 40432 0
[pid=20864/tid=20865] ppid=20862 vsize=163472 CPUtime=0.28 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 937 0 0 0 28 0 0 0 20 0 3 0 333635219 167395328 2959 33554432000 4194304 5964478 140737047617232 140698785097656 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=163472 CPUtime=0.28 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 1204 0 0 0 28 0 0 0 20 0 3 0 333635219 167395328 2959 33554432000 4194304 5964478 140737047617232 140698774608184 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163472
[startup+0.700284 s]
/proc/loadavg: 3.84 2.71 2.26 4/178 20864
/proc/meminfo: memFree=27128484/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=163472 CPUtime=1.38 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 4088 0 0 0 138 0 0 0 20 0 3 0 333635219 167395328 4000 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 40868 4000 202 433 0 40432 0
[pid=20864/tid=20865] ppid=20862 vsize=163472 CPUtime=0.68 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 1449 0 0 0 68 0 0 0 20 0 3 0 333635219 167395328 4001 33554432000 4194304 5964478 140737047617232 140698785097720 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=163472 CPUtime=0.68 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 1734 0 0 0 68 0 0 0 20 0 3 0 333635219 167395328 4001 33554432000 4194304 5964478 140737047617232 140698774608184 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163472
[startup+1.50031 s]
/proc/loadavg: 3.84 2.71 2.26 5/180 20867
/proc/meminfo: memFree=27105008/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=163604 CPUtime=2.98 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 6373 0 0 0 297 1 0 0 20 0 3 0 333635219 167530496 6285 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 40901 6285 202 433 0 40465 0
[pid=20864/tid=20865] ppid=20862 vsize=163604 CPUtime=1.48 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 2470 0 0 0 148 0 0 0 20 0 3 0 333635219 167530496 6285 33554432000 4194304 5964478 140737047617232 140698785097768 4400069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=163604 CPUtime=1.48 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 2997 0 0 0 148 0 0 0 20 0 3 0 333635219 167530496 6285 33554432000 4194304 5964478 140737047617232 140698774608232 4400542 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163604
[startup+3.10033 s]
/proc/loadavg: 3.84 2.71 2.26 5/180 20867
/proc/meminfo: memFree=27088028/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=164180 CPUtime=6.18 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 9833 0 0 0 615 3 0 0 20 0 3 0 333635219 168120320 9745 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 41045 9745 202 433 0 40609 0
[pid=20864/tid=20865] ppid=20862 vsize=164180 CPUtime=3.08 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 4142 0 0 0 306 2 0 0 20 0 3 0 333635219 168120320 9745 33554432000 4194304 5964478 140737047617232 140698785097720 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=164180 CPUtime=3.08 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 4785 0 0 0 306 2 0 0 20 0 3 0 333635219 168120320 9745 33554432000 4194304 5964478 140737047617232 140698774608184 4373352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164180
[startup+6.30035 s]
/proc/loadavg: 3.85 2.73 2.26 5/180 20867
/proc/meminfo: memFree=27048952/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=164556 CPUtime=12.57 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 14721 0 0 0 1252 5 0 0 20 0 3 0 333635219 168505344 14918 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 41139 14918 202 433 0 40703 0
[pid=20864/tid=20865] ppid=20862 vsize=164556 CPUtime=6.27 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 6340 0 0 0 624 3 0 0 20 0 3 0 333635219 168505344 14918 33554432000 4194304 5964478 140737047617232 140698785097720 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=164556 CPUtime=6.28 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 7475 0 0 0 625 3 0 0 20 0 3 0 333635219 168505344 14918 33554432000 4194304 5964478 140737047617232 140698774608184 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164556
[startup+12.7004 s]
/proc/loadavg: 3.86 2.75 2.27 5/181 20868
/proc/meminfo: memFree=26995844/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=165060 CPUtime=25.37 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 21785 0 0 0 2529 8 0 0 20 0 3 0 333635219 169021440 21982 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 41265 21982 202 433 0 40829 0
[pid=20864/tid=20865] ppid=20862 vsize=165060 CPUtime=12.68 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 10881 0 0 0 1263 5 0 0 20 0 3 0 333635219 169021440 21982 33554432000 4194304 5964478 140737047617232 140698785097768 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=165060 CPUtime=12.68 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 9998 0 0 0 1264 4 0 0 20 0 3 0 333635219 169021440 21982 33554432000 4194304 5964478 140737047617232 140698774608184 4399952 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165060
[startup+25.5003 s]
/proc/loadavg: 3.89 2.81 2.30 5/181 20868
/proc/meminfo: memFree=26931752/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=165732 CPUtime=50.96 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 30845 0 0 0 5083 13 0 0 20 0 3 0 333635219 169709568 31038 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 41433 31038 202 433 0 40997 0
[pid=20864/tid=20865] ppid=20862 vsize=165732 CPUtime=25.46 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 15391 0 0 0 2539 7 0 0 20 0 3 0 333635219 169709568 31038 33554432000 4194304 5964478 140737047617232 140698785097720 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=165732 CPUtime=25.48 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 14548 0 0 0 2541 7 0 0 20 0 3 0 333635219 169709568 31038 33554432000 4194304 5964478 140737047617232 140698774608184 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 165732
[startup+51.1003 s]
/proc/loadavg: 3.93 2.90 2.34 5/181 20868
/proc/meminfo: memFree=26794700/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=297872 CPUtime=102.14 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 50602 0 0 0 10191 23 0 0 20 0 3 0 333635219 305020928 50808 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 74468 50808 202 433 0 74032 0
[pid=20864/tid=20865] ppid=20862 vsize=297872 CPUtime=51.05 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 24438 0 0 0 5094 11 0 0 20 0 3 0 333635219 305020928 50808 33554432000 4194304 5964478 140737047617232 140698785097720 4400089 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=297872 CPUtime=51.08 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 25258 0 0 0 5095 13 0 0 20 0 3 0 333635219 305020928 50808 33554432000 4194304 5964478 140737047617232 140698774608184 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 297872
[startup+102.307 s]
/proc/loadavg: 3.97 3.07 2.43 5/181 20868
/proc/meminfo: memFree=26513760/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=431020 CPUtime=204.49 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 76020 0 0 0 20411 38 0 0 20 0 3 0 333635219 441364480 76222 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 107755 76222 202 433 0 107319 0
[pid=20864/tid=20865] ppid=20862 vsize=431020 CPUtime=102.22 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 40132 0 0 0 10200 22 0 0 20 0 3 0 333635219 441364480 76222 33554432000 4194304 5964478 140737047617232 140698785097720 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=431020 CPUtime=102.27 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 34982 0 0 0 10208 19 0 0 20 0 3 0 333635219 441364480 76222 33554432000 4194304 5964478 140737047617232 140698774608184 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 204.49
Current children cumulated vsize (KiB) 431020
[startup+162.3 s]
/proc/loadavg: 3.99 3.24 2.52 5/181 20868
/proc/meminfo: memFree=26300852/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=432300 CPUtime=324.44 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 89491 0 0 0 32399 45 0 0 20 0 3 0 333635219 442675200 91397 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 108075 91397 202 433 0 107639 0
[pid=20864/tid=20865] ppid=20862 vsize=432300 CPUtime=162.22 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 45301 0 0 0 16196 26 0 0 20 0 3 0 333635219 442675200 91397 33554432000 4194304 5964478 140737047617232 140698785097720 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=432300 CPUtime=162.25 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 43284 0 0 0 16201 24 0 0 20 0 3 0 333635219 442675200 91397 33554432000 4194304 5964478 140737047617232 140698774608288 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 432300
[startup+222.3 s]
/proc/loadavg: 3.99 3.37 2.61 5/181 20868
/proc/meminfo: memFree=26209556/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=564820 CPUtime=444.42 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 112086 0 0 0 44382 60 0 0 20 0 3 0 333635219 578375680 113992 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 141205 113992 202 433 0 140769 0
[pid=20864/tid=20865] ppid=20862 vsize=564820 CPUtime=222.22 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 56731 0 0 0 22187 35 0 0 20 0 3 0 333635219 578375680 113992 33554432000 4194304 5964478 140737047617232 140698785097720 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=564820 CPUtime=222.25 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 54449 0 0 0 22193 32 0 0 20 0 3 0 333635219 578375680 113992 33554432000 4194304 5964478 140737047617232 140698774608232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 444.42
Current children cumulated vsize (KiB) 564820
################
# More data... #
################
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 56736 0 0 0 28186 36 0 0 20 0 3 0 333635219 578760704 114040 33554432000 4194304 5964478 140737047617232 140698785097720 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=565196 CPUtime=282.26 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 54516 0 0 0 28193 33 0 0 20 0 3 0 333635219 578760704 114040 33554432000 4194304 5964478 140737047617232 140698774607944 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 564.4
Current children cumulated vsize (KiB) 565196
[startup+342.3 s]
/proc/loadavg: 4.02 3.59 2.78 5/181 20869
/proc/meminfo: memFree=25809156/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=565564 CPUtime=684.38 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 112292 0 0 0 68378 60 0 0 20 0 3 0 333635219 579137536 114174 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 141391 114174 202 433 0 140955 0
[pid=20864/tid=20865] ppid=20862 vsize=565564 CPUtime=342.22 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 56738 0 0 0 34185 37 0 0 20 0 3 0 333635219 579137536 114174 33554432000 4194304 5964478 140737047617232 140698785097720 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=565564 CPUtime=342.26 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 54648 0 0 0 34192 34 0 0 20 0 3 0 333635219 579137536 114174 33554432000 4194304 5964478 140737047617232 140698774608232 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 565564
[startup+402.3 s]
/proc/loadavg: 4.00 3.66 2.85 5/181 20869
/proc/meminfo: memFree=25623060/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=632140 CPUtime=804.37 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 126188 0 0 0 80340 97 0 0 20 0 3 0 333635219 647311360 128070 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 158035 128070 202 433 0 157599 0
[pid=20864/tid=20865] ppid=20862 vsize=632140 CPUtime=402.22 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 70583 0 0 0 40147 75 0 0 20 0 3 0 333635219 647311360 128070 33554432000 4194304 5964478 140737047617232 140698785097768 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=632140 CPUtime=402.26 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 54699 0 0 0 40191 35 0 0 20 0 3 0 333635219 647311360 128070 33554432000 4194304 5964478 140737047617232 140698774607944 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 632140
[startup+462.3 s]
/proc/loadavg: 4.00 3.72 2.92 5/181 20869
/proc/meminfo: memFree=25467344/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=632140 CPUtime=924.35 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 126220 0 0 0 92338 97 0 0 20 0 3 0 333635219 647311360 128102 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 158035 128102 202 433 0 157599 0
[pid=20864/tid=20865] ppid=20862 vsize=632140 CPUtime=462.22 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 70614 0 0 0 46146 76 0 0 20 0 3 0 333635219 647311360 128102 33554432000 4194304 5964478 140737047617232 140698785097768 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=632140 CPUtime=462.26 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 54700 0 0 0 46190 36 0 0 20 0 3 0 333635219 647311360 128102 33554432000 4194304 5964478 140737047617232 140698774607944 4400106 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 632140
[startup+522.3 s]
/proc/loadavg: 4.00 3.77 2.99 5/182 20872
/proc/meminfo: memFree=25337288/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=632452 CPUtime=1044.32 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 132894 0 0 0 104319 113 0 0 20 0 3 0 333635219 647630848 134776 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 158113 134776 202 433 0 157677 0
[pid=20864/tid=20865] ppid=20862 vsize=632452 CPUtime=522.21 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 70616 0 0 0 52145 76 0 0 20 0 3 0 333635219 647630848 134776 33554432000 4194304 5964478 140737047617232 140698785097768 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=632452 CPUtime=522.27 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 61372 0 0 0 52174 53 0 0 20 0 3 0 333635219 647630848 134776 33554432000 4194304 5964478 140737047617232 140698774608184 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 632452
[startup+582.3 s]
/proc/loadavg: 3.32 3.65 2.99 3/173 20896
/proc/meminfo: memFree=27140376/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=700520 CPUtime=1164.3 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 151055 0 0 0 116279 151 0 0 20 0 3 0 333635219 717332480 153021 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 175130 153021 202 433 0 174694 0
[pid=20864/tid=20865] ppid=20862 vsize=700520 CPUtime=582.21 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 75769 0 0 0 58136 85 0 0 20 0 3 0 333635219 717332480 153021 33554432000 4194304 5964478 140737047617232 140698785097720 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=700520 CPUtime=582.26 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 74380 0 0 0 58143 83 0 0 20 0 3 0 333635219 717332480 153021 33554432000 4194304 5964478 140737047617232 140698774607944 4390279 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 700520
[startup+642.3 s]
/proc/loadavg: 2.48 3.34 2.93 3/173 20897
/proc/meminfo: memFree=27094648/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=766884 CPUtime=1284.25 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 162401 0 0 0 128258 167 0 0 20 0 3 0 333635219 785289216 164338 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 191721 164338 202 433 0 191285 0
[pid=20864/tid=20865] ppid=20862 vsize=766884 CPUtime=642.19 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 87086 0 0 0 64117 102 0 0 20 0 3 0 333635219 785289216 164338 33554432000 4194304 5964478 140737047617232 140698785097720 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=766884 CPUtime=642.26 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 74409 0 0 0 64142 84 0 0 20 0 3 0 333635219 785289216 164338 33554432000 4194304 5964478 140737047617232 140698774607944 4400097 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 766884
[startup+702.3 s]
/proc/loadavg: 2.17 3.10 2.87 3/173 20897
/proc/meminfo: memFree=27093932/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=767708 CPUtime=1404.18 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 162595 0 0 0 140251 167 0 0 20 0 3 0 333635219 786132992 164494 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 191927 164494 202 433 0 191491 0
[pid=20864/tid=20865] ppid=20862 vsize=767708 CPUtime=702.17 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 87106 0 0 0 70114 103 0 0 20 0 3 0 333635219 786132992 164494 33554432000 4194304 5964478 140737047617232 140698785097720 4400078 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=767708 CPUtime=702.23 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 74583 0 0 0 70137 86 0 0 20 0 3 0 333635219 786132992 164494 33554432000 4194304 5964478 140737047617232 140698774607992 4220675 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1404.18
Current children cumulated vsize (KiB) 767708
[startup+762.306 s]
/proc/loadavg: 2.13 2.91 2.82 3/173 20897
/proc/meminfo: memFree=27033820/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=834412 CPUtime=1524.13 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 177868 0 0 0 152234 179 0 0 20 0 3 0 333635219 854437888 179724 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 208603 179724 202 433 0 208167 0
[pid=20864/tid=20865] ppid=20862 vsize=834412 CPUtime=762.13 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 87796 0 0 0 76109 104 0 0 20 0 3 0 333635219 854437888 179724 33554432000 4194304 5964478 140737047617232 140698785097720 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=834412 CPUtime=762.23 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 89166 0 0 0 76125 98 0 0 20 0 3 0 333635219 854437888 179724 33554432000 4194304 5964478 140737047617232 140698774608184 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1524.13
Current children cumulated vsize (KiB) 834412
[startup+822.3 s]
/proc/loadavg: 2.05 2.74 2.76 3/173 20897
/proc/meminfo: memFree=26940852/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=900504 CPUtime=1644.06 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 201160 0 0 0 164207 199 0 0 20 0 3 0 333635219 922116096 202986 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 225126 202986 202 433 0 224690 0
[pid=20864/tid=20865] ppid=20862 vsize=900504 CPUtime=822.12 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 100353 0 0 0 82096 116 0 0 20 0 3 0 333635219 922116096 202986 33554432000 4194304 5964478 140737047617232 140698785097720 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=900504 CPUtime=822.2 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 99901 0 0 0 82112 108 0 0 20 0 3 0 333635219 922116096 202986 33554432000 4194304 5964478 140737047617232 140698774608184 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 900504
[startup+882.3 s]
/proc/loadavg: 2.02 2.60 2.71 3/173 20897
/proc/meminfo: memFree=26887408/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=901276 CPUtime=1764.04 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 214370 0 0 0 176193 211 0 0 20 0 3 0 333635219 922906624 216196 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 225319 216196 202 433 0 224883 0
[pid=20864/tid=20865] ppid=20862 vsize=901276 CPUtime=882.12 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 113563 0 0 0 88083 129 0 0 20 0 3 0 333635219 922906624 216196 33554432000 4194304 5964478 140737047617232 140698785097720 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=901276 CPUtime=882.21 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 99901 0 0 0 88112 109 0 0 20 0 3 0 333635219 922906624 216196 33554432000 4194304 5964478 140737047617232 140698774608184 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1764.04
Current children cumulated vsize (KiB) 901276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 2.01 2.56 2.70 3/173 20897
/proc/meminfo: memFree=26874512/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=966972 CPUtime=1800.05 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 217656 0 0 0 179791 214 0 0 20 0 3 0 333635219 990179328 219482 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 241743 219482 202 433 0 241307 0
[pid=20864/tid=20865] ppid=20862 vsize=966972 CPUtime=900.12 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 116849 0 0 0 89880 132 0 0 20 0 3 0 333635219 990179328 219482 33554432000 4194304 5964478 140737047617232 140698785097720 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=966972 CPUtime=900.21 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 99901 0 0 0 89912 109 0 0 20 0 3 0 333635219 990179328 219482 33554432000 4194304 5964478 140737047617232 140698774608184 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 966972
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 2.01 2.56 2.70 3/173 20897
/proc/meminfo: memFree=26874512/32873844 swapFree=7628/7628
[pid=20864] ppid=20862 vsize=966972 CPUtime=1800.05 cores=0,2,4,6
/proc/20864/stat : 20864 (pwbo2.02) S 20862 20864 17860 0 -1 4202496 217656 0 0 0 179791 214 0 0 20 0 3 0 333635219 990179328 219482 33554432000 4194304 5964478 140737047617232 140737047616752 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20864/statm: 241743 219482 202 433 0 241307 0
[pid=20864/tid=20865] ppid=20862 vsize=966972 CPUtime=900.12 cores=0,2,4,6
/proc/20864/task/20865/stat : 20865 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 116849 0 0 0 89880 132 0 0 20 0 3 0 333635219 990179328 219482 33554432000 4194304 5964478 140737047617232 140698785097720 4400097 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=20864/tid=20866] ppid=20862 vsize=966972 CPUtime=900.21 cores=0,2,4,6
/proc/20864/task/20866/stat : 20866 (pwbo2.02) R 20862 20864 17860 0 -1 4202560 99901 0 0 0 89912 109 0 0 20 0 3 0 333635219 990179328 219482 33554432000 4194304 5964478 140737047617232 140698774608184 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 966972
Child status: 0
Real time (s): 900.332
CPU time (s): 1800.4
CPU user time (s): 1797.95
CPU system time (s): 2.45063
CPU usage (%): 199.971
Max. virtual memory (cumulated for all children) (KiB): 966972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.45063
maximum resident set size= 877936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 699
involuntary context switches= 2179
runsolver used 1.84072 second user time and 5.01524 second system time
The end