runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773075-1241275739/watcher-1773075-1241275739 -o /tmp/evaluation-result-1773075-1241275739/solver-1773075-1241275739 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1773075-1241275739.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: 1.00 1.00 1.00 3/64 764
/proc/meminfo: memFree=1200088/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=3376 CPUtime=0
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 478 0 0 0 0 0 0 0 18 0 1 0 155607946 3457024 462 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 844 463 221 541 0 294 0
[startup+0.0421209 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 764
/proc/meminfo: memFree=1200088/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=4140 CPUtime=0.03
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 690 0 0 0 3 0 0 0 18 0 1 0 155607946 4239360 674 1992294400 4194304 6412682 548682068864 18446744073709551615 5554256 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 1035 674 247 541 0 485 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4140
[startup+0.101124 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 764
/proc/meminfo: memFree=1200088/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=4140 CPUtime=0.09
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 707 0 0 0 9 0 0 0 18 0 1 0 155607946 4239360 691 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 1035 691 254 541 0 485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4140
[startup+0.301141 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 764
/proc/meminfo: memFree=1200088/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=4404 CPUtime=0.29
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 774 0 0 0 29 0 0 0 19 0 1 0 155607946 4509696 758 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 1101 758 254 541 0 551 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4404
[startup+0.701173 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 764
/proc/meminfo: memFree=1200088/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=5320 CPUtime=0.69
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 1016 0 0 0 69 0 0 0 23 0 1 0 155607946 5447680 1000 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 1330 1000 254 541 0 780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5320
[startup+1.50224 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1196240/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=7196 CPUtime=1.49
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 1466 0 0 0 148 1 0 0 25 0 1 0 155607946 7368704 1450 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 1799 1450 254 541 0 1249 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7196
[startup+3.10137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1193936/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=9900 CPUtime=3.09
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 2131 0 0 0 307 2 0 0 25 0 1 0 155607946 10137600 2076 1992294400 4194304 6412682 548682068864 18446744073709551615 4333410 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 2475 2076 254 541 0 1925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9900
[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1191184/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=11132 CPUtime=6.29
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 2488 0 0 0 625 4 0 0 25 0 1 0 155607946 11399168 2388 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 2783 2388 257 541 0 2233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11132
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1189008/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=13688 CPUtime=12.68
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 3172 0 0 0 1263 5 0 0 25 0 1 0 155607946 14016512 2960 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 3422 2960 257 541 0 2872 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13688
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1184208/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=19040 CPUtime=25.48
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 4573 0 0 0 2539 9 0 0 25 0 1 0 155607946 19496960 4122 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 4760 4122 257 541 0 4210 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19040
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1175952/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=27524 CPUtime=51.08
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 6947 0 0 0 5092 16 0 0 25 0 1 0 155607946 28184576 6134 1992294400 4194304 6412682 548682068864 18446744073709551615 4332999 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 6881 6134 257 541 0 6331 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27524
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1167184/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=37252 CPUtime=102.27
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 9679 0 0 0 10199 28 0 0 25 0 1 0 155607946 38146048 8317 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 9313 8317 257 541 0 8763 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37252
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1154960/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=50572 CPUtime=162.25
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 13234 0 0 0 16184 41 0 0 25 0 1 0 155607946 51785728 11356 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 12643 11356 257 541 0 12093 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 50572
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1147408/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=60276 CPUtime=222.23
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 15471 0 0 0 22172 51 0 0 25 0 1 0 155607946 61722624 13275 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 15069 13275 257 541 0 14519 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60276
[startup+282.301 s]
/proc/loadavg: 1.18 1.04 1.01 2/65 765
/proc/meminfo: memFree=1140368/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=67296 CPUtime=282.21
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 17584 0 0 0 28160 61 0 0 25 0 1 0 155607946 68911104 15022 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 16824 15022 257 541 0 16274 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 67296
[startup+342.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 765
/proc/meminfo: memFree=1131664/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=76944 CPUtime=342.2
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 20134 0 0 0 34148 72 0 0 25 0 1 0 155607946 78790656 17152 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 19236 17152 257 541 0 18686 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 76944
[startup+402.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 765
/proc/meminfo: memFree=1129872/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=79024 CPUtime=402.19
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 20641 0 0 0 40140 79 0 0 25 0 1 0 155607946 80920576 17659 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 19756 17659 257 541 0 19206 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 79024
[startup+462.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 765
/proc/meminfo: memFree=1122640/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=86560 CPUtime=462.17
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 22946 0 0 0 46132 85 0 0 25 0 1 0 155607946 88637440 19481 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 21640 19481 257 541 0 21090 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 86560
[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 765
/proc/meminfo: memFree=1118736/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=90392 CPUtime=522.15
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 23981 0 0 0 52122 93 0 0 25 0 1 0 155607946 92561408 20516 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 22598 20516 257 541 0 22048 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 90392
[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 765
/proc/meminfo: memFree=1112208/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=98748 CPUtime=582.14
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 26101 0 0 0 58114 100 0 0 25 0 1 0 155607946 101117952 22080 1992294400 4194304 6412682 548682068864 18446744073709551615 4425356 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 24687 22080 257 541 0 24137 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 98748
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 765
/proc/meminfo: memFree=1110544/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=100348 CPUtime=642.13
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 26510 0 0 0 64107 106 0 0 25 0 1 0 155607946 102756352 22489 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 25087 22489 257 541 0 24537 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 100348
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=968784/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=259844 CPUtime=3041.5
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 68924 0 0 0 303829 321 0 0 25 0 1 0 155607946 266080256 57830 1992294400 4194304 6412682 548682068864 18446744073709551615 4286844 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 64961 57830 257 541 0 64411 0
Current children cumulated CPU time (s) 3041.5
Current children cumulated vsize (KiB) 259844
[startup+3102.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/65 773
/proc/meminfo: memFree=968464/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=259844 CPUtime=3101.48
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 69013 0 0 0 309823 325 0 0 25 0 1 0 155607946 266080256 57919 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 64961 57919 257 541 0 64411 0
Current children cumulated CPU time (s) 3101.48
Current children cumulated vsize (KiB) 259844
[startup+3162.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 773
/proc/meminfo: memFree=967120/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=261764 CPUtime=3161.46
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 69352 0 0 0 315817 329 0 0 25 0 1 0 155607946 268046336 58258 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 65441 58258 257 541 0 64891 0
Current children cumulated CPU time (s) 3161.46
Current children cumulated vsize (KiB) 261764
[startup+3222.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 773
/proc/meminfo: memFree=966288/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=264324 CPUtime=3221.45
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 69571 0 0 0 321812 333 0 0 25 0 1 0 155607946 270667776 58477 1992294400 4194304 6412682 548682068864 18446744073709551615 5276903 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 66081 58477 257 541 0 65531 0
Current children cumulated CPU time (s) 3221.45
Current children cumulated vsize (KiB) 264324
[startup+3282.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 773
/proc/meminfo: memFree=964688/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=265604 CPUtime=3281.43
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 69948 0 0 0 327806 337 0 0 25 0 1 0 155607946 271978496 58854 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 66401 58854 257 541 0 65851 0
Current children cumulated CPU time (s) 3281.43
Current children cumulated vsize (KiB) 265604
[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=962192/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=268164 CPUtime=3341.41
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 70595 0 0 0 333800 341 0 0 25 0 1 0 155607946 274599936 59501 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 67041 59501 257 541 0 66491 0
Current children cumulated CPU time (s) 3341.41
Current children cumulated vsize (KiB) 268164
[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=960656/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=269092 CPUtime=3401.41
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 70972 0 0 0 339796 345 0 0 25 0 1 0 155607946 275550208 59878 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 67273 59878 257 541 0 66723 0
Current children cumulated CPU time (s) 3401.41
Current children cumulated vsize (KiB) 269092
[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=953744/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=275332 CPUtime=3461.38
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 72708 0 0 0 345788 350 0 0 25 0 1 0 155607946 281939968 61614 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 68833 61614 257 541 0 68283 0
Current children cumulated CPU time (s) 3461.38
Current children cumulated vsize (KiB) 275332
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=946064/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=281940 CPUtime=3521.37
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 74630 0 0 0 351781 356 0 0 25 0 1 0 155607946 288706560 63536 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 70485 63536 257 541 0 69935 0
Current children cumulated CPU time (s) 3521.37
Current children cumulated vsize (KiB) 281940
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3581.35
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 357773 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296634 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3581.35
Current children cumulated vsize (KiB) 303120
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 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3582.95
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 357933 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296571 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3582.95
Current children cumulated vsize (KiB) 303120
[startup+3609.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3608.54
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 360492 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296628 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3608.54
Current children cumulated vsize (KiB) 303120
[startup+3615.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3614.94
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 361132 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296559 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3614.94
Current children cumulated vsize (KiB) 303120
[startup+3619.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3618.14
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 361452 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296628 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3618.14
Current children cumulated vsize (KiB) 303120
[startup+3622.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3621.35
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 361773 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296571 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3621.35
Current children cumulated vsize (KiB) 303120
[startup+3623.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3622.94
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 361932 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296616 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3622.94
Current children cumulated vsize (KiB) 303120
[startup+3624.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3623.74
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 362012 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296571 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3623.74
Current children cumulated vsize (KiB) 303120
[startup+3624.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3623.94
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 362032 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296559 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3623.94
Current children cumulated vsize (KiB) 303120
[startup+3625 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 773
/proc/meminfo: memFree=928528/2055920 swapFree=4191900/4192956
[pid=764] ppid=762 vsize=303120 CPUtime=3624.04
/proc/764/stat : 764 (kw) R 762 764 665 0 -1 0 78967 0 0 0 362042 362 0 0 25 0 1 0 155607946 310394880 67873 1992294400 4194304 6412682 548682068864 18446744073709551615 4296628 0 0 4096 0 0 0 0 17 1 0 0
/proc/764/statm: 75780 67873 257 541 0 75230 0
Current children cumulated CPU time (s) 3624.04
Current children cumulated vsize (KiB) 303120
Child status: 0
Real time (s): 3625.1
CPU time (s): 3624.15
CPU user time (s): 3620.47
CPU system time (s): 3.67344
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 303120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3620.47
system time used= 3.67344
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78974
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= 7184
runsolver used 2.94355 second user time and 7.13692 second system time
The end
Begin job on node3 at 2009-05-02 16:48:59
IDJOB=1773075
IDBENCH=20472
IDSOLVER=611
FILE ID=node3/1773075-1241275739
PBS_JOBID= 9225002
Free space on /tmp= 66352 MiB
SOLVER NAME= kw 2009-03-20
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= HOME/kw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773075-1241275739/watcher-1773075-1241275739 -o /tmp/evaluation-result-1773075-1241275739/solver-1773075-1241275739 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1773075-1241275739.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=744261310
node3.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.212
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.212
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: 1200504 kB
Buffers: 85384 kB
Cached: 652272 kB
SwapCached: 416 kB
Active: 92780 kB
Inactive: 658812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1200504 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 2352 kB
Writeback: 0 kB
Mapped: 22324 kB
Slab: 89864 kB
Committed_AS: 750416 kB
PageTables: 1372 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= 66348 MiB
End job on node3 at 2009-05-02 17:49:24