runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1577725-1241004144/watcher-1577725-1241004144 -o /tmp/evaluation-result-1577725-1241004144/solver-1577725-1241004144 -C 1200 -W 1800 -M 1800 HOME/SApperloT-hrp -seed=966677148 HOME/instance-1577725-1241004144.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): 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.54 2.16 1.77 3/65 2815
/proc/meminfo: memFree=708984/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=7252 CPUtime=0
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 983 0 0 0 0 0 0 0 18 0 1 0 128444133 7426048 967 1992294400 134512640 135712473 4294956192 18446744073709551615 134544839 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 1813 974 93 292 0 1518 0
[startup+0.0731389 s]
/proc/loadavg: 1.54 2.16 1.77 3/65 2815
/proc/meminfo: memFree=708984/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=45496 CPUtime=0.06
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 7095 0 0 0 3 3 0 0 18 0 1 0 128444133 46587904 7079 1992294400 134512640 135712473 4294956192 18446744073709551615 135208030 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 11374 7080 97 292 0 11079 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 45496
[startup+0.10114 s]
/proc/loadavg: 1.54 2.16 1.77 3/65 2815
/proc/meminfo: memFree=708984/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=46816 CPUtime=0.09
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 7463 0 0 0 6 3 0 0 18 0 1 0 128444133 47939584 7447 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 11704 7448 97 292 0 11409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46816
[startup+0.30116 s]
/proc/loadavg: 1.54 2.16 1.77 3/65 2815
/proc/meminfo: memFree=708984/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=56992 CPUtime=0.29
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 10080 0 0 0 24 5 0 0 19 0 1 0 128444133 58359808 10064 1992294400 134512640 135712473 4294956192 18446744073709551615 135208030 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 14248 10066 97 292 0 13953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56992
[startup+0.701203 s]
/proc/loadavg: 1.54 2.16 1.77 3/65 2815
/proc/meminfo: memFree=708984/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=75964 CPUtime=0.69
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 15282 0 0 0 60 9 0 0 23 0 1 0 128444133 77787136 15167 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 18991 15167 97 292 0 18696 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75964
[startup+1.50129 s]
/proc/loadavg: 1.54 2.16 1.77 2/66 2816
/proc/meminfo: memFree=632688/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=116136 CPUtime=1.49
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 26169 0 0 0 135 14 0 0 25 0 1 0 128444133 118923264 25859 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 29034 25860 97 292 0 28739 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116136
[startup+3.10145 s]
/proc/loadavg: 1.54 2.16 1.77 2/66 2816
/proc/meminfo: memFree=562224/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=215284 CPUtime=3.09
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 52414 0 0 0 281 28 0 0 25 0 1 0 128444133 220450816 51293 1992294400 134512640 135712473 4294956192 18446744073709551615 135148566 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 53821 51297 104 292 0 53526 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 215284
[startup+6.30179 s]
/proc/loadavg: 1.65 2.17 1.78 2/66 2816
/proc/meminfo: memFree=490296/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=229756 CPUtime=6.29
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 56204 0 0 0 600 29 0 0 25 0 1 0 128444133 235270144 54697 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 57439 54697 105 292 0 57144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 229756
[startup+12.7015 s]
/proc/loadavg: 1.76 2.18 1.78 2/66 2816
/proc/meminfo: memFree=490040/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=229888 CPUtime=12.68
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 56228 0 0 0 1239 29 0 0 25 0 1 0 128444133 235405312 54721 1992294400 134512640 135712473 4294956192 18446744073709551615 134539319 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 57472 54721 105 292 0 57177 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 229888
[startup+25.5018 s]
/proc/loadavg: 1.95 2.21 1.80 2/66 2816
/proc/meminfo: memFree=490168/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=229888 CPUtime=25.47
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 56249 0 0 0 2518 29 0 0 25 0 1 0 128444133 235405312 54742 1992294400 134512640 135712473 4294956192 18446744073709551615 134539284 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 57472 54742 105 292 0 57177 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 229888
[startup+51.1015 s]
/proc/loadavg: 2.11 2.22 1.81 2/66 2816
/proc/meminfo: memFree=489080/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=229888 CPUtime=51.06
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 56249 0 0 0 5076 30 0 0 25 0 1 0 128444133 235405312 54742 1992294400 134512640 135712473 4294956192 18446744073709551615 134539319 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 57472 54742 105 292 0 57177 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 229888
[startup+102.306 s]
/proc/loadavg: 2.15 2.21 1.83 2/66 2816
/proc/meminfo: memFree=476408/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=245364 CPUtime=102.24
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 60420 0 0 0 10192 32 0 0 25 0 1 0 128444133 251252736 58400 1992294400 134512640 135712473 4294956192 18446744073709551615 134610042 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 61341 58400 109 292 0 61046 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 245364
[startup+162.301 s]
/proc/loadavg: 1.61 2.06 1.80 2/66 2816
/proc/meminfo: memFree=451448/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=271612 CPUtime=162.22
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 66921 0 0 0 16186 36 0 0 25 0 1 0 128444133 278130688 64901 1992294400 134512640 135712473 4294956192 18446744073709551615 134574383 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 67903 64901 109 292 0 67608 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 271612
[startup+222.301 s]
/proc/loadavg: 1.22 1.87 1.75 2/66 2816
/proc/meminfo: memFree=444664/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=278568 CPUtime=222.19
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 68647 0 0 0 22181 38 0 0 25 0 1 0 128444133 285253632 66627 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 69642 66627 109 292 0 69347 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 278568
[startup+282.302 s]
/proc/loadavg: 1.08 1.71 1.70 2/66 2816
/proc/meminfo: memFree=438840/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=285504 CPUtime=282.16
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 70296 0 0 0 28176 40 0 0 25 0 1 0 128444133 292356096 68147 1992294400 134512640 135712473 4294956192 18446744073709551615 134552880 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 71376 68147 109 292 0 71081 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 285504
[startup+342.302 s]
/proc/loadavg: 1.03 1.57 1.65 2/66 2816
/proc/meminfo: memFree=426104/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=298104 CPUtime=342.14
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 73442 0 0 0 34170 44 0 0 25 0 1 0 128444133 305258496 71293 1992294400 134512640 135712473 4294956192 18446744073709551615 134564105 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 74526 71293 109 292 0 74231 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 298104
[startup+402.302 s]
/proc/loadavg: 1.01 1.47 1.61 2/66 2816
/proc/meminfo: memFree=417656/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=307560 CPUtime=402.12
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 75779 0 0 0 40165 47 0 0 25 0 1 0 128444133 314941440 73373 1992294400 134512640 135712473 4294956192 18446744073709551615 134564055 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 76890 73373 109 292 0 76595 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 307560
[startup+462.301 s]
/proc/loadavg: 1.00 1.38 1.57 2/66 2816
/proc/meminfo: memFree=409464/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=315904 CPUtime=462.08
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 77865 0 0 0 46159 49 0 0 25 0 1 0 128444133 323485696 75459 1992294400 134512640 135712473 4294956192 18446744073709551615 134563915 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 78976 75459 109 292 0 78681 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 315904
[startup+522.302 s]
/proc/loadavg: 1.00 1.31 1.53 2/66 2816
/proc/meminfo: memFree=400440/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=325164 CPUtime=522.06
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 80127 0 0 0 52154 52 0 0 25 0 1 0 128444133 332967936 77721 1992294400 134512640 135712473 4294956192 18446744073709551615 134564627 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 81291 77721 109 292 0 80996 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 325164
[startup+582.302 s]
/proc/loadavg: 1.00 1.25 1.49 2/66 2816
/proc/meminfo: memFree=393144/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=332520 CPUtime=582.03
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 81911 0 0 0 58149 54 0 0 25 0 1 0 128444133 340500480 79505 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 83130 79505 109 292 0 82835 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 332520
[startup+642.302 s]
/proc/loadavg: 1.00 1.20 1.46 2/66 2816
/proc/meminfo: memFree=387640/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=338056 CPUtime=642
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 83281 0 0 0 64145 55 0 0 25 0 1 0 128444133 346169344 80875 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 84514 80875 109 292 0 84219 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 338056
[startup+702.301 s]
/proc/loadavg: 1.00 1.16 1.43 2/66 2816
/proc/meminfo: memFree=382136/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=343864 CPUtime=701.98
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 84630 0 0 0 70141 57 0 0 25 0 1 0 128444133 352116736 82224 1992294400 134512640 135712473 4294956192 18446744073709551615 134567968 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 85966 82224 109 292 0 85671 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 343864
[startup+762.305 s]
/proc/loadavg: 1.00 1.13 1.40 2/66 2816
/proc/meminfo: memFree=375992/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=350740 CPUtime=761.96
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 86546 0 0 0 76137 59 0 0 25 0 1 0 128444133 359157760 83754 1992294400 134512640 135712473 4294956192 18446744073709551615 134563915 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 87685 83754 109 292 0 87390 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 350740
[startup+822.302 s]
/proc/loadavg: 1.00 1.10 1.37 2/66 2816
/proc/meminfo: memFree=368632/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=358160 CPUtime=821.93
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 88423 0 0 0 82132 61 0 0 25 0 1 0 128444133 366755840 85631 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 89540 85631 109 292 0 89245 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 358160
[startup+882.302 s]
/proc/loadavg: 1.00 1.08 1.34 2/66 2816
/proc/meminfo: memFree=362360/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=364224 CPUtime=881.91
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 89964 0 0 0 88127 64 0 0 25 0 1 0 128444133 372965376 87172 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 91056 87172 109 292 0 90761 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 364224
[startup+942.301 s]
/proc/loadavg: 1.00 1.06 1.32 2/66 2816
/proc/meminfo: memFree=356024/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=372728 CPUtime=941.88
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 92074 0 0 0 94123 65 0 0 25 0 1 0 128444133 381673472 88769 1992294400 134512640 135712473 4294956192 18446744073709551615 134564193 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 93182 88769 109 292 0 92887 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 372728
[startup+1002.3 s]
/proc/loadavg: 1.00 1.05 1.30 2/66 2816
/proc/meminfo: memFree=348152/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=381416 CPUtime=1001.85
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94518 0 0 0 100118 67 0 0 25 0 1 0 128444133 390569984 90747 1992294400 134512640 135712473 4294956192 18446744073709551615 134564028 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95354 90747 109 292 0 95059 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 381416
Solver just ended. Dumping a history of the last processes samples
[startup+1011.1 s]
/proc/loadavg: 1.00 1.05 1.29 2/66 2816
/proc/meminfo: memFree=347576/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=381956 CPUtime=1010.65
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94648 0 0 0 100998 67 0 0 25 0 1 0 128444133 391122944 90877 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95489 90877 109 292 0 95194 0
Current children cumulated CPU time (s) 1010.65
Current children cumulated vsize (KiB) 381956
[startup+1023.9 s]
/proc/loadavg: 1.00 1.05 1.29 2/66 2816
/proc/meminfo: memFree=347384/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=382100 CPUtime=1023.45
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94687 0 0 0 102278 67 0 0 25 0 1 0 128444133 391270400 90916 1992294400 134512640 135712473 4294956192 18446744073709551615 134539333 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95525 90916 109 292 0 95230 0
Current children cumulated CPU time (s) 1023.45
Current children cumulated vsize (KiB) 382100
[startup+1027.1 s]
/proc/loadavg: 1.00 1.05 1.29 2/66 2816
/proc/meminfo: memFree=347384/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=382100 CPUtime=1026.65
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94687 0 0 0 102598 67 0 0 25 0 1 0 128444133 391270400 90916 1992294400 134512640 135712473 4294956192 18446744073709551615 134539196 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95525 90916 109 292 0 95230 0
Current children cumulated CPU time (s) 1026.65
Current children cumulated vsize (KiB) 382100
[startup+1028.7 s]
/proc/loadavg: 1.00 1.04 1.29 2/66 2816
/proc/meminfo: memFree=347384/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=382100 CPUtime=1028.25
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94687 0 0 0 102758 67 0 0 25 0 1 0 128444133 391270400 90916 1992294400 134512640 135712473 4294956192 18446744073709551615 134539282 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95525 90916 109 292 0 95230 0
Current children cumulated CPU time (s) 1028.25
Current children cumulated vsize (KiB) 382100
[startup+1029.5 s]
/proc/loadavg: 1.00 1.04 1.29 2/66 2816
/proc/meminfo: memFree=347384/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=382100 CPUtime=1029.05
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94687 0 0 0 102838 67 0 0 25 0 1 0 128444133 391270400 90916 1992294400 134512640 135712473 4294956192 18446744073709551615 134539272 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95525 90916 109 292 0 95230 0
Current children cumulated CPU time (s) 1029.05
Current children cumulated vsize (KiB) 382100
[startup+1030.3 s]
/proc/loadavg: 1.00 1.04 1.29 2/66 2816
/proc/meminfo: memFree=347384/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=382100 CPUtime=1029.85
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94687 0 0 0 102918 67 0 0 25 0 1 0 128444133 391270400 90916 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95525 90916 109 292 0 95230 0
Current children cumulated CPU time (s) 1029.85
Current children cumulated vsize (KiB) 382100
[startup+1030.5 s]
/proc/loadavg: 1.00 1.04 1.29 2/66 2816
/proc/meminfo: memFree=347384/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=382100 CPUtime=1030.05
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194304 94687 0 0 0 102938 67 0 0 25 0 1 0 128444133 391270400 90916 1992294400 134512640 135712473 4294956192 18446744073709551615 134564133 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 95525 90916 109 292 0 95230 0
Current children cumulated CPU time (s) 1030.05
Current children cumulated vsize (KiB) 382100
[startup+1030.6 s]
/proc/loadavg: 1.00 1.04 1.29 2/66 2816
/proc/meminfo: memFree=616568/2055924 swapFree=4181464/4192956
[pid=2815] ppid=2813 vsize=0 CPUtime=1030.16
/proc/2815/stat : 2815 (SApperloT-hrp) R 2813 2815 2448 0 -1 4194308 94698 0 0 0 102944 72 0 0 25 0 1 0 128444133 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/2815/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1030.16
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1030.62
CPU time (s): 1030.18
CPU user time (s): 1029.44
CPU system time (s): 0.732888
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 382100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1029.44
system time used= 0.732888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94698
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= 2904
runsolver used 1.17782 second user time and 2.40863 second system time
The end
Begin job on node83 at 2009-04-29 13:22:28
IDJOB=1577725
IDBENCH=70965
IDSOLVER=510
FILE ID=node83/1577725-1241004144
PBS_JOBID= 9204789
Free space on /tmp= 66072 MiB
SOLVER NAME= SApperloT hrp
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L200_coli.sat.cnf
COMMAND LINE= HOME/SApperloT-hrp -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1577725-1241004144/watcher-1577725-1241004144 -o /tmp/evaluation-result-1577725-1241004144/solver-1577725-1241004144 -C 1200 -W 1800 -M 1800 HOME/SApperloT-hrp -seed=966677148 HOME/instance-1577725-1241004144.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 853982f8646333d217e35d938b7eb00b
RANDOM SEED=966677148
node83.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 709464 kB
Buffers: 91764 kB
Cached: 1150920 kB
SwapCached: 5388 kB
Active: 512544 kB
Inactive: 739152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 709464 kB
SwapTotal: 4192956 kB
SwapFree: 4181464 kB
Dirty: 72812 kB
Writeback: 0 kB
Mapped: 13564 kB
Slab: 80752 kB
Committed_AS: 551916 kB
PageTables: 1396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66072 MiB
End job on node83 at 2009-04-29 13:39:39