runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1772898-1241314359/watcher-1772898-1241314359 -o /tmp/evaluation-result-1772898-1241314359/solver-1772898-1241314359 -C 10000 -W 12000 -M 1800 HOME/CirCUs HOME/instance-1772898-1241314359.cnf -t 10000
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.09 0.96 0.99 3/65 28670
/proc/meminfo: memFree=591176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=15732 CPUtime=0
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 766 0 0 0 0 0 0 0 18 0 1 1000000 159468938 16109568 752 1992294400 134512640 135224549 4294956224 18446744073709551615 134593788 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 3933 757 66 173 0 3758 0
[startup+0.081239 s]
/proc/loadavg: 1.09 0.96 0.99 3/65 28670
/proc/meminfo: memFree=591176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=57972 CPUtime=0.07
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 9019 0 0 0 4 3 0 0 18 0 1 1000000 159468938 59363328 9004 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 14493 9005 70 173 0 14318 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 57972
[startup+0.10124 s]
/proc/loadavg: 1.09 0.96 0.99 3/65 28670
/proc/meminfo: memFree=591176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=59156 CPUtime=0.09
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 9359 0 0 0 6 3 0 0 18 0 1 1000000 159468938 60575744 9311 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 14789 9312 70 173 0 14614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59156
[startup+0.301263 s]
/proc/loadavg: 1.09 0.96 0.99 3/65 28670
/proc/meminfo: memFree=591176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=70352 CPUtime=0.29
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 12508 0 0 0 24 5 0 0 19 0 1 1000000 159468938 72040448 12266 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 17588 12266 70 173 0 17413 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70352
[startup+0.701309 s]
/proc/loadavg: 1.09 0.96 0.99 3/65 28670
/proc/meminfo: memFree=591176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=91440 CPUtime=0.69
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 18510 0 0 0 61 8 0 0 23 0 1 1000000 159468938 93634560 18011 1992294400 134512640 135224549 4294956224 18446744073709551615 134749214 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 22860 18012 70 173 0 22685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91440
[startup+1.5014 s]
/proc/loadavg: 1.09 0.96 0.99 2/66 28671
/proc/meminfo: memFree=502976/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=135472 CPUtime=1.49
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 30854 0 0 0 134 15 0 0 25 0 1 1000000 159468938 138723328 28817 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 33868 28818 70 173 0 33693 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135472
[startup+3.10159 s]
/proc/loadavg: 1.09 0.96 0.99 2/66 28671
/proc/meminfo: memFree=441488/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=205464 CPUtime=3.09
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 50549 0 0 0 284 25 0 0 25 0 1 1000000 159468938 210395136 46462 1992294400 134512640 135224549 4294956224 18446744073709551615 134570469 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 51366 46462 74 173 0 51191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 205464
[startup+6.30196 s]
/proc/loadavg: 1.16 0.98 0.99 2/66 28671
/proc/meminfo: memFree=346000/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=292028 CPUtime=6.29
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 73580 0 0 0 595 34 0 0 25 0 1 1000000 159468938 299036672 69364 1992294400 134512640 135224549 4294956224 18446744073709551615 134726486 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 73007 69364 77 173 0 72832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 292028
[startup+12.7017 s]
/proc/loadavg: 1.15 0.98 0.99 2/66 28671
/proc/meminfo: memFree=211176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=391688 CPUtime=12.69
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 99913 0 0 0 1223 46 0 0 25 0 1 1000000 159468938 401088512 95440 1992294400 134512640 135224549 4294956224 18446744073709551615 134632580 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 97922 95440 77 173 0 97747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 391688
[startup+25.5012 s]
/proc/loadavg: 1.11 0.98 0.99 2/66 28671
/proc/meminfo: memFree=197992/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=402612 CPUtime=25.48
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 102882 0 0 0 2501 47 0 0 25 0 1 1000000 159468938 412274688 98409 1992294400 134512640 135224549 4294956224 18446744073709551615 134570670 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 100653 98409 77 173 0 100478 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 402612
[startup+51.1011 s]
/proc/loadavg: 1.07 0.98 0.99 2/66 28671
/proc/meminfo: memFree=109672/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=505808 CPUtime=51.07
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 129559 0 0 0 5048 59 0 0 25 0 1 1000000 159468938 517947392 120476 1992294400 134512640 135224549 4294956224 18446744073709551615 134571676 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 126452 120476 77 173 0 126277 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 505808
[startup+102.306 s]
/proc/loadavg: 1.03 0.98 0.99 2/66 28671
/proc/meminfo: memFree=28136/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=587572 CPUtime=102.26
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 153987 0 0 0 10156 70 0 0 25 0 1 1000000 159468938 601673728 140837 1992294400 134512640 135224549 4294956224 18446744073709551615 134595322 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 146893 140837 93 173 0 146718 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 587572
[startup+162.302 s]
/proc/loadavg: 1.01 0.98 0.99 2/66 28671
/proc/meminfo: memFree=26216/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=589420 CPUtime=162.23
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 154475 0 0 0 16152 71 0 0 25 0 1 1000000 159468938 603566080 141325 1992294400 134512640 135224549 4294956224 18446744073709551615 134595634 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 147355 141325 93 173 0 147180 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 589420
[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28671
/proc/meminfo: memFree=26152/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=589420 CPUtime=222.21
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 154475 0 0 0 22150 71 0 0 25 0 1 1000000 159468938 603566080 141325 1992294400 134512640 135224549 4294956224 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 147355 141325 93 173 0 147180 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 589420
[startup+282.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28671
/proc/meminfo: memFree=26152/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=589420 CPUtime=282.19
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 154478 0 0 0 28148 71 0 0 25 0 1 1000000 159468938 603566080 141328 1992294400 134512640 135224549 4294956224 18446744073709551615 134595322 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 147355 141328 93 173 0 147180 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 589420
[startup+342.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28671
/proc/meminfo: memFree=26096/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=589676 CPUtime=342.17
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 154496 0 0 0 34146 71 0 0 25 0 1 1000000 159468938 603828224 141346 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 147419 141346 93 173 0 147244 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 589676
[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28671
/proc/meminfo: memFree=26096/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=589676 CPUtime=402.14
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 154498 0 0 0 40143 71 0 0 25 0 1 1000000 159468938 603828224 141348 1992294400 134512640 135224549 4294956224 18446744073709551615 134595766 0 0 4096 8192 0 0 0 17 1 0 0
/proc/28670/statm: 147419 141348 93 173 0 147244 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 589676
[startup+462.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28673
/proc/meminfo: memFree=25904/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=589676 CPUtime=462.1
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 154503 0 0 0 46139 71 0 0 25 0 1 1000000 159468938 603828224 141353 1992294400 134512640 135224549 4294956224 18446744073709551615 134595322 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 147419 141353 93 173 0 147244 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 589676
[startup+522.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28673
/proc/meminfo: memFree=25648/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=590072 CPUtime=522.07
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 154610 0 0 0 52136 71 0 0 25 0 1 1000000 159468938 604233728 141460 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 147518 141460 93 173 0 147343 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 590072
[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28673
/proc/meminfo: memFree=21680/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=594032 CPUtime=582.05
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 155601 0 0 0 58132 73 0 0 25 0 1 1000000 159468938 608288768 142451 1992294400 134512640 135224549 4294956224 18446744073709551615 134595201 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 148508 142451 93 173 0 148333 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 594032
[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 28673
/proc/meminfo: memFree=21360/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=594296 CPUtime=642.03
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 155686 0 0 0 64130 73 0 0 25 0 1 1000000 159468938 608559104 142536 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 148574 142536 93 173 0 148399 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 594296
[startup+702.301 s]
################
# More data... #
################
[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16688/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=646748 CPUtime=9038.36
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 168912 0 0 0 903736 100 0 0 25 0 1 1000000 159468938 662269952 155376 1992294400 134512640 135224549 4294956224 18446744073709551615 134595219 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 161687 155376 93 173 0 161512 0
Current children cumulated CPU time (s) 9038.36
Current children cumulated vsize (KiB) 646748
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=647276 CPUtime=9098.34
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 169064 0 0 0 909734 100 0 0 25 0 1 1000000 159468938 662810624 155528 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 161819 155528 93 173 0 161644 0
Current children cumulated CPU time (s) 9098.34
Current children cumulated vsize (KiB) 647276
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=15984/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=650576 CPUtime=9158.33
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 169879 0 0 0 915732 101 0 0 25 0 1 1000000 159468938 666189824 156343 1992294400 134512640 135224549 4294956224 18446744073709551615 134622731 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162644 156343 93 173 0 162469 0
Current children cumulated CPU time (s) 9158.33
Current children cumulated vsize (KiB) 650576
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=14832/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9218.32
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 921731 101 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9218.32
Current children cumulated vsize (KiB) 651648
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=14832/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9278.3
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 927729 101 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595203 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9278.3
Current children cumulated vsize (KiB) 651648
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16304/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9338.28
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 933727 101 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595588 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9338.28
Current children cumulated vsize (KiB) 651648
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16304/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9398.26
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 939725 101 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134617250 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9398.26
Current children cumulated vsize (KiB) 651648
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16240/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9458.25
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 945724 101 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595680 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9458.25
Current children cumulated vsize (KiB) 651648
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16240/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9518.23
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 951722 101 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595201 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9518.23
Current children cumulated vsize (KiB) 651648
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9578.21
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 957720 101 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9578.21
Current children cumulated vsize (KiB) 651648
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9638.21
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 963719 102 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134633331 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9638.21
Current children cumulated vsize (KiB) 651648
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16112/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9698.19
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 969717 102 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9698.19
Current children cumulated vsize (KiB) 651648
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9758.17
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 975715 102 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9758.17
Current children cumulated vsize (KiB) 651648
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9818.15
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 981713 102 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595609 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9818.15
Current children cumulated vsize (KiB) 651648
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9878.14
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 987712 102 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134619210 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9878.14
Current children cumulated vsize (KiB) 651648
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9938.12
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170153 0 0 0 993710 102 0 0 25 0 1 1000000 159468938 667287552 156617 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156617 93 173 0 162737 0
Current children cumulated CPU time (s) 9938.12
Current children cumulated vsize (KiB) 651648
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=9998.11
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170155 0 0 0 999709 102 0 0 25 0 1 300 159468938 667287552 156619 1992294400 134512640 135224549 4294956224 18446744073709551615 134595588 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156619 93 173 0 162737 0
Current children cumulated CPU time (s) 9998.11
Current children cumulated vsize (KiB) 651648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31784
/proc/meminfo: memFree=16176/2055920 swapFree=4186136/4192956
[pid=28670] ppid=28668 vsize=651648 CPUtime=10000
/proc/28670/stat : 28670 (CirCUs) R 28668 28670 28633 0 -1 4194304 170155 0 0 0 999899 102 0 0 25 0 1 300 159468938 667287552 156619 1992294400 134512640 135224549 4294956224 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 0 0 0
/proc/28670/statm: 162912 156619 93 173 0 162737 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 651648
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): 10004.3
CPU time (s): 10000.1
CPU user time (s): 9998.99
CPU system time (s): 1.11783
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 651648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9998.99
system time used= 1.11783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170155
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= 22724
runsolver used 9.2196 second user time and 27.2389 second system time
The end
Begin job on node74 at 2009-05-03 03:32:42
IDJOB=1772898
IDBENCH=20408
IDSOLVER=614
FILE ID=node74/1772898-1241314359
PBS_JOBID= 9225286
Free space on /tmp= 103204 MiB
SOLVER NAME= CircUs 2009-03-23
BENCH NAME= SAT07/industrial/palacios/hard/safe-50-h49-unsat.cnf
COMMAND LINE= HOME/CirCUs BENCHNAME -t TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772898-1241314359/watcher-1772898-1241314359 -o /tmp/evaluation-result-1772898-1241314359/solver-1772898-1241314359 -C 10000 -W 12000 -M 1800 HOME/CirCUs HOME/instance-1772898-1241314359.cnf -t 10000
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= afc9746f162b3434bc79ea21bd1704d5
RANDOM SEED=131315907
node74.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.233
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.233
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: 591592 kB
Buffers: 95680 kB
Cached: 1240948 kB
SwapCached: 3040 kB
Active: 393804 kB
Inactive: 954448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 591592 kB
SwapTotal: 4192956 kB
SwapFree: 4186136 kB
Dirty: 40424 kB
Writeback: 0 kB
Mapped: 19764 kB
Slab: 101824 kB
Committed_AS: 737376 kB
PageTables: 1444 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= 103204 MiB
End job on node74 at 2009-05-03 06:19:29