runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-331100-1173180241 -o ROOT/results/node76/solver-331100-1173180241 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331100-1173180241/cmusat_base /tmp/evaluation/331100-1173180241/instance-331100-1173180241.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.46 1.11 1.04 3/69 4307
/proc/meminfo: memFree=1469328/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=11280 CPUtime=0
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 544 0 0 0 0 0 0 0 19 0 1 0 337983314 11550720 527 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134529859 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 2820 530 90 241 0 2576 0
[startup+0.0935741 s]
/proc/loadavg: 1.46 1.11 1.04 3/69 4307
/proc/meminfo: memFree=1469328/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=246992 CPUtime=0.08
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 5662 0 0 0 6 2 0 0 19 0 1 0 337983314 252919808 5645 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 61748 5645 90 241 0 61504 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 246992
[startup+0.102574 s]
/proc/loadavg: 1.46 1.11 1.04 3/69 4307
/proc/meminfo: memFree=1469328/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=247124 CPUtime=0.09
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 5772 0 0 0 7 2 0 0 19 0 1 0 337983314 253054976 5755 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 61781 5755 90 241 0 61537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 247124
[startup+0.301596 s]
/proc/loadavg: 1.46 1.11 1.04 3/69 4307
/proc/meminfo: memFree=1469328/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=251728 CPUtime=0.29
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 8185 0 0 0 26 3 0 0 21 0 1 0 337983314 257769472 8168 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134564434 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 62932 8168 90 241 0 62688 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 251728
[startup+0.702642 s]
/proc/loadavg: 1.46 1.11 1.04 3/69 4307
/proc/meminfo: memFree=1469328/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=261360 CPUtime=0.69
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 13096 0 0 0 64 5 0 0 25 0 1 0 337983314 267632640 13079 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 65340 13079 90 241 0 65096 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 261360
[startup+1.50173 s]
/proc/loadavg: 1.46 1.11 1.04 2/70 4308
/proc/meminfo: memFree=1403080/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=280460 CPUtime=1.49
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 22778 0 0 0 138 11 0 0 25 0 1 0 337983314 287191040 22761 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 70115 22761 90 241 0 69871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 280460
[startup+3.10192 s]
/proc/loadavg: 1.46 1.11 1.04 2/70 4308
/proc/meminfo: memFree=1346824/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=318204 CPUtime=3.09
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 42205 0 0 0 288 21 0 0 25 0 1 0 337983314 325840896 42188 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 79551 42188 90 241 0 79307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 318204
[startup+6.30128 s]
/proc/loadavg: 1.58 1.14 1.05 2/70 4308
/proc/meminfo: memFree=1189192/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=393556 CPUtime=6.28
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 80432 0 0 0 586 42 0 0 25 0 1 0 337983314 403001344 80415 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135064935 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 98389 80415 90 241 0 98145 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 393556
[startup+12.702 s]
/proc/loadavg: 1.70 1.17 1.06 2/70 4308
/proc/meminfo: memFree=855240/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=732880 CPUtime=12.68
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 181240 0 0 0 1181 87 0 0 25 0 1 0 337983314 750469120 153145 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135063784 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 183220 153145 93 241 0 182976 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 732880
[startup+25.5015 s]
/proc/loadavg: 1.61 1.18 1.06 2/70 4308
/proc/meminfo: memFree=858312/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=845212 CPUtime=25.48
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 209398 0 0 0 2448 100 0 0 25 0 1 0 337983314 865497088 153291 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 211303 153291 112 241 0 211059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 845212
[startup+51.1014 s]
/proc/loadavg: 1.40 1.16 1.06 2/70 4308
/proc/meminfo: memFree=858056/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=845484 CPUtime=51.07
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 209536 0 0 0 5007 100 0 0 25 0 1 0 337983314 865775616 153429 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562707 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 211371 153429 112 241 0 211127 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 845484
[startup+102.305 s]
/proc/loadavg: 1.17 1.14 1.05 2/70 4308
/proc/meminfo: memFree=855816/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=847496 CPUtime=102.26
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 210099 0 0 0 10126 100 0 0 25 0 1 0 337983314 867835904 153992 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 211874 153992 112 241 0 211630 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 847496
[startup+162.301 s]
/proc/loadavg: 1.06 1.11 1.05 2/70 4308
/proc/meminfo: memFree=849352/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=853680 CPUtime=162.23
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 211726 0 0 0 16122 101 0 0 25 0 1 0 337983314 874168320 155619 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560023 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 213420 155619 112 241 0 213176 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 853680
[startup+222.301 s]
/proc/loadavg: 1.02 1.09 1.04 2/70 4308
/proc/meminfo: memFree=846344/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=856560 CPUtime=222.22
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 212461 0 0 0 22120 102 0 0 25 0 1 0 337983314 877117440 156354 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 214140 156354 112 241 0 213896 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 856560
[startup+282.302 s]
/proc/loadavg: 1.01 1.07 1.03 2/70 4308
/proc/meminfo: memFree=836616/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=868928 CPUtime=282.2
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 215325 0 0 0 28117 103 0 0 25 0 1 0 337983314 889782272 159185 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559802 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 217232 159185 112 241 0 216988 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 868928
[startup+342.302 s]
/proc/loadavg: 1.00 1.05 1.03 2/70 4308
/proc/meminfo: memFree=759368/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=952844 CPUtime=342.18
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 234210 0 0 0 34106 112 0 0 25 0 1 0 337983314 975712256 178070 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135063784 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 238211 178070 112 241 0 237967 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 952844
[startup+402.302 s]
/proc/loadavg: 1.00 1.04 1.02 2/70 4308
/proc/meminfo: memFree=739592/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=972120 CPUtime=402.17
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 239160 0 0 0 40100 117 0 0 25 0 1 0 337983314 995450880 183020 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562329 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 243030 183020 112 241 0 242786 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 972120
[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.02 2/70 4308
/proc/meminfo: memFree=729544/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=981636 CPUtime=462.15
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 241616 0 0 0 46096 119 0 0 25 0 1 0 337983314 1005195264 185476 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 245409 185476 112 241 0 245165 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 981636
[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.01 2/70 4308
/proc/meminfo: memFree=726344/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=984688 CPUtime=522.13
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 242415 0 0 0 52093 120 0 0 25 0 1 0 337983314 1008320512 186275 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560538 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 246172 186275 112 241 0 245928 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 984688
[startup+582.302 s]
/proc/loadavg: 1.00 1.02 1.01 2/70 4308
/proc/meminfo: memFree=722120/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=988660 CPUtime=582.11
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 243471 0 0 0 58090 121 0 0 25 0 1 0 337983314 1012387840 187331 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 247165 187331 112 241 0 246921 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 988660
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/70 4308
/proc/meminfo: memFree=710792/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=999640 CPUtime=642.1
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 246281 0 0 0 64087 123 0 0 25 0 1 0 337983314 1023631360 190141 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 249910 190141 112 241 0 249666 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 999640
[startup+702.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/70 4308
/proc/meminfo: memFree=657992/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1059160 CPUtime=702.08
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 259683 0 0 0 70077 131 0 0 25 0 1 0 337983314 1084579840 203543 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559860 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 264790 203543 112 241 0 264546 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 1059160
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4308
/proc/meminfo: memFree=605384/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1116800 CPUtime=762.07
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 272618 0 0 0 76070 137 0 0 25 0 1 0 337983314 1143603200 216478 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 135065075 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 279200 216478 112 241 0 278956 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 1116800
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4308
/proc/meminfo: memFree=592072/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1129928 CPUtime=822.04
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 275959 0 0 0 82065 139 0 0 25 0 1 0 337983314 1157046272 219819 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562776 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 282482 219819 112 241 0 282238 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 1129928
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4308
/proc/meminfo: memFree=556424/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1166668 CPUtime=882.03
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 284810 0 0 0 88057 146 0 0 25 0 1 0 337983314 1194668032 228670 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559842 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 291667 228670 112 241 0 291423 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1166668
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4308
/proc/meminfo: memFree=530184/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1194852 CPUtime=942.01
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 291610 0 0 0 94051 150 0 0 25 0 1 0 337983314 1223528448 235470 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562329 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 298713 235470 112 241 0 298469 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1194852
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4308
/proc/meminfo: memFree=463304/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1269276 CPUtime=1001.99
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 308092 0 0 0 100041 158 0 0 25 0 1 0 337983314 1299738624 251952 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134560538 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 317319 251952 112 241 0 317075 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 1269276
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4308
/proc/meminfo: memFree=392264/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1351804 CPUtime=1061.97
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 325822 0 0 0 106032 165 0 0 25 0 1 0 337983314 1384247296 269682 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562329 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 337951 269682 112 241 0 337707 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1351804
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4308
/proc/meminfo: memFree=340616/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1408000 CPUtime=1121.96
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 338603 0 0 0 112025 171 0 0 25 0 1 0 337983314 1441792000 282463 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562968 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 352000 282463 112 241 0 351756 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1408000
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4310
/proc/meminfo: memFree=324872/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1423648 CPUtime=1181.94
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 342614 0 0 0 118020 174 0 0 25 0 1 0 337983314 1457815552 286474 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134559940 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 355912 286474 112 241 0 355668 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1423648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4310
/proc/meminfo: memFree=315336/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=1432552 CPUtime=1200.04
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4194304 344912 0 0 0 119829 175 0 0 25 0 1 0 337983314 1466933248 288772 18446744073709551615 134512640 135500113 4294956704 18446744073709551615 134562414 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 358138 288772 112 241 0 357894 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 1432552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 4310
/proc/meminfo: memFree=315336/2055888 swapFree=4087256/4096564
[pid=4307] ppid=4305 vsize=0 CPUtime=1200.14
/proc/4307/stat : 4307 (cmusat_base) R 4305 4307 3483 0 -1 4195332 344912 0 0 0 119829 185 0 0 25 0 1 0 337983314 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 35 0 0 0 17 1 0 0
/proc/4307/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.59
CPU time (s): 1200.23
CPU user time (s): 1198.29
CPU system time (s): 1.9407
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1432552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.29
system time used= 1.9407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344912
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= 6
involuntary context switches= 1885
runsolver used 1.06984 second user time and 2.22966 second system time
The end
Begin job on node76 on Tue Mar 6 11:24:10 UTC 2007
IDJOB= 331100
IDBENCH= 20579
IDSOLVER= 120
FILE ID= node76/331100-1173180241
PBS_JOBID= 4015266
Free space on /tmp= 66382 MiB
SOLVER NAME= CMUSAT BASE 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.cnf
COMMAND LINE= /tmp/evaluation/331100-1173180241/cmusat_base /tmp/evaluation/331100-1173180241/instance-331100-1173180241.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-331100-1173180241 -o ROOT/results/node76/solver-331100-1173180241 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/331100-1173180241/cmusat_base /tmp/evaluation/331100-1173180241/instance-331100-1173180241.cnf
META MD5SUM SOLVER= af990fb12f8926fdd756b397adb3b5cf
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED= 796948994
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.219
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 6006.18
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.219
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5999.41
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1469744 kB
Buffers: 24684 kB
Cached: 493140 kB
SwapCached: 2716 kB
Active: 333484 kB
Inactive: 194056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1469744 kB
SwapTotal: 4096564 kB
SwapFree: 4087256 kB
Dirty: 159032 kB
Writeback: 0 kB
Mapped: 15760 kB
Slab: 44976 kB
Committed_AS: 1175712 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66382 MiB
End job on node76 on Tue Mar 6 11:44:13 UTC 2007