runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3494422-1307805257/watcher-3494422-1307805257 -o /tmp/evaluation-result-3494422-1307805257/solver-3494422-1307805257 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494422-1307805257.cnf -no-pre
running on 2 cores: 0,2
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.95 3.65 5/189 25587
/proc/meminfo: memFree=29036824/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=20248 CPUtime=0 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 636 0 0 0 0 0 0 0 25 0 1 0 970756376 20733952 572 33554432000 4194304 4337479 140735950965632 18446744073709551615 4258532 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 5062 572 223 35 0 1685 0
[startup+0.0147609 s]
/proc/loadavg: 4.01 3.95 3.65 5/189 25587
/proc/meminfo: memFree=29036824/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=21428 CPUtime=0.01 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1064 0 0 0 1 0 0 0 25 0 1 0 970756376 21942272 992 33554432000 4194304 4337479 140735950965632 18446744073709551615 4287600 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 5357 994 223 35 0 1980 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21428
[startup+0.100773 s]
/proc/loadavg: 4.01 3.95 3.65 5/189 25587
/proc/meminfo: memFree=29036824/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=29172 CPUtime=0.09 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 3314 0 0 0 9 0 0 0 25 0 1 0 970756376 29872128 3191 33554432000 4194304 4337479 140735950965632 18446744073709551615 4280437 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 7293 3191 239 35 0 3916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29172
[startup+0.300728 s]
/proc/loadavg: 4.01 3.95 3.65 5/189 25587
/proc/meminfo: memFree=29036824/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=29172 CPUtime=0.29 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 3707 0 0 0 29 0 0 0 25 0 1 0 970756376 29872128 3581 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303658 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 7293 3581 240 35 0 3916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29172
[startup+0.70066 s]
/proc/loadavg: 4.01 3.95 3.65 5/189 25587
/proc/meminfo: memFree=29036824/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=33524 CPUtime=0.69 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 4048 0 0 0 69 0 0 0 25 0 1 0 970756376 34328576 3920 33554432000 4194304 4337479 140735950965632 18446744073709551615 4289486 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 8381 3920 240 35 0 5004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33524
[startup+1.50053 s]
/proc/loadavg: 4.01 3.95 3.65 5/190 25588
/proc/meminfo: memFree=29020568/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=36244 CPUtime=1.49 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 4488 0 0 0 149 0 0 0 25 0 1 0 970756376 37113856 4351 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303235 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 9061 4351 241 35 0 5684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36244
[startup+3.10024 s]
/proc/loadavg: 4.01 3.95 3.65 5/190 25588
/proc/meminfo: memFree=29016724/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=43952 CPUtime=3.09 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 9433 0 0 0 309 0 0 0 25 0 1 0 970756376 45006848 7060 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303698 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 10988 7060 262 35 0 7611 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43952
[startup+6.30067 s]
/proc/loadavg: 4.01 3.95 3.65 5/190 25588
/proc/meminfo: memFree=28994128/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=45300 CPUtime=6.29 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 11540 0 0 0 628 1 0 0 25 0 1 0 970756376 46387200 7488 33554432000 4194304 4337479 140735950965632 18446744073709551615 4281917 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 11325 7488 262 35 0 7948 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45300
[startup+12.7006 s]
/proc/loadavg: 3.93 3.93 3.65 4/184 25613
/proc/meminfo: memFree=29125708/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=76372 CPUtime=12.69 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 18247 0 0 0 1267 2 0 0 25 0 1 0 970756376 78204928 14071 33554432000 4194304 4337479 140735950965632 18446744073709551615 4289007 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 19093 14071 263 35 0 15716 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76372
[startup+25.5003 s]
/proc/loadavg: 3.72 3.89 3.64 4/184 25613
/proc/meminfo: memFree=29057812/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=127844 CPUtime=25.48 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 32027 0 0 0 2545 3 0 0 25 0 1 0 970756376 130912256 27520 33554432000 4194304 4337479 140735950965632 18446744073709551615 4278573 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 31961 27520 263 35 0 28584 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 127844
[startup+51.1008 s]
/proc/loadavg: 3.47 3.82 3.62 4/184 25614
/proc/meminfo: memFree=28938620/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=244548 CPUtime=51.09 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 59144 0 0 0 5101 8 0 0 25 0 1 0 970756376 250417152 54017 33554432000 4194304 4337479 140735950965632 18446744073709551615 4266899 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 61137 54017 263 35 0 57760 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 244548
[startup+102.307 s]
/proc/loadavg: 3.27 3.70 3.59 4/184 25615
/proc/meminfo: memFree=28707496/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=434120 CPUtime=102.3 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 107895 0 0 0 10214 16 0 0 25 0 1 0 970756376 444538880 102065 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303656 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 108530 102065 263 35 0 105153 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 434120
[startup+162.3 s]
/proc/loadavg: 3.10 3.57 3.55 4/184 25617
/proc/meminfo: memFree=28502316/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=672168 CPUtime=162.29 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 158402 0 0 0 16204 25 0 0 25 0 1 0 970756376 688300032 152448 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303383 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 168042 152448 263 35 0 164665 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 672168
[startup+222.301 s]
/proc/loadavg: 2.63 3.37 3.48 3/178 25642
/proc/meminfo: memFree=30198968/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=882928 CPUtime=222.29 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 211815 0 0 0 22196 33 0 0 25 0 1 0 970756376 904118272 205754 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 220732 205754 263 35 0 217355 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 882928
[startup+282.3 s]
/proc/loadavg: 2.23 3.12 3.39 3/178 25644
/proc/meminfo: memFree=29997288/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=1122236 CPUtime=282.29 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 262640 0 0 0 28189 40 0 0 25 0 1 0 970756376 1149169664 256573 33554432000 4194304 4337479 140735950965632 18446744073709551615 4289416 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 280559 256573 263 35 0 277182 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1122236
[startup+342.301 s]
/proc/loadavg: 2.08 2.91 3.30 3/178 25645
/proc/meminfo: memFree=29792640/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=1324432 CPUtime=342.29 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 313778 0 0 0 34182 47 0 0 25 0 1 0 970756376 1356218368 307701 33554432000 4194304 4337479 140735950965632 18446744073709551615 4289416 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 331108 307701 263 35 0 327731 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1324432
[startup+402.3 s]
/proc/loadavg: 2.03 2.74 3.21 3/178 25647
/proc/meminfo: memFree=29591356/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=1570468 CPUtime=402.3 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 363919 0 0 0 40176 54 0 0 25 0 1 0 970756376 1608159232 357842 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 392617 357842 263 35 0 389240 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1570468
[startup+462.301 s]
/proc/loadavg: 2.01 2.60 3.13 3/178 25649
/proc/meminfo: memFree=29399344/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=1758524 CPUtime=462.29 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 411852 0 0 0 46168 61 0 0 25 0 1 0 970756376 1800728576 405773 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 439631 405773 263 35 0 436254 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1758524
[startup+522.3 s]
/proc/loadavg: 2.00 2.49 3.06 3/178 25650
/proc/meminfo: memFree=29220732/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=1942104 CPUtime=522.3 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 457260 0 0 0 52163 67 0 0 25 0 1 0 970756376 1988714496 451179 33554432000 4194304 4337479 140735950965632 18446744073709551615 4292256 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 485526 451179 263 35 0 482149 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1942104
[startup+582.301 s]
/proc/loadavg: 2.00 2.40 2.99 3/178 25652
/proc/meminfo: memFree=28979736/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=2270476 CPUtime=582.3 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 516222 0 0 0 58154 76 0 0 25 0 1 0 970756376 2324967424 510141 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 567619 510141 263 35 0 564242 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2270476
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.16 2.71 3/178 25660
/proc/meminfo: memFree=28023708/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=3343184 CPUtime=882.3 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 754522 0 0 0 88120 110 0 0 25 0 1 0 970756376 3423420416 748441 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 835796 748441 263 35 0 832419 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 3343184
[startup+942.301 s]
/proc/loadavg: 2.00 2.12 2.67 3/178 25661
/proc/meminfo: memFree=27826748/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=3532744 CPUtime=942.3 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 803846 0 0 0 94113 117 0 0 25 0 1 0 970756376 3617529856 797765 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 883186 797765 263 35 0 879809 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 3532744
[startup+1002.3 s]
/proc/loadavg: 2.00 2.10 2.62 3/178 25663
/proc/meminfo: memFree=27651364/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=3699380 CPUtime=1002.31 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 847428 0 0 0 100107 124 0 0 25 0 1 0 970756376 3788165120 841347 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303662 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 924845 841347 263 35 0 921468 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 3699380
[startup+1062.3 s]
/proc/loadavg: 2.00 2.08 2.58 3/178 25665
/proc/meminfo: memFree=27487864/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=3855028 CPUtime=1062.31 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 888354 0 0 0 106100 131 0 0 25 0 1 0 970756376 3947548672 882273 33554432000 4194304 4337479 140735950965632 18446744073709551615 4318753 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 963757 882273 263 35 0 960380 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3855028
[startup+1122.3 s]
/proc/loadavg: 2.00 2.06 2.54 3/178 25666
/proc/meminfo: memFree=27295120/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=4040412 CPUtime=1122.31 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 936361 0 0 0 112093 138 0 0 25 0 1 0 970756376 4137381888 930280 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303684 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1010103 930280 263 35 0 1006726 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 4040412
[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.50 3/178 25668
/proc/meminfo: memFree=27123468/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=4247140 CPUtime=1182.31 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 981169 0 0 0 118086 145 0 0 25 0 1 0 970756376 4349071360 975088 33554432000 4194304 4337479 140735950965632 18446744073709551615 4288510 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1061785 975088 263 35 0 1058408 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 4247140
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.47 3/178 25669
/proc/meminfo: memFree=26936916/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=4431616 CPUtime=1242.31 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1026400 0 0 0 124078 153 0 0 25 0 1 0 970756376 4537974784 1020319 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303698 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1107904 1020319 263 35 0 1104527 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 4431616
[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.44 3/178 25671
/proc/meminfo: memFree=26719744/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=4806716 CPUtime=1302.31 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1079660 0 0 0 130070 161 0 0 25 0 1 0 970756376 4922077184 1073579 33554432000 4194304 4337479 140735950965632 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1201679 1073579 263 35 0 1198302 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 4806716
[startup+1362.3 s]
/proc/loadavg: 1.50 1.89 2.36 2/172 25698
/proc/meminfo: memFree=27140900/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=5022872 CPUtime=1362.32 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1131858 0 0 0 136062 170 0 0 25 0 1 0 970756376 5143420928 1125777 33554432000 4194304 4337479 140735950965632 18446744073709551615 4289935 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1255718 1125777 263 35 0 1252341 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 5022872
[startup+1422.31 s]
/proc/loadavg: 1.18 1.73 2.28 2/172 25699
/proc/meminfo: memFree=26967388/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=5170516 CPUtime=1422.32 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1175017 0 0 0 142056 176 0 0 25 0 1 0 970756376 5294608384 1168936 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303662 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1292629 1168936 263 35 0 1289252 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 5170516
[startup+1482.3 s]
/proc/loadavg: 1.06 1.59 2.19 2/172 25703
/proc/meminfo: memFree=26776028/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=5372092 CPUtime=1482.31 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1222996 0 0 0 148048 183 0 0 25 0 1 0 970756376 5501022208 1216915 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1343023 1216915 263 35 0 1339646 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 5372092
[startup+1542.3 s]
/proc/loadavg: 1.02 1.48 2.12 2/172 25705
/proc/meminfo: memFree=26590200/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=5540392 CPUtime=1542.32 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1269123 0 0 0 154041 191 0 0 25 0 1 0 970756376 5673361408 1263042 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1385098 1263042 263 35 0 1381721 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 5540392
[startup+1602.3 s]
/proc/loadavg: 1.01 1.39 2.04 2/172 25707
/proc/meminfo: memFree=26424868/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=5688488 CPUtime=1602.32 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1311449 0 0 0 160036 196 0 0 25 0 1 0 970756376 5825011712 1305368 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303440 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1422122 1305368 263 35 0 1418745 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 5688488
[startup+1662.3 s]
/proc/loadavg: 1.00 1.32 1.98 2/172 25709
/proc/meminfo: memFree=26252588/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=5866948 CPUtime=1662.32 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1353411 0 0 0 166029 203 0 0 25 0 1 0 970756376 6007754752 1347330 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1466737 1347330 263 35 0 1463360 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 5866948
[startup+1722.3 s]
/proc/loadavg: 1.00 1.26 1.91 2/172 25710
/proc/meminfo: memFree=26083156/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=6013388 CPUtime=1722.32 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1395877 0 0 0 172023 209 0 0 25 0 1 0 970756376 6157709312 1389796 33554432000 4194304 4337479 140735950965632 18446744073709551615 4303656 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1503347 1389796 263 35 0 1499970 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 6013388
[startup+1782.3 s]
/proc/loadavg: 1.00 1.21 1.85 2/172 25712
/proc/meminfo: memFree=25906032/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=6219888 CPUtime=1782.32 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1441182 0 0 0 178016 216 0 0 25 0 1 0 970756376 6369165312 1435101 33554432000 4194304 4337479 140735950965632 18446744073709551615 4288894 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1554972 1435101 263 35 0 1551595 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 6219888
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.19 1.83 2/172 25712
/proc/meminfo: memFree=25850096/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=6288500 CPUtime=1800.03 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4202496 1453682 0 0 0 179784 219 0 0 25 0 1 0 970756376 6439424000 1447601 33554432000 4194304 4337479 140735950965632 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/25587/statm: 1572125 1447601 263 35 0 1568748 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6288500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 1.00 1.19 1.83 2/172 25712
/proc/meminfo: memFree=25850096/32951124 swapFree=67054712/67111528
[pid=25587] ppid=25585 vsize=0 CPUtime=1800.22 cores=0,2
/proc/25587/stat : 25587 (hmuc) R 25585 25587 22928 0 -1 4203524 1453682 0 0 0 179784 238 0 0 25 0 1 0 970756376 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 0 0 0 0
/proc/25587/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.33
CPU user time (s): 1797.85
CPU system time (s): 2.48262
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 6288500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.85
system time used= 2.48262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1453682
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= 7
involuntary context switches= 2647
runsolver used 2.74158 second user time and 5.70113 second system time
The end
Begin job on node119 at 2011-06-11 17:14:17
IDJOB=3494422
IDBENCH=89624
IDSOLVER=1984
FILE ID=node119/3494422-1307805257
RUNJOBID= node119-1307804372-23787
PBS_JOBID= 13551059
Free space on /tmp= 73992 MiB
SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/vda_gr_rcs_w7.shuffled.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494422-1307805257/watcher-3494422-1307805257 -o /tmp/evaluation-result-3494422-1307805257/solver-3494422-1307805257 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494422-1307805257.cnf -no-pre
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 82a9ca0e4da00ed6ec7517b8e833f40e
RANDOM SEED=713379774
node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.815
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29037616 kB
Buffers: 280244 kB
Cached: 866168 kB
SwapCached: 11012 kB
Active: 3120776 kB
Inactive: 571376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29037616 kB
SwapTotal: 67111528 kB
SwapFree: 67054712 kB
Dirty: 25640 kB
Writeback: 0 kB
AnonPages: 2543444 kB
Mapped: 13668 kB
Slab: 150960 kB
PageTables: 10304 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2912360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74072 MiB
End job on node119 at 2011-06-11 17:44:19