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-3494241-1307803151/watcher-3494241-1307803151 -o /tmp/evaluation-result-3494241-1307803151/solver-3494241-1307803151 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494241-1307803151.cnf -no-pre
running on 2 cores: 1,3
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.02 3.43 1.84 4/186 3279
/proc/meminfo: memFree=29790252/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=20104 CPUtime=0 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 573 0 0 0 0 0 0 0 25 0 1 0 891915528 20586496 511 33554432000 4194304 4337479 140736111785344 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 5026 513 223 35 0 1649 0
[startup+0.104728 s]
/proc/loadavg: 4.02 3.43 1.84 4/186 3279
/proc/meminfo: memFree=29790252/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=23940 CPUtime=0.1 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1643 0 0 0 10 0 0 0 25 0 1 0 891915528 24514560 1542 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303207 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 5985 1542 242 35 0 2608 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 23940
[startup+0.2007 s]
/proc/loadavg: 4.02 3.43 1.84 4/186 3279
/proc/meminfo: memFree=29790252/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=23940 CPUtime=0.19 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1892 0 0 0 19 0 0 0 25 0 1 0 891915528 24514560 1788 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 5985 1788 242 35 0 2608 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23940
[startup+0.300682 s]
/proc/loadavg: 4.02 3.43 1.84 4/186 3279
/proc/meminfo: memFree=29790252/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=23940 CPUtime=0.29 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 2292 0 0 0 29 0 0 0 25 0 1 0 891915528 24514560 2180 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303092 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 5985 2180 242 35 0 2608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23940
[startup+0.700607 s]
/proc/loadavg: 4.02 3.43 1.84 4/186 3279
/proc/meminfo: memFree=29790252/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=27468 CPUtime=0.69 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 3544 0 0 0 69 0 0 0 25 0 1 0 891915528 28127232 3427 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303349 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 6867 3427 242 35 0 3490 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27468
[startup+1.50046 s]
/proc/loadavg: 4.02 3.44 1.85 5/187 3280
/proc/meminfo: memFree=29773652/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=36032 CPUtime=1.49 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 5340 0 0 0 149 0 0 0 25 0 1 0 891915528 36896768 5208 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 9008 5208 243 35 0 5631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36032
[startup+3.10016 s]
/proc/loadavg: 4.02 3.44 1.85 5/187 3280
/proc/meminfo: memFree=29764228/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=43096 CPUtime=3.09 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 8352 0 0 0 309 0 0 0 25 0 1 0 891915528 44130304 7013 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 10774 7013 243 35 0 7397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43096
[startup+6.30057 s]
/proc/loadavg: 4.02 3.44 1.85 5/187 3280
/proc/meminfo: memFree=29732108/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=70404 CPUtime=6.29 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 15554 0 0 0 627 2 0 0 25 0 1 0 891915528 72093696 14187 33554432000 4194304 4337479 140736111785344 18446744073709551615 4288168 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 17601 14187 263 35 0 14224 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70404
[startup+12.7004 s]
/proc/loadavg: 4.01 3.46 1.87 5/187 3280
/proc/meminfo: memFree=29671100/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=125616 CPUtime=12.69 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 27813 0 0 0 1264 5 0 0 25 0 1 0 891915528 128630784 26245 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303256 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 31404 26245 264 35 0 28027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 125616
[startup+25.501 s]
/proc/loadavg: 4.01 3.48 1.90 5/187 3281
/proc/meminfo: memFree=29598076/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=175128 CPUtime=25.5 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 48323 0 0 0 2542 8 0 0 25 0 1 0 891915528 179331072 38620 33554432000 4194304 4337479 140736111785344 18446744073709551615 4278226 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 43782 38620 265 35 0 40405 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 175128
[startup+51.1003 s]
/proc/loadavg: 4.01 3.52 1.95 5/187 3281
/proc/meminfo: memFree=29400468/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=304100 CPUtime=51.09 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 89632 0 0 0 5095 14 0 0 25 0 1 0 891915528 311398400 67746 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303658 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 76025 67746 265 35 0 72648 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 304100
[startup+102.301 s]
/proc/loadavg: 4.00 3.60 2.07 5/187 3283
/proc/meminfo: memFree=29111100/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=492132 CPUtime=102.3 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 154132 0 0 0 10207 23 0 0 25 0 1 0 891915528 503943168 116051 33554432000 4194304 4337479 140736111785344 18446744073709551615 4282027 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 123033 116051 265 35 0 119656 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 492132
[startup+162.301 s]
/proc/loadavg: 4.00 3.67 2.18 5/187 3324
/proc/meminfo: memFree=28773432/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=715948 CPUtime=162.3 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 211654 0 0 0 16196 34 0 0 25 0 1 0 891915528 733130752 169017 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303187 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 178987 169017 265 35 0 175610 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 715948
[startup+222.307 s]
/proc/loadavg: 4.00 3.73 2.29 5/187 3365
/proc/meminfo: memFree=28799716/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=957756 CPUtime=222.31 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 269391 0 0 0 22187 44 0 0 25 0 1 0 891915528 980742144 226466 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 239439 226466 265 35 0 236062 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 957756
[startup+282.3 s]
/proc/loadavg: 4.00 3.77 2.40 5/187 3366
/proc/meminfo: memFree=28360624/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=1242828 CPUtime=282.3 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 334699 0 0 0 28175 55 0 0 25 0 1 0 891915528 1272655872 291662 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303510 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 310707 291662 265 35 0 307330 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1242828
[startup+342.3 s]
/proc/loadavg: 4.00 3.81 2.50 5/187 3368
/proc/meminfo: memFree=27983184/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=1527396 CPUtime=342.3 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 403070 0 0 0 34164 66 0 0 25 0 1 0 891915528 1564053504 360025 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 381849 360025 265 35 0 378472 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1527396
[startup+402.301 s]
/proc/loadavg: 4.04 3.86 2.59 5/187 3370
/proc/meminfo: memFree=27710540/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=1824848 CPUtime=402.31 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 469081 0 0 0 40153 78 0 0 25 0 1 0 891915528 1868644352 426007 33554432000 4194304 4337479 140736111785344 18446744073709551615 4259919 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 456212 426007 265 35 0 452835 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1824848
[startup+462.301 s]
/proc/loadavg: 4.01 3.88 2.68 5/187 3412
/proc/meminfo: memFree=26812160/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=2130840 CPUtime=462.31 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 536337 0 0 0 46143 88 0 0 25 0 1 0 891915528 2181980160 493252 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303698 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 532710 493252 265 35 0 529333 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2130840
[startup+522.301 s]
/proc/loadavg: 4.00 3.90 2.76 5/187 3414
/proc/meminfo: memFree=25435432/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=2440424 CPUtime=522.31 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 600379 0 0 0 52133 98 0 0 25 0 1 0 891915528 2498994176 557290 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 610106 557290 265 35 0 606729 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2440424
[startup+582.301 s]
/proc/loadavg: 4.07 3.93 2.84 5/187 3416
/proc/meminfo: memFree=24708464/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=2735244 CPUtime=582.31 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 668257 0 0 0 58122 109 0 0 25 0 1 0 891915528 2800889856 625157 33554432000 4194304 4337479 140736111785344 18446744073709551615 4265630 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 683811 625157 265 35 0 680434 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2735244
[startup+642.301 s]
################
# More data... #
################
[startup+702.3 s]
/proc/loadavg: 4.01 3.95 2.97 5/187 3419
/proc/meminfo: memFree=23232452/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=3289792 CPUtime=702.31 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 796110 0 0 0 70098 133 0 0 25 0 1 0 891915528 3368747008 753010 33554432000 4194304 4337479 140736111785344 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 822448 753010 265 35 0 819071 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 3289792
[startup+762.3 s]
/proc/loadavg: 4.05 3.97 3.04 5/187 3420
/proc/meminfo: memFree=22469280/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=3628320 CPUtime=762.32 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 862551 0 0 0 76086 146 0 0 25 0 1 0 891915528 3715399680 819451 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303222 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 907080 819451 265 35 0 903703 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 3628320
[startup+822.3 s]
/proc/loadavg: 4.02 3.97 3.10 5/187 3423
/proc/meminfo: memFree=22047468/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=3896648 CPUtime=822.32 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 927970 0 0 0 82072 160 0 0 25 0 1 0 891915528 3990167552 884867 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 974162 884867 265 35 0 970785 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 3896648
[startup+882.307 s]
/proc/loadavg: 4.00 3.97 3.15 5/187 3425
/proc/meminfo: memFree=21412880/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=4246744 CPUtime=882.33 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 998688 0 0 0 88058 175 0 0 25 0 1 0 891915528 4348665856 955585 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303695 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1061686 955585 265 35 0 1058309 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 4246744
[startup+942.301 s]
/proc/loadavg: 4.00 3.97 3.20 5/187 3426
/proc/meminfo: memFree=21024676/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=4559704 CPUtime=942.33 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1066383 0 0 0 94045 188 0 0 25 0 1 0 891915528 4669136896 1023276 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1139926 1023276 265 35 0 1136549 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 4559704
[startup+1002.3 s]
/proc/loadavg: 4.06 3.99 3.25 5/187 3428
/proc/meminfo: memFree=20628292/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=4802152 CPUtime=1002.32 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1131060 0 0 0 100030 202 0 0 25 0 1 0 891915528 4917403648 1087953 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1200538 1087953 265 35 0 1197161 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 4802152
[startup+1062.3 s]
/proc/loadavg: 4.02 3.99 3.30 5/187 3510
/proc/meminfo: memFree=20632880/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=5035844 CPUtime=1062.33 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1193970 0 0 0 106018 215 0 0 25 0 1 0 891915528 5156704256 1150863 33554432000 4194304 4337479 140736111785344 18446744073709551615 4289384 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1258961 1150863 265 35 0 1255584 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 5035844
[startup+1122.3 s]
/proc/loadavg: 4.00 3.99 3.34 5/187 3557
/proc/meminfo: memFree=20280220/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=5417876 CPUtime=1122.33 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1260823 0 0 0 112003 230 0 0 25 0 1 0 891915528 5547905024 1217716 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1354469 1217716 265 35 0 1351092 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 5417876
[startup+1182.3 s]
/proc/loadavg: 4.00 3.99 3.38 5/187 3637
/proc/meminfo: memFree=24361896/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=5705724 CPUtime=1182.32 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1325927 0 0 0 117990 242 0 0 25 0 1 0 891915528 5842661376 1282820 33554432000 4194304 4337479 140736111785344 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1426431 1282820 265 35 0 1423054 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 5705724
[startup+1242.3 s]
/proc/loadavg: 4.00 3.99 3.41 5/187 3678
/proc/meminfo: memFree=25150576/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=6097020 CPUtime=1242.34 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1402182 0 0 0 123978 256 0 0 25 0 1 0 891915528 6243348480 1359075 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1524255 1359075 265 35 0 1520878 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 6097020
[startup+1302.3 s]
/proc/loadavg: 4.07 4.00 3.45 5/187 3718
/proc/meminfo: memFree=24251124/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=6411828 CPUtime=1302.34 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1465676 0 0 0 129967 267 0 0 25 0 1 0 891915528 6565711872 1422569 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303656 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1602957 1422569 265 35 0 1599580 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 6411828
[startup+1362.3 s]
/proc/loadavg: 4.02 4.00 3.48 5/187 3766
/proc/meminfo: memFree=23275528/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=6702464 CPUtime=1362.33 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1527554 0 0 0 135955 278 0 0 25 0 1 0 891915528 6863323136 1484447 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1675616 1484447 265 35 0 1672239 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 6702464
[startup+1422.3 s]
/proc/loadavg: 4.01 4.00 3.51 5/187 3768
/proc/meminfo: memFree=22390228/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=6893988 CPUtime=1422.34 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1589520 0 0 0 141946 288 0 0 25 0 1 0 891915528 7059443712 1546413 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1723497 1546413 265 35 0 1720120 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 6893988
[startup+1482.3 s]
/proc/loadavg: 4.00 4.00 3.54 5/187 3809
/proc/meminfo: memFree=21981712/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=7152852 CPUtime=1482.34 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1655794 0 0 0 147934 300 0 0 25 0 1 0 891915528 7324520448 1612687 33554432000 4194304 4337479 140736111785344 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1788213 1612687 265 35 0 1784836 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 7152852
[startup+1542.31 s]
/proc/loadavg: 4.00 4.00 3.57 5/187 3850
/proc/meminfo: memFree=21286300/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=7447704 CPUtime=1542.34 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1721676 0 0 0 153922 312 0 0 25 0 1 0 891915528 7626448896 1678569 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1861926 1678569 265 35 0 1858549 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 7447704
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1600.3 s]
/proc/loadavg: 4.00 4.00 3.59 5/187 3928
/proc/meminfo: memFree=20591668/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=7867544 CPUtime=1600.34 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4202496 1779435 0 0 0 159709 325 0 0 25 0 1 0 891915528 8056365056 1736328 33554432000 4194304 4337479 140736111785344 18446744073709551615 4303678 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/3279/statm: 1966886 1736328 265 35 0 1963509 0
Current children cumulated CPU time (s) 1600.34
Current children cumulated vsize (KiB) 7867544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1600.5 s]
/proc/loadavg: 4.00 4.00 3.59 5/188 3929
/proc/meminfo: memFree=25462628/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=0 CPUtime=1600.54 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4203524 1779435 0 0 0 159709 345 0 0 25 0 1 0 891915528 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/3279/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1600.54
Current children cumulated vsize (KiB) 0
[startup+1600.61 s]
/proc/loadavg: 4.00 4.00 3.59 5/188 3929
/proc/meminfo: memFree=25462628/32951124 swapFree=67064368/67111528
[pid=3279] ppid=3277 vsize=0 CPUtime=1600.64 cores=1,3
/proc/3279/stat : 3279 (hmuc) R 3277 3279 3094 0 -1 4203524 1779435 0 0 0 159709 355 0 0 25 0 1 0 891915528 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/3279/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1600.64
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1600.64
CPU time (s): 1600.69
CPU user time (s): 1597.1
CPU system time (s): 3.59145
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 7867544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1597.1
system time used= 3.59145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1779435
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= 8
involuntary context switches= 2100
runsolver used 2.44663 second user time and 6.29304 second system time
The end
Begin job on node105 at 2011-06-11 16:39:11
IDJOB=3494241
IDBENCH=71102
IDSOLVER=1984
FILE ID=node105/3494241-1307803151
RUNJOBID= node105-1307802576-3116
PBS_JOBID= 13551071
Free space on /tmp= 74040 MiB
SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494241-1307803151/watcher-3494241-1307803151 -o /tmp/evaluation-result-3494241-1307803151/solver-3494241-1307803151 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494241-1307803151.cnf -no-pre
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 540450986cd3d9879ae19d42219d1fab
RANDOM SEED=1329946520
node105.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.825
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.825
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 : 5226.15
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.825
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.82
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.825
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.75
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.825
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 : 5410.70
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.825
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.74
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.825
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.82
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.825
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29790920 kB
Buffers: 294128 kB
Cached: 830680 kB
SwapCached: 20132 kB
Active: 2253288 kB
Inactive: 677772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29790920 kB
SwapTotal: 67111528 kB
SwapFree: 67064368 kB
Dirty: 2332 kB
Writeback: 0 kB
AnonPages: 1803348 kB
Mapped: 10884 kB
Slab: 160688 kB
PageTables: 8476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2092560 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= 74068 MiB
End job on node105 at 2011-06-11 17:05:53