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-3726470-1338652545/watcher-3726470-1338652545 -o /tmp/evaluation-result-3726470-1338652545/solver-3726470-1338652545 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726470-1338652545.opb
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: 2.00 1.97 1.92 3/177 16290
/proc/meminfo: memFree=28457492/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=3232 CPUtime=0 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) R 16288 16290 13572 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 331380536 3309568 251 33554432000 4194304 5964478 140734033585120 140734033583000 4419535 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 808 251 166 433 0 351 0
[startup+0.0824229 s]
/proc/loadavg: 2.00 1.97 1.92 3/177 16290
/proc/meminfo: memFree=28457492/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=83840 CPUtime=0.07 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 1117 0 0 0 7 0 0 0 20 0 2 0 331380536 85852160 1048 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 20960 1048 186 433 0 20524 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83840
[startup+0.100271 s]
/proc/loadavg: 2.00 1.97 1.92 3/177 16290
/proc/meminfo: memFree=28457492/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=83840 CPUtime=0.09 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 1164 0 0 0 9 0 0 0 20 0 2 0 331380536 85852160 1095 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 20960 1095 186 433 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83840
[startup+0.300178 s]
/proc/loadavg: 2.00 1.97 1.92 3/177 16290
/proc/meminfo: memFree=28457492/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=83840 CPUtime=0.29 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 1584 0 0 0 29 0 0 0 20 0 2 0 331380536 85852160 1515 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 20960 1515 186 433 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83840
[startup+0.700183 s]
/proc/loadavg: 2.00 1.97 1.92 3/177 16290
/proc/meminfo: memFree=28457492/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=83984 CPUtime=0.69 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 2023 0 0 0 69 0 0 0 20 0 2 0 331380536 85999616 1954 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 20996 1954 186 433 0 20560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83984
[startup+1.50021 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28448656/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=84056 CPUtime=1.49 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 2600 0 0 0 149 0 0 0 20 0 2 0 331380536 86073344 2531 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 21014 2531 186 433 0 20578 0
[pid=16290/tid=16292] ppid=16288 vsize=84056 CPUtime=1.48 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 1810 0 0 0 148 0 0 0 20 0 2 0 331380537 86073344 2531 33554432000 4194304 5964478 140734033585120 139928781694968 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84056
[startup+3.10021 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28444316/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=84056 CPUtime=3.09 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 3479 0 0 0 309 0 0 0 20 0 2 0 331380536 86073344 3410 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 21014 3410 186 433 0 20578 0
[pid=16290/tid=16292] ppid=16288 vsize=84056 CPUtime=3.08 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 2689 0 0 0 308 0 0 0 20 0 2 0 331380537 86073344 3410 33554432000 4194304 5964478 140734033585120 139928781694776 4403708 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84056
[startup+6.30016 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28434900/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=84164 CPUtime=6.29 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 4875 0 0 0 628 1 0 0 20 0 2 0 331380536 86183936 4806 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 21041 4806 186 433 0 20605 0
[pid=16290/tid=16292] ppid=16288 vsize=84164 CPUtime=6.28 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 4085 0 0 0 626 2 0 0 20 0 2 0 331380537 86183936 4806 33554432000 4194304 5964478 140734033585120 139928781694776 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84164
[startup+12.7002 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28424548/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=84324 CPUtime=12.68 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 7066 0 0 0 1266 2 0 0 20 0 2 0 331380536 86347776 6997 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 21081 6997 186 433 0 20645 0
[pid=16290/tid=16292] ppid=16288 vsize=84324 CPUtime=12.67 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 6276 0 0 0 1264 3 0 0 20 0 2 0 331380537 86347776 6997 33554432000 4194304 5964478 140734033585120 139928781695016 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84324
[startup+25.5002 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28404032/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=85500 CPUtime=25.47 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 10379 0 0 0 2545 2 0 0 20 0 2 0 331380536 87552000 10343 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 21375 10343 186 433 0 20939 0
[pid=16290/tid=16292] ppid=16288 vsize=85500 CPUtime=25.46 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 9589 0 0 0 2543 3 0 0 20 0 2 0 331380537 87552000 10343 33554432000 4194304 5964478 140734033585120 139928781694776 4400024 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 85500
[startup+51.1002 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28376384/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=86076 CPUtime=51.06 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 15492 0 0 0 5102 4 0 0 20 0 2 0 331380536 88141824 16314 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 21519 16314 186 433 0 21083 0
[pid=16290/tid=16292] ppid=16288 vsize=86076 CPUtime=51.06 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 14702 0 0 0 5101 5 0 0 20 0 2 0 331380537 88141824 16314 33554432000 4194304 5964478 140734033585120 139928781694776 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86076
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28343624/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153124 CPUtime=76.66 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20365 0 0 0 7660 6 0 0 20 0 2 0 331380536 156798976 21187 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38281 21187 186 433 0 37845 0
[pid=16290/tid=16292] ppid=16288 vsize=153124 CPUtime=76.67 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19575 0 0 0 7659 8 0 0 20 0 2 0 331380537 156798976 21187 33554432000 4194304 5964478 140734033585120 139928781694968 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 153124
[startup+83.1003 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28340276/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153340 CPUtime=83.07 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20715 0 0 0 8300 7 0 0 20 0 2 0 331380536 157020160 21537 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38335 21537 186 433 0 37899 0
[pid=16290/tid=16292] ppid=16288 vsize=153340 CPUtime=83.07 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19925 0 0 0 8299 8 0 0 20 0 2 0 331380537 157020160 21537 33554432000 4194304 5964478 140734033585120 139928781694776 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 153340
[startup+86.3003 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28340524/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153340 CPUtime=86.27 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20720 0 0 0 8620 7 0 0 20 0 2 0 331380536 157020160 21542 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38335 21542 186 433 0 37899 0
[pid=16290/tid=16292] ppid=16288 vsize=153340 CPUtime=86.27 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19930 0 0 0 8619 8 0 0 20 0 2 0 331380537 157020160 21542 33554432000 4194304 5964478 140734033585120 139928781694776 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 86.27
Current children cumulated vsize (KiB) 153340
[startup+87.9002 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28340524/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153340 CPUtime=87.87 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20720 0 0 0 8780 7 0 0 20 0 2 0 331380536 157020160 21542 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38335 21542 186 433 0 37899 0
[pid=16290/tid=16292] ppid=16288 vsize=153340 CPUtime=87.87 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19930 0 0 0 8779 8 0 0 20 0 2 0 331380537 157020160 21542 33554432000 4194304 5964478 140734033585120 139928781694776 4400109 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 87.87
Current children cumulated vsize (KiB) 153340
[startup+88.7002 s]
/proc/loadavg: 2.00 1.97 1.92 3/179 16292
/proc/meminfo: memFree=28340524/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153340 CPUtime=88.67 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20725 0 0 0 8860 7 0 0 20 0 2 0 331380536 157020160 21547 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38335 21547 186 433 0 37899 0
[pid=16290/tid=16292] ppid=16288 vsize=153340 CPUtime=88.67 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19935 0 0 0 8859 8 0 0 20 0 2 0 331380537 157020160 21547 33554432000 4194304 5964478 140734033585120 139928781694776 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 88.67
Current children cumulated vsize (KiB) 153340
[startup+89.1064 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 16292
/proc/meminfo: memFree=28340408/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153340 CPUtime=89.07 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20734 0 0 0 8900 7 0 0 20 0 2 0 331380536 157020160 21556 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38335 21556 186 433 0 37899 0
[pid=16290/tid=16292] ppid=16288 vsize=153340 CPUtime=89.07 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19944 0 0 0 8898 9 0 0 20 0 2 0 331380537 157020160 21556 33554432000 4194304 5964478 140734033585120 139928781694776 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 89.07
Current children cumulated vsize (KiB) 153340
[startup+89.5003 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 16292
/proc/meminfo: memFree=28340408/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153340 CPUtime=89.46 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20742 0 0 0 8939 7 0 0 20 0 2 0 331380536 157020160 21564 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38335 21564 186 433 0 37899 0
[pid=16290/tid=16292] ppid=16288 vsize=153340 CPUtime=89.47 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19952 0 0 0 8938 9 0 0 20 0 2 0 331380537 157020160 21564 33554432000 4194304 5964478 140734033585120 139928781694776 4400103 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 153340
[startup+89.6003 s]
/proc/loadavg: 2.00 1.97 1.92 3/178 16292
/proc/meminfo: memFree=28340408/32873648 swapFree=6864/6864
[pid=16290] ppid=16288 vsize=153340 CPUtime=89.56 cores=0,2,4,6
/proc/16290/stat : 16290 (pwbo2.02) S 16288 16290 13572 0 -1 4202496 20742 0 0 0 8949 7 0 0 20 0 2 0 331380536 157020160 21564 33554432000 4194304 5964478 140734033585120 140734033584640 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16290/statm: 38335 21564 186 433 0 37899 0
[pid=16290/tid=16292] ppid=16288 vsize=153340 CPUtime=89.57 cores=0,2,4,6
/proc/16290/task/16292/stat : 16292 (pwbo2.02) R 16288 16290 13572 0 -1 4202560 19952 0 0 0 8948 9 0 0 20 0 2 0 331380537 157020160 21564 33554432000 4194304 5964478 140734033585120 139928781694776 4400784 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (KiB) 153340
Child status: 255
Real time (s): 89.6066
CPU time (s): 89.5994
CPU user time (s): 89.4934
CPU system time (s): 0.105983
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 153340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.4934
system time used= 0.105983
maximum resident set size= 86268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20745
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= 19
involuntary context switches= 118
runsolver used 0.329949 second user time and 0.733888 second system time
The end