runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1581083-1238925133/watcher-1581083-1238925133 -o /tmp/evaluation-result-1581083-1238925133/solver-1581083-1238925133 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1581083-1238925133.cnf -t 1200
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): 1800 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.00 1.01 1.00 3/64 19275
/proc/meminfo: memFree=999304/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=7280 CPUtime=0
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 686 0 0 0 0 0 0 0 18 0 1 120000 1165179096 7454720 671 1992294400 134512640 135224549 4294956208 18446744073709551615 134593788 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 1820 677 66 173 0 1645 0
[startup+0.102185 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 19275
/proc/meminfo: memFree=999304/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=33852 CPUtime=0.09
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 5201 0 0 0 8 1 0 0 18 0 1 120000 1165179096 34664448 5088 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 8463 5089 70 173 0 8288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33852
[startup+0.201192 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 19275
/proc/meminfo: memFree=999304/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=39776 CPUtime=0.19
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 6899 0 0 0 17 2 0 0 18 0 1 120000 1165179096 40730624 6657 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 9944 6659 70 173 0 9769 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39776
[startup+0.301201 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 19275
/proc/meminfo: memFree=999304/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=44396 CPUtime=0.29
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 8230 0 0 0 26 3 0 0 19 0 1 120000 1165179096 45461504 7988 1992294400 134512640 135224549 4294956208 18446744073709551615 134565970 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 11099 7989 70 173 0 10924 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44396
[startup+0.701235 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 19275
/proc/meminfo: memFree=999304/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=59412 CPUtime=0.69
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 12494 0 0 0 63 6 0 0 22 0 1 120000 1165179096 60837888 11995 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 14853 11995 70 173 0 14678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59412
[startup+1.50131 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 19276
/proc/meminfo: memFree=936768/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=84164 CPUtime=1.49
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 19454 0 0 0 139 10 0 0 25 0 1 120000 1165179096 86183936 18442 1992294400 134512640 135224549 4294956208 18446744073709551615 134549159 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 21041 18444 70 173 0 20866 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84164
[startup+3.10144 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 19276
/proc/meminfo: memFree=894144/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=118748 CPUtime=3.09
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 29338 0 0 0 292 17 0 0 25 0 1 120000 1165179096 121597952 27300 1992294400 134512640 135224549 4294956208 18446744073709551615 134570642 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 29687 27300 76 173 0 29512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118748
[startup+6.30172 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 19276
/proc/meminfo: memFree=869888/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=135188 CPUtime=6.29
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 34902 0 0 0 609 20 0 0 25 0 1 120000 1165179096 138432512 32864 1992294400 134512640 135224549 4294956208 18446744073709551615 134571491 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 33797 32864 77 173 0 33622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 135188
[startup+12.7013 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 19276
/proc/meminfo: memFree=864768/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=139552 CPUtime=12.69
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 36728 0 0 0 1249 20 0 0 25 0 1 120000 1165179096 142901248 33697 1992294400 134512640 135224549 4294956208 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 34888 33697 92 173 0 34713 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 139552
[startup+25.5014 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 19276
/proc/meminfo: memFree=864768/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=139696 CPUtime=25.49
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 36740 0 0 0 2528 21 0 0 25 0 1 120000 1165179096 143048704 33709 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 34924 33709 92 173 0 34749 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 139696
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=861184/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=143456 CPUtime=51.08
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 37672 0 0 0 5086 22 0 0 25 0 1 120000 1165179096 146898944 34641 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 35864 34641 92 173 0 35689 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 143456
[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=852288/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=152336 CPUtime=102.27
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 39873 0 0 0 10202 25 0 0 25 0 1 120000 1165179096 155992064 36842 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 38084 36842 92 173 0 37909 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152336
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=840384/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=164368 CPUtime=162.25
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 42876 0 0 0 16197 28 0 0 25 0 1 120000 1165179096 168312832 39845 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 41092 39845 92 173 0 40917 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 164368
[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=825344/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=179220 CPUtime=222.23
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 46608 0 0 0 22192 31 0 0 25 0 1 120000 1165179096 183521280 43577 1992294400 134512640 135224549 4294956208 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 44805 43577 92 173 0 44630 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 179220
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=811072/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=193768 CPUtime=282.22
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 50199 0 0 0 28186 36 0 0 25 0 1 120000 1165179096 198418432 47168 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 48442 47168 92 173 0 48267 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 193768
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=796672/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=207928 CPUtime=342.2
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 53751 0 0 0 34180 40 0 0 25 0 1 120000 1165179096 212918272 50720 1992294400 134512640 135224549 4294956208 18446744073709551615 134587817 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 51982 50720 92 173 0 51807 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 207928
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=783232/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=221436 CPUtime=402.19
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 57134 0 0 0 40175 44 0 0 25 0 1 120000 1165179096 226750464 54103 1992294400 134512640 135224549 4294956208 18446744073709551615 134613700 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 55359 54103 92 173 0 55184 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 221436
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=768896/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=235732 CPUtime=462.17
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 60727 0 0 0 46170 47 0 0 25 0 1 120000 1165179096 241389568 57696 1992294400 134512640 135224549 4294956208 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 58933 57696 92 173 0 58758 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 235732
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19276
/proc/meminfo: memFree=762240/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=242232 CPUtime=522.15
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 62339 0 0 0 52166 49 0 0 25 0 1 120000 1165179096 248045568 59308 1992294400 134512640 135224549 4294956208 18446744073709551615 134587776 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 60558 59308 92 173 0 60383 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 242232
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=762104/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=242232 CPUtime=582.13
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 62339 0 0 0 58164 49 0 0 25 0 1 120000 1165179096 248045568 59308 1992294400 134512640 135224549 4294956208 18446744073709551615 134587803 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 60558 59308 92 173 0 60383 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 242232
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=762104/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=242232 CPUtime=642.11
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 62339 0 0 0 64162 49 0 0 25 0 1 120000 1165179096 248045568 59308 1992294400 134512640 135224549 4294956208 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 60558 59308 92 173 0 60383 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 242232
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=762168/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=242232 CPUtime=702.1
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 62342 0 0 0 70160 50 0 0 25 0 1 120000 1165179096 248045568 59311 1992294400 134512640 135224549 4294956208 18446744073709551615 134587841 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 60558 59311 92 173 0 60383 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 242232
[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=762232/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=242232 CPUtime=762.09
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 62343 0 0 0 76159 50 0 0 25 0 1 120000 1165179096 248045568 59312 1992294400 134512640 135224549 4294956208 18446744073709551615 134587776 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 60558 59312 92 173 0 60383 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 242232
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=750520/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=254028 CPUtime=822.07
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 65294 0 0 0 82155 52 0 0 25 0 1 120000 1165179096 260124672 62263 1992294400 134512640 135224549 4294956208 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 63507 62263 92 173 0 63332 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 254028
[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=737024/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=267420 CPUtime=882.06
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 68644 0 0 0 88150 56 0 0 25 0 1 120000 1165179096 273838080 65613 1992294400 134512640 135224549 4294956208 18446744073709551615 134595336 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 66855 65613 92 173 0 66680 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 267420
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=724160/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=280404 CPUtime=942.04
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 71894 0 0 0 94145 59 0 0 25 0 1 120000 1165179096 287133696 68863 1992294400 134512640 135224549 4294956208 18446744073709551615 134595225 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 70101 68863 92 173 0 69926 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 280404
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=710208/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=294316 CPUtime=1002.02
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 75358 0 0 0 100140 62 0 0 25 0 1 120000 1165179096 301379584 72327 1992294400 134512640 135224549 4294956208 18446744073709551615 134587841 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 73579 72327 92 173 0 73404 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 294316
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=697344/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=307332 CPUtime=1062
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 78609 0 0 0 106135 65 0 0 25 0 1 120000 1165179096 314707968 75578 1992294400 134512640 135224549 4294956208 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 76833 75578 92 173 0 76658 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 307332
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=690816/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=313576 CPUtime=1121.99
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 80169 0 0 0 112133 66 0 0 25 0 1 120000 1165179096 321101824 77138 1992294400 134512640 135224549 4294956208 18446744073709551615 134588248 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 78394 77138 92 173 0 78219 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 313576
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=690816/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=313576 CPUtime=1181.98
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 80169 0 0 0 118131 67 0 0 25 0 1 120000 1165179096 321101824 77138 1992294400 134512640 135224549 4294956208 18446744073709551615 134587776 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 78394 77138 92 173 0 78219 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 313576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=690816/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=313576 CPUtime=1200.08
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 80169 0 0 0 119941 67 0 0 25 0 1 100 1165179096 321101824 77138 1992294400 134512640 135224549 4294956208 18446744073709551615 134622731 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 78394 77138 92 173 0 78219 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 313576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19282
/proc/meminfo: memFree=690816/2055920 swapFree=4175756/4192956
[pid=19275] ppid=19273 vsize=313576 CPUtime=1200.08
/proc/19275/stat : 19275 (CirCUs) R 19273 19275 18623 0 -1 4194304 80169 0 0 0 119941 67 0 0 25 0 1 100 1165179096 321101824 77138 1992294400 134512640 135224549 4294956208 18446744073709551615 134622731 0 0 4096 8192 0 0 0 17 1 0 0
/proc/19275/statm: 78394 77138 92 173 0 78219 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 313576
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.45
CPU time (s): 1200.13
CPU user time (s): 1199.41
CPU system time (s): 0.72089
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 313576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.41
system time used= 0.72089
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80169
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= 2
involuntary context switches= 825
runsolver used 1.05684 second user time and 2.6546 second system time
The end
Begin job on node31 at 2009-04-05 11:52:15
IDJOB=1581083
IDBENCH=71029
IDSOLVER=544
FILE ID=node31/1581083-1238925133
PBS_JOBID= 9101412
Free space on /tmp= 66468 MiB
SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-20-10p1.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1581083-1238925133/watcher-1581083-1238925133 -o /tmp/evaluation-result-1581083-1238925133/solver-1581083-1238925133 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1581083-1238925133.cnf -t 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4454a006891d750fc88d47a8b0848855
RANDOM SEED=316054894
node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.214
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 : 5914.62
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.214
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 999784 kB
Buffers: 111348 kB
Cached: 832240 kB
SwapCached: 10248 kB
Active: 521856 kB
Inactive: 433508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 999784 kB
SwapTotal: 4192956 kB
SwapFree: 4175756 kB
Dirty: 27376 kB
Writeback: 0 kB
Mapped: 17436 kB
Slab: 86476 kB
Committed_AS: 3500248 kB
PageTables: 1496 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66468 MiB
End job on node31 at 2009-04-05 12:12:18