runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774035-1241279975/watcher-1774035-1241279975 -o /tmp/evaluation-result-1774035-1241279975/solver-1774035-1241279975 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1774035-1241279975.cnf
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: 0.92 0.98 0.99 3/64 23901
/proc/meminfo: memFree=1144000/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=5640 CPUtime=0
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 770 0 0 0 0 0 0 0 18 0 1 0 156030973 5775360 755 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 1410 759 208 541 0 860 0
[startup+0.0356141 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23901
/proc/meminfo: memFree=1144000/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=21600 CPUtime=0.02
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 4757 0 0 0 1 1 0 0 18 0 1 0 156030973 22118400 4741 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 5400 4741 221 541 0 4850 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21600
[startup+0.101619 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23901
/proc/meminfo: memFree=1144000/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=22392 CPUtime=0.09
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 4989 0 0 0 7 2 0 0 18 0 1 0 156030973 22929408 4973 1992294400 4194304 6412682 548682068864 18446744073709551615 4348189 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 5598 4974 221 541 0 5048 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22392
[startup+0.301637 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23901
/proc/meminfo: memFree=1144000/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=24960 CPUtime=0.29
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 5775 0 0 0 27 2 0 0 19 0 1 0 156030973 25559040 5710 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 6240 5710 221 541 0 5690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24960
[startup+0.701674 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23901
/proc/meminfo: memFree=1144000/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=33760 CPUtime=0.69
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 8324 0 0 0 67 2 0 0 22 0 1 0 156030973 34570240 7974 1992294400 4194304 6412682 548682068864 18446744073709551615 4564603 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 8440 7974 239 541 0 7890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33760
[startup+1.50175 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 23902
/proc/meminfo: memFree=1107768/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=45892 CPUtime=1.49
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 11545 0 0 0 133 16 0 0 25 0 1 0 156030973 46993408 11002 1992294400 4194304 6412682 548682068864 18446744073709551615 5554256 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 11473 11002 248 541 0 10923 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45892
[startup+3.10189 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 23902
/proc/meminfo: memFree=1088952/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62772 CPUtime=3.09
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15757 0 0 0 290 19 0 0 25 0 1 0 156030973 64278528 14964 1992294400 4194304 6412682 548682068864 18446744073709551615 4327466 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15693 14964 255 541 0 15143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62772
[startup+6.30119 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 23902
/proc/meminfo: memFree=1081400/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62772 CPUtime=6.29
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15758 0 0 0 609 20 0 0 25 0 1 0 156030973 64278528 14965 1992294400 4194304 6412682 548682068864 18446744073709551615 4285787 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15693 14965 255 541 0 15143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62772
[startup+12.7018 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 23902
/proc/meminfo: memFree=1081536/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62772 CPUtime=12.69
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15761 0 0 0 1249 20 0 0 25 0 1 0 156030973 64278528 14968 1992294400 4194304 6412682 548682068864 18446744073709551615 4285918 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15693 14968 255 541 0 15143 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62772
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23902
/proc/meminfo: memFree=1081600/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62772 CPUtime=25.48
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15766 0 0 0 2528 20 0 0 25 0 1 0 156030973 64278528 14973 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15693 14973 255 541 0 15143 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62772
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23902
/proc/meminfo: memFree=1081600/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62772 CPUtime=51.07
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15777 0 0 0 5087 20 0 0 25 0 1 0 156030973 64278528 14984 1992294400 4194304 6412682 548682068864 18446744073709551615 4285745 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15693 14984 255 541 0 15143 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62772
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23908
/proc/meminfo: memFree=1081408/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62776 CPUtime=102.25
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15798 0 0 0 10204 21 0 0 25 0 1 0 156030973 64282624 15005 1992294400 4194304 6412682 548682068864 18446744073709551615 4285745 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15694 15005 255 541 0 15144 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 62776
[startup+162.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 23908
/proc/meminfo: memFree=1081408/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62776 CPUtime=162.24
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15815 0 0 0 16202 22 0 0 25 0 1 0 156030973 64282624 15022 1992294400 4194304 6412682 548682068864 18446744073709551615 4362785 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15694 15022 258 541 0 15144 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 62776
[startup+222.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 23908
/proc/meminfo: memFree=1081408/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62964 CPUtime=222.22
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15822 0 0 0 22198 24 0 0 25 0 1 0 156030973 64475136 15029 1992294400 4194304 6412682 548682068864 18446744073709551615 4329603 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15741 15029 258 541 0 15191 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 62964
[startup+282.302 s]
/proc/loadavg: 1.10 1.05 1.01 2/65 23908
/proc/meminfo: memFree=1081408/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62964 CPUtime=282.21
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15830 0 0 0 28195 26 0 0 25 0 1 0 156030973 64475136 15037 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15741 15037 258 541 0 15191 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 62964
[startup+342.301 s]
/proc/loadavg: 1.06 1.05 1.01 2/65 23908
/proc/meminfo: memFree=1081280/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62964 CPUtime=342.19
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15839 0 0 0 34192 27 0 0 25 0 1 0 156030973 64475136 15046 1992294400 4194304 6412682 548682068864 18446744073709551615 4287183 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15741 15046 258 541 0 15191 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 62964
[startup+402.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 23908
/proc/meminfo: memFree=1081280/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62964 CPUtime=402.18
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15844 0 0 0 40189 29 0 0 25 0 1 0 156030973 64475136 15051 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15741 15051 258 541 0 15191 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 62964
[startup+462.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 23908
/proc/meminfo: memFree=1081280/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=62964 CPUtime=462.16
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 15849 0 0 0 46186 30 0 0 25 0 1 0 156030973 64475136 15056 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 15741 15056 258 541 0 15191 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 62964
[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 23908
/proc/meminfo: memFree=1079872/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=64320 CPUtime=522.14
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 16197 0 0 0 52182 32 0 0 25 0 1 0 156030973 65863680 15404 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 16080 15404 258 541 0 15530 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 64320
[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 23908
/proc/meminfo: memFree=1078528/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=65708 CPUtime=582.13
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 16532 0 0 0 58179 34 0 0 25 0 1 0 156030973 67284992 15739 1992294400 4194304 6412682 548682068864 18446744073709551615 4329632 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 16427 15739 258 541 0 15877 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 65708
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 23908
/proc/meminfo: memFree=1075392/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=69228 CPUtime=642.11
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 17315 0 0 0 64176 35 0 0 25 0 1 0 156030973 70889472 16522 1992294400 4194304 6412682 548682068864 18446744073709551615 4286888 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 17307 16522 258 541 0 16757 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 69228
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=994368/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=153776 CPUtime=2921.5
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 38406 0 0 0 292045 105 0 0 25 0 1 0 156030973 157466624 36654 1992294400 4194304 6412682 548682068864 18446744073709551615 4327399 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 38444 36654 258 541 0 37894 0
Current children cumulated CPU time (s) 2921.5
Current children cumulated vsize (KiB) 153776
[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=994432/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=153776 CPUtime=2981.47
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 38406 0 0 0 298041 106 0 0 25 0 1 0 156030973 157466624 36654 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 38444 36654 258 541 0 37894 0
Current children cumulated CPU time (s) 2981.47
Current children cumulated vsize (KiB) 153776
[startup+3042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=994176/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=154416 CPUtime=3041.46
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 38495 0 0 0 304039 107 0 0 25 0 1 0 156030973 158121984 36743 1992294400 4194304 6412682 548682068864 18446744073709551615 4285787 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 38604 36743 258 541 0 38054 0
Current children cumulated CPU time (s) 3041.46
Current children cumulated vsize (KiB) 154416
[startup+3102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=993920/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=155056 CPUtime=3101.44
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 38590 0 0 0 310036 108 0 0 25 0 1 0 156030973 158777344 36838 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 38764 36838 258 541 0 38214 0
Current children cumulated CPU time (s) 3101.44
Current children cumulated vsize (KiB) 155056
[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=993920/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=155056 CPUtime=3161.42
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 38602 0 0 0 316033 109 0 0 25 0 1 0 156030973 158777344 36850 1992294400 4194304 6412682 548682068864 18446744073709551615 4285787 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 38764 36850 258 541 0 38214 0
Current children cumulated CPU time (s) 3161.42
Current children cumulated vsize (KiB) 155056
[startup+3222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=993856/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=155056 CPUtime=3221.41
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 38609 0 0 0 322030 111 0 0 25 0 1 0 156030973 158777344 36857 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 38764 36857 258 541 0 38214 0
Current children cumulated CPU time (s) 3221.41
Current children cumulated vsize (KiB) 155056
[startup+3282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=990784/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=160268 CPUtime=3281.4
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 39383 0 0 0 328027 113 0 0 25 0 1 0 156030973 164114432 37631 1992294400 4194304 6412682 548682068864 18446744073709551615 4362399 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 40067 37631 258 541 0 39517 0
Current children cumulated CPU time (s) 3281.4
Current children cumulated vsize (KiB) 160268
[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=984192/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=166980 CPUtime=3341.37
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 41038 0 0 0 334021 116 0 0 25 0 1 0 156030973 170987520 39286 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 41745 39286 258 541 0 41195 0
Current children cumulated CPU time (s) 3341.37
Current children cumulated vsize (KiB) 166980
[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=979008/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172476 CPUtime=3401.37
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42673 0 0 0 340018 119 0 0 25 0 1 0 156030973 176615424 40501 1992294400 4194304 6412682 548682068864 18446744073709551615 4285787 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43119 40501 258 541 0 42569 0
Current children cumulated CPU time (s) 3401.37
Current children cumulated vsize (KiB) 172476
[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=979072/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172476 CPUtime=3461.35
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42695 0 0 0 346014 121 0 0 25 0 1 0 156030973 176615424 40523 1992294400 4194304 6412682 548682068864 18446744073709551615 4286911 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43119 40523 258 541 0 42569 0
Current children cumulated CPU time (s) 3461.35
Current children cumulated vsize (KiB) 172476
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=979072/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172476 CPUtime=3521.33
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42698 0 0 0 352011 122 0 0 25 0 1 0 156030973 176615424 40526 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43119 40526 258 541 0 42569 0
Current children cumulated CPU time (s) 3521.33
Current children cumulated vsize (KiB) 172476
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3581.31
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42835 0 0 0 358008 123 0 0 25 0 1 0 156030973 176934912 40663 1992294400 4194304 6412682 548682068864 18446744073709551615 4286849 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40663 258 541 0 42647 0
Current children cumulated CPU time (s) 3581.31
Current children cumulated vsize (KiB) 172788
Solver just ended. Dumping a history of the last processes samples
[startup+3583.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3582.91
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42835 0 0 0 358168 123 0 0 25 0 1 0 156030973 176934912 40663 1992294400 4194304 6412682 548682068864 18446744073709551615 4328853 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40663 258 541 0 42647 0
Current children cumulated CPU time (s) 3582.91
Current children cumulated vsize (KiB) 172788
[startup+3590.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3589.32
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42837 0 0 0 358808 124 0 0 25 0 1 0 156030973 176934912 40665 1992294400 4194304 6412682 548682068864 18446744073709551615 4286888 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40665 258 541 0 42647 0
Current children cumulated CPU time (s) 3589.32
Current children cumulated vsize (KiB) 172788
[startup+3596.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3595.71
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42837 0 0 0 359447 124 0 0 25 0 1 0 156030973 176934912 40665 1992294400 4194304 6412682 548682068864 18446744073709551615 4287183 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40665 258 541 0 42647 0
Current children cumulated CPU time (s) 3595.71
Current children cumulated vsize (KiB) 172788
[startup+3599.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3598.91
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42838 0 0 0 359767 124 0 0 25 0 1 0 156030973 176934912 40666 1992294400 4194304 6412682 548682068864 18446744073709551615 4286825 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40666 258 541 0 42647 0
Current children cumulated CPU time (s) 3598.91
Current children cumulated vsize (KiB) 172788
[startup+3600.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3599.71
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42838 0 0 0 359847 124 0 0 25 0 1 0 156030973 176934912 40666 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40666 258 541 0 42647 0
Current children cumulated CPU time (s) 3599.71
Current children cumulated vsize (KiB) 172788
[startup+3601.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3600.11
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42838 0 0 0 359887 124 0 0 25 0 1 0 156030973 176934912 40666 1992294400 4194304 6412682 548682068864 18446744073709551615 4287126 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40666 258 541 0 42647 0
Current children cumulated CPU time (s) 3600.11
Current children cumulated vsize (KiB) 172788
[startup+3601.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23910
/proc/meminfo: memFree=978496/2055920 swapFree=4181256/4192956
[pid=23901] ppid=23899 vsize=172788 CPUtime=3600.51
/proc/23901/stat : 23901 (kw) R 23899 23901 23864 0 -1 0 42838 0 0 0 359927 124 0 0 25 0 1 0 156030973 176934912 40666 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/23901/statm: 43197 40666 258 541 0 42647 0
Current children cumulated CPU time (s) 3600.51
Current children cumulated vsize (KiB) 172788
Child status: 0
Real time (s): 3601.57
CPU time (s): 3600.58
CPU user time (s): 3599.31
CPU system time (s): 1.27381
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 174160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.31
system time used= 1.27381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42845
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= 8522
runsolver used 2.86156 second user time and 7.93179 second system time
The end
Begin job on node14 at 2009-05-02 17:59:35
IDJOB=1774035
IDBENCH=70849
IDSOLVER=611
FILE ID=node14/1774035-1241279975
PBS_JOBID= 9225048
Free space on /tmp= 66552 MiB
SOLVER NAME= kw 2009-03-20
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= HOME/kw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774035-1241279975/watcher-1774035-1241279975 -o /tmp/evaluation-result-1774035-1241279975/solver-1774035-1241279975 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1774035-1241279975.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=56454635
node14.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.256
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 : 5931.00
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.256
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: 1144416 kB
Buffers: 84564 kB
Cached: 721972 kB
SwapCached: 5520 kB
Active: 69096 kB
Inactive: 745300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1144416 kB
SwapTotal: 4192956 kB
SwapFree: 4181256 kB
Dirty: 3952 kB
Writeback: 0 kB
Mapped: 13468 kB
Slab: 83040 kB
Committed_AS: 637508 kB
PageTables: 1448 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= 66544 MiB
End job on node14 at 2009-05-02 18:59:36