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-3493873-1307804399/watcher-3493873-1307804399 -o /tmp/evaluation-result-3493873-1307804399/solver-3493873-1307804399 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493873-1307804399.cnf
running on 2 cores: 5,7
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.06 3.99 3.42 5/189 22900
/proc/meminfo: memFree=31423968/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=22420 CPUtime=0 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 1024 0 0 0 0 0 0 0 25 0 1 0 624631187 22958080 943 33554432000 4194304 4311632 140733330260464 18446744073709551615 268660358923 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 5605 954 216 29 0 2234 0
[startup+0.0621721 s]
/proc/loadavg: 4.06 3.99 3.42 5/189 22900
/proc/meminfo: memFree=31423968/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=43060 CPUtime=0.05 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 5321 0 0 0 4 1 0 0 25 0 1 0 624631187 44093440 5160 33554432000 4194304 4311632 140733330260464 18446744073709551615 268660323013 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 10765 5161 218 29 0 7394 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 43060
[startup+0.101152 s]
/proc/loadavg: 4.06 3.99 3.42 5/189 22900
/proc/meminfo: memFree=31423968/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=46220 CPUtime=0.09 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 6383 0 0 0 8 1 0 0 25 0 1 0 624631187 47329280 6120 33554432000 4194304 4311632 140733330260464 18446744073709551615 268660323361 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 11555 6122 218 29 0 8184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46220
[startup+0.301121 s]
/proc/loadavg: 4.06 3.99 3.42 5/189 22900
/proc/meminfo: memFree=31423968/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=50776 CPUtime=0.29 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 8500 0 0 0 28 1 0 0 25 0 1 0 624631187 51994624 8025 33554432000 4194304 4311632 140733330260464 18446744073709551615 268660319984 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 12694 8025 225 29 0 9323 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50776
[startup+0.701048 s]
/proc/loadavg: 4.06 3.99 3.42 5/189 22900
/proc/meminfo: memFree=31423968/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=49604 CPUtime=0.69 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 10617 0 0 0 68 1 0 0 25 0 1 0 624631187 50794496 7980 33554432000 4194304 4311632 140733330260464 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 12401 7980 245 29 0 9030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49604
[startup+1.50092 s]
/proc/loadavg: 4.06 3.99 3.42 5/190 22901
/proc/meminfo: memFree=31392116/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=56680 CPUtime=1.48 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 12586 0 0 0 147 1 0 0 25 0 1 0 624631187 58040320 9942 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264186 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 14170 9942 246 29 0 10799 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 56680
[startup+3.10063 s]
/proc/loadavg: 4.05 3.99 3.42 5/190 22901
/proc/meminfo: memFree=31377268/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=79956 CPUtime=3.09 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 17919 0 0 0 307 2 0 0 25 0 1 0 624631187 81874944 15268 33554432000 4194304 4311632 140733330260464 18446744073709551615 268664121784 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 19989 15268 246 29 0 16618 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79956
[startup+6.30106 s]
/proc/loadavg: 4.05 3.99 3.42 4/188 22902
/proc/meminfo: memFree=31380100/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=179832 CPUtime=6.29 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 31234 0 0 0 626 3 0 0 25 0 1 0 624631187 184147968 28557 33554432000 4194304 4311632 140733330260464 18446744073709551615 268664121656 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 44958 28557 246 29 0 41587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 179832
[startup+12.7009 s]
/proc/loadavg: 3.97 3.97 3.42 5/190 22940
/proc/meminfo: memFree=31177636/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=261220 CPUtime=12.69 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 53922 0 0 0 1262 7 0 0 25 0 1 0 624631187 267489280 51226 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 65305 51226 246 29 0 61934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 261220
[startup+25.5007 s]
/proc/loadavg: 3.97 3.97 3.43 5/190 22941
/proc/meminfo: memFree=30637980/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=608404 CPUtime=25.49 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 120885 0 0 0 2532 17 0 0 25 0 1 0 624631187 623005696 118169 33554432000 4194304 4311632 140733330260464 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 152101 118169 246 29 0 148730 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 608404
[startup+51.1002 s]
/proc/loadavg: 3.98 3.97 3.44 5/190 22941
/proc/meminfo: memFree=30359924/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1525180 CPUtime=51.09 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 259008 0 0 0 5074 35 0 0 25 0 1 0 624631187 1561784320 256262 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 381295 256262 246 29 0 377924 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1525180
[startup+102.307 s]
/proc/loadavg: 3.99 3.97 3.47 5/190 22952
/proc/meminfo: memFree=30147976/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1525180 CPUtime=102.3 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 591217 0 0 0 10149 81 0 0 25 0 1 0 624631187 1561784320 316580 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 381295 316580 246 29 0 377924 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1525180
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.50 5/190 22953
/proc/meminfo: memFree=30261484/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1525180 CPUtime=162.29 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 994870 0 0 0 16095 134 0 0 25 0 1 0 624631187 1561784320 289928 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 381295 289928 246 29 0 377924 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1525180
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.53 5/190 22955
/proc/meminfo: memFree=31017444/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=397788 CPUtime=222.3 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 1731021 0 0 0 21997 233 0 0 25 0 1 0 624631187 407334912 82907 33554432000 4194304 4311632 140733330260464 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 99447 82907 264 29 0 96076 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 397788
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.55 5/190 22957
/proc/meminfo: memFree=30895360/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=613576 CPUtime=282.3 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 2109540 0 0 0 27944 286 0 0 25 0 1 0 624631187 628301824 119862 33554432000 4194304 4311632 140733330260464 18446744073709551615 268664121960 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 153394 119862 264 29 0 150023 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 613576
[startup+342.301 s]
/proc/loadavg: 4.11 4.00 3.59 6/190 23036
/proc/meminfo: memFree=31410608/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=448004 CPUtime=342.3 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 2498532 0 0 0 33889 341 0 0 25 0 1 0 624631187 458756096 80051 33554432000 4194304 4311632 140733330260464 18446744073709551615 4262765 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 112001 80051 265 29 0 108630 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 448004
[startup+402.3 s]
/proc/loadavg: 4.04 4.00 3.61 6/190 23038
/proc/meminfo: memFree=31460496/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=448004 CPUtime=402.3 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 2899682 0 0 0 39833 397 0 0 25 0 1 0 624631187 458756096 71584 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264325 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 112001 71584 264 29 0 108630 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 448004
[startup+462.301 s]
/proc/loadavg: 4.01 4.00 3.63 6/190 23039
/proc/meminfo: memFree=30678228/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1579704 CPUtime=462.3 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 3268589 0 0 0 45784 446 0 0 25 0 1 0 624631187 1617616896 263585 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 394926 263585 264 29 0 391555 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1579704
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.65 6/190 23079
/proc/meminfo: memFree=30522436/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1579704 CPUtime=522.31 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 3655032 0 0 0 51731 500 0 0 25 0 1 0 624631187 1617616896 305392 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 394926 305392 265 29 0 391555 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1579704
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.67 6/190 23119
/proc/meminfo: memFree=31258156/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=662928 CPUtime=582.3 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 4066397 0 0 0 57674 556 0 0 25 0 1 0 624631187 678838272 108684 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 165732 108684 265 29 0 162361 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 662928
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.02 4.02 3.74 6/190 23125
/proc/meminfo: memFree=30418480/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1579704 CPUtime=822.31 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 5567244 0 0 0 81479 752 0 0 25 0 1 0 624631187 1617616896 338815 33554432000 4194304 4311632 140733330260464 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 394926 338815 265 29 0 391555 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1579704
[startup+882.3 s]
/proc/loadavg: 4.00 4.01 3.76 6/190 23127
/proc/meminfo: memFree=30913692/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1012176 CPUtime=882.31 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 5933599 0 0 0 87429 802 0 0 25 0 1 0 624631187 1036468224 213582 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 253044 213582 265 29 0 249673 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1012176
[startup+942.301 s]
/proc/loadavg: 4.00 4.01 3.77 5/190 23128
/proc/meminfo: memFree=30313000/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1579704 CPUtime=942.31 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 6321256 0 0 0 93378 853 0 0 25 0 1 0 624631187 1617616896 365543 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264246 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 394926 365543 265 29 0 391555 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1579704
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.78 6/190 23130
/proc/meminfo: memFree=30733080/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1579704 CPUtime=1002.31 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 6680607 0 0 0 99326 905 0 0 25 0 1 0 624631187 1617616896 258458 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 394926 258459 264 29 0 391555 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1579704
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.79 6/190 23131
/proc/meminfo: memFree=31578344/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=184268 CPUtime=1062.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 6990488 0 0 0 105281 951 0 0 25 0 1 0 624631187 188690432 39954 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 46067 39954 264 29 0 42696 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 184268
[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.80 5/190 23133
/proc/meminfo: memFree=31617604/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=184268 CPUtime=1122.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 7366436 0 0 0 111230 1002 0 0 25 0 1 0 624631187 188690432 37676 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264392 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 46067 37676 264 29 0 42696 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 184268
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.81 6/190 23135
/proc/meminfo: memFree=31541296/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=315744 CPUtime=1182.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 7761126 0 0 0 117179 1053 0 0 25 0 1 0 624631187 323321856 64144 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 78936 64144 264 29 0 75565 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 315744
[startup+1242.3 s]
/proc/loadavg: 4.05 4.01 3.83 5/190 23136
/proc/meminfo: memFree=31501676/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=315744 CPUtime=1242.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 8146899 0 0 0 123130 1102 0 0 25 0 1 0 624631187 323321856 68672 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 78936 68672 264 29 0 75565 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 315744
[startup+1302.3 s]
/proc/loadavg: 4.10 4.04 3.84 6/190 23138
/proc/meminfo: memFree=31469756/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=315744 CPUtime=1302.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 8538386 0 0 0 129080 1152 0 0 25 0 1 0 624631187 323321856 72780 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 78936 72780 264 29 0 75565 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 315744
[startup+1362.3 s]
/proc/loadavg: 4.04 4.03 3.85 5/190 23139
/proc/meminfo: memFree=31407188/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=448004 CPUtime=1362.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 8897829 0 0 0 135034 1198 0 0 25 0 1 0 624631187 458756096 91735 33554432000 4194304 4311632 140733330260464 18446744073709551615 4286168 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 112001 91735 264 29 0 108630 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 448004
[startup+1422.31 s]
/proc/loadavg: 3.79 3.97 3.84 4/184 23165
/proc/meminfo: memFree=31548812/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=104128 CPUtime=1422.33 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 9305286 0 0 0 140979 1254 0 0 25 0 1 0 624631187 106627072 20778 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264210 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 26032 20778 264 29 0 22661 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 104128
[startup+1482.3 s]
/proc/loadavg: 3.31 3.81 3.79 4/184 23167
/proc/meminfo: memFree=30158460/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=2501940 CPUtime=1482.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 9702022 0 0 0 146928 1304 0 0 25 0 1 0 624631187 2561986560 417463 33554432000 4194304 4311632 140733330260464 18446744073709551615 4271691 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 625485 417463 264 29 0 622114 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2501940
[startup+1542.3 s]
/proc/loadavg: 3.10 3.65 3.73 4/184 23168
/proc/meminfo: memFree=31461412/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=448004 CPUtime=1542.33 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 10058295 0 0 0 152873 1360 0 0 25 0 1 0 624631187 458756096 90601 33554432000 4194304 4311632 140733330260464 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 112001 90601 264 29 0 108630 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 448004
[startup+1602.3 s]
/proc/loadavg: 2.60 3.43 3.65 3/178 23194
/proc/meminfo: memFree=31390332/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=662928 CPUtime=1602.33 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 10443048 0 0 0 158821 1412 0 0 25 0 1 0 624631187 678838272 126310 33554432000 4194304 4311632 140733330260464 18446744073709551615 4286214 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 165732 126310 264 29 0 162361 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 662928
[startup+1662.3 s]
/proc/loadavg: 2.20 3.14 3.54 3/178 23195
/proc/meminfo: memFree=31570220/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=448004 CPUtime=1662.32 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 10810183 0 0 0 164765 1467 0 0 25 0 1 0 624631187 458756096 78259 33554432000 4194304 4311632 140733330260464 18446744073709551615 4272338 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 112001 78268 264 29 0 108630 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 448004
[startup+1722.3 s]
/proc/loadavg: 2.08 2.95 3.45 3/178 23197
/proc/meminfo: memFree=31747220/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=184268 CPUtime=1722.33 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 11131519 0 0 0 170721 1512 0 0 25 0 1 0 624631187 188690432 35905 33554432000 4194304 4311632 140733330260464 18446744073709551615 4262765 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 46067 35905 264 29 0 42696 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 184268
[startup+1782.3 s]
/proc/loadavg: 2.02 2.76 3.34 3/178 23199
/proc/meminfo: memFree=31235524/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=1012176 CPUtime=1782.33 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 11524947 0 0 0 176666 1567 0 0 25 0 1 0 624631187 1036468224 162175 33554432000 4194304 4311632 140733330260464 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 253044 162175 264 29 0 249673 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1012176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.72 3.32 3/178 23199
/proc/meminfo: memFree=31553308/32951124 swapFree=67055708/67111528
[pid=22900] ppid=22898 vsize=448004 CPUtime=1800.04 cores=5,7
/proc/22900/stat : 22900 (hmuc-a) R 22898 22900 22467 0 -1 4202496 11637047 0 0 0 178419 1585 0 0 25 0 1 0 624631187 458756096 80372 33554432000 4194304 4311632 140733330260464 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/22900/statm: 112001 80372 264 29 0 108630 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 448004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1784.2
CPU system time (s): 15.8646
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4849536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.2
system time used= 15.8646
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11637048
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= 9
involuntary context switches= 1084
runsolver used 2.80257 second user time and 6.86895 second system time
The end
Begin job on node107 at 2011-06-11 16:59:59
IDJOB=3493873
IDBENCH=88046
IDSOLVER=1983
FILE ID=node107/3493873-1307804399
RUNJOBID= node107-1307802576-22488
PBS_JOBID= 13551069
Free space on /tmp= 74100 MiB
SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT02/industrial/dellacherie/comb/comb2.shuffled.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493873-1307804399/watcher-3493873-1307804399 -o /tmp/evaluation-result-3493873-1307804399/solver-3493873-1307804399 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493873-1307804399.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 148cedae75188a11dd768fb3da4b84da
RANDOM SEED=1590836857
node107.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.829
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.65
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.829
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.75
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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 : 5359.47
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.829
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.75
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.829
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: 31424512 kB
Buffers: 167476 kB
Cached: 651436 kB
SwapCached: 19468 kB
Active: 778452 kB
Inactive: 558508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31424512 kB
SwapTotal: 67111528 kB
SwapFree: 67055708 kB
Dirty: 2460 kB
Writeback: 0 kB
AnonPages: 516592 kB
Mapped: 13220 kB
Slab: 122312 kB
PageTables: 6300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 802156 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= 74128 MiB
End job on node107 at 2011-06-11 17:30:01