runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774995-1241283232/watcher-1774995-1241283232 -o /tmp/evaluation-result-1774995-1241283232/solver-1774995-1241283232 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1774995-1241283232.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.02 1.01 1.00 3/64 25188
/proc/meminfo: memFree=1429544/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=4824 CPUtime=0
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 852 0 0 0 0 0 0 0 18 0 1 0 156351390 4939776 836 1992294400 4194304 6412682 548682068864 18446744073709551615 5553904 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 1206 836 211 541 0 656 0
[startup+0.0069041 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 25188
/proc/meminfo: memFree=1429544/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=7896 CPUtime=0
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 879 0 0 0 0 0 0 0 18 0 1 0 156351390 8085504 863 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 1974 863 219 541 0 1424 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7896
[startup+0.101914 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 25188
/proc/meminfo: memFree=1429544/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=9480 CPUtime=0.09
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 1343 0 0 0 9 0 0 0 18 0 1 0 156351390 9707520 1327 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 2370 1327 219 541 0 1820 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9480
[startup+0.301935 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 25188
/proc/meminfo: memFree=1429544/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=13584 CPUtime=0.29
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 2451 0 0 0 27 2 0 0 19 0 1 0 156351390 13910016 2435 1992294400 4194304 6412682 548682068864 18446744073709551615 4348189 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 3396 2435 219 541 0 2846 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13584
[startup+0.701981 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 25188
/proc/meminfo: memFree=1429544/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=21464 CPUtime=0.69
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 4482 0 0 0 66 3 0 0 22 0 1 0 156351390 21979136 4466 1992294400 4194304 6412682 548682068864 18446744073709551615 5554128 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 5366 4466 219 541 0 4816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21464
[startup+1.50107 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 25189
/proc/meminfo: memFree=1405344/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=47024 CPUtime=1.49
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 11142 0 0 0 143 6 0 0 25 0 1 0 156351390 48152576 11126 1992294400 4194304 6412682 548682068864 18446744073709551615 4261022 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 11756 11126 239 541 0 11206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47024
[startup+3.10124 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 25189
/proc/meminfo: memFree=1385760/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=47024 CPUtime=3.09
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 11142 0 0 0 303 6 0 0 25 0 1 0 156351390 48152576 11126 1992294400 4194304 6412682 548682068864 18446744073709551615 4564494 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 11756 11126 239 541 0 11206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47024
[startup+6.3016 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 25189
/proc/meminfo: memFree=1385520/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=58468 CPUtime=6.29
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 13345 0 0 0 620 9 0 0 25 0 1 0 156351390 59871232 13329 1992294400 4194304 6412682 548682068864 18446744073709551615 5508555 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 14617 13329 247 541 0 14067 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58468
[startup+12.7023 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 25189
/proc/meminfo: memFree=1373040/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=61460 CPUtime=12.69
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 14071 0 0 0 1260 9 0 0 25 0 1 0 156351390 62935040 14055 1992294400 4194304 6412682 548682068864 18446744073709551615 4564583 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 15365 14055 247 541 0 14815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61460
[startup+25.5017 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 25189
/proc/meminfo: memFree=1374576/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=59480 CPUtime=25.48
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 14215 0 0 0 2538 10 0 0 25 0 1 0 156351390 60907520 13705 1992294400 4194304 6412682 548682068864 18446744073709551615 4328489 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 14870 13705 254 541 0 14320 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59480
[startup+51.1015 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 25189
/proc/meminfo: memFree=1361328/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=74104 CPUtime=51.08
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 17738 0 0 0 5092 16 0 0 25 0 1 0 156351390 75882496 17023 1992294400 4194304 6412682 548682068864 18446744073709551615 5484944 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 18526 17023 257 541 0 17976 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74104
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25189
/proc/meminfo: memFree=1331760/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=107152 CPUtime=102.27
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 25456 0 0 0 10198 29 0 0 25 0 1 0 156351390 109723648 24430 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 26788 24430 257 541 0 26238 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107152
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25189
/proc/meminfo: memFree=1304560/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=139028 CPUtime=162.25
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 32707 0 0 0 16185 40 0 0 25 0 1 0 156351390 142364672 31208 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 34757 31208 257 541 0 34207 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 139028
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25189
/proc/meminfo: memFree=1293488/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=151988 CPUtime=222.23
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 35644 0 0 0 22177 46 0 0 25 0 1 0 156351390 155635712 33938 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 37997 33938 257 541 0 37447 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 151988
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25189
/proc/meminfo: memFree=1283376/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=163288 CPUtime=282.22
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 38417 0 0 0 28170 52 0 0 25 0 1 0 156351390 167206912 36473 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 40822 36473 257 541 0 40272 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 163288
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25189
/proc/meminfo: memFree=1281264/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=165848 CPUtime=342.2
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 38934 0 0 0 34166 54 0 0 25 0 1 0 156351390 169828352 36990 1992294400 4194304 6412682 548682068864 18446744073709551615 4286890 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 41462 36990 257 541 0 40912 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 165848
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25189
/proc/meminfo: memFree=1263664/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=186532 CPUtime=402.18
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 43595 0 0 0 40158 60 0 0 25 0 1 0 156351390 191008768 41378 1992294400 4194304 6412682 548682068864 18446744073709551615 4286747 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 46633 41378 257 541 0 46083 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 186532
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25195
/proc/meminfo: memFree=1253424/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=199708 CPUtime=462.16
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 46123 0 0 0 46151 65 0 0 25 0 1 0 156351390 204500992 43906 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 49927 43906 257 541 0 49377 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 199708
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25195
/proc/meminfo: memFree=1248240/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=206012 CPUtime=522.15
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 47800 0 0 0 52142 73 0 0 25 0 1 0 156351390 210956288 45269 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 51503 45269 257 541 0 50953 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 206012
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25195
/proc/meminfo: memFree=1227440/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=230688 CPUtime=582.13
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 53383 0 0 0 58130 83 0 0 25 0 1 0 156351390 236224512 50491 1992294400 4194304 6412682 548682068864 18446744073709551615 5491301 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 57672 50491 257 541 0 57122 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 230688
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25195
/proc/meminfo: memFree=1211504/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=248464 CPUtime=642.12
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 57690 0 0 0 64121 91 0 0 25 0 1 0 156351390 254427136 54382 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 62116 54382 257 541 0 61566 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 248464
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1006448/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=474092 CPUtime=2921.51
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 112959 0 0 0 291918 233 0 0 25 0 1 0 156351390 485470208 105468 1992294400 4194304 6412682 548682068864 18446744073709551615 4286786 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 118523 105468 257 541 0 117973 0
Current children cumulated CPU time (s) 2921.51
Current children cumulated vsize (KiB) 474092
[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=1003696/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=477292 CPUtime=2981.5
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 113631 0 0 0 297914 236 0 0 25 0 1 0 156351390 488747008 106140 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 119323 106140 257 541 0 118773 0
Current children cumulated CPU time (s) 2981.5
Current children cumulated vsize (KiB) 477292
[startup+3042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=1001200/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=481132 CPUtime=3041.48
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 114262 0 0 0 303908 240 0 0 25 0 1 0 156351390 492679168 106771 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 120283 106771 257 541 0 119733 0
Current children cumulated CPU time (s) 3041.48
Current children cumulated vsize (KiB) 481132
[startup+3102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=992816/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=490092 CPUtime=3101.47
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 116347 0 0 0 309904 243 0 0 25 0 1 0 156351390 501854208 108856 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 122523 108856 257 541 0 121973 0
Current children cumulated CPU time (s) 3101.47
Current children cumulated vsize (KiB) 490092
[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=988400/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=495212 CPUtime=3161.45
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 117445 0 0 0 315898 247 0 0 25 0 1 0 156351390 507097088 109954 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 123803 109954 257 541 0 123253 0
Current children cumulated CPU time (s) 3161.45
Current children cumulated vsize (KiB) 495212
[startup+3222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=984816/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=499052 CPUtime=3221.43
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 118331 0 0 0 321894 249 0 0 25 0 1 0 156351390 511029248 110840 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 124763 110840 257 541 0 124213 0
Current children cumulated CPU time (s) 3221.43
Current children cumulated vsize (KiB) 499052
[startup+3282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=983664/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=500108 CPUtime=3281.42
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 118633 0 0 0 327890 252 0 0 25 0 1 0 156351390 512110592 111142 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 125027 111142 257 541 0 124477 0
Current children cumulated CPU time (s) 3281.42
Current children cumulated vsize (KiB) 500108
[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=977072/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=506512 CPUtime=3341.41
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 120284 0 0 0 333884 257 0 0 25 0 1 0 156351390 518668288 112793 1992294400 4194304 6412682 548682068864 18446744073709551615 4287126 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 126628 112793 257 541 0 126078 0
Current children cumulated CPU time (s) 3341.41
Current children cumulated vsize (KiB) 506512
[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=972336/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=511036 CPUtime=3401.4
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 121446 0 0 0 339880 260 0 0 25 0 1 0 156351390 523300864 113955 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 127759 113955 257 541 0 127209 0
Current children cumulated CPU time (s) 3401.4
Current children cumulated vsize (KiB) 511036
[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=967856/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=515440 CPUtime=3461.37
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 122575 0 0 0 345874 263 0 0 25 0 1 0 156351390 527810560 115084 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 128860 115084 257 541 0 128310 0
Current children cumulated CPU time (s) 3461.37
Current children cumulated vsize (KiB) 515440
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=956464/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=528576 CPUtime=3521.36
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 125407 0 0 0 351870 266 0 0 25 0 1 0 156351390 541261824 117916 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 132144 117916 257 541 0 131594 0
Current children cumulated CPU time (s) 3521.36
Current children cumulated vsize (KiB) 528576
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=950000/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3581.34
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128120 0 0 0 357866 268 0 0 25 0 1 0 156351390 550436864 119524 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119524 257 541 0 133834 0
Current children cumulated CPU time (s) 3581.34
Current children cumulated vsize (KiB) 537536
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 25197
/proc/meminfo: memFree=950000/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3582.94
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128120 0 0 0 358026 268 0 0 25 0 1 0 156351390 550436864 119524 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119524 257 541 0 133834 0
Current children cumulated CPU time (s) 3582.94
Current children cumulated vsize (KiB) 537536
[startup+3590.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=950000/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3589.35
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128123 0 0 0 358666 269 0 0 25 0 1 0 156351390 550436864 119527 1992294400 4194304 6412682 548682068864 18446744073709551615 4286896 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119527 257 541 0 133834 0
Current children cumulated CPU time (s) 3589.35
Current children cumulated vsize (KiB) 537536
[startup+3596.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=950000/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3595.74
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128123 0 0 0 359305 269 0 0 25 0 1 0 156351390 550436864 119527 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119527 257 541 0 133834 0
Current children cumulated CPU time (s) 3595.74
Current children cumulated vsize (KiB) 537536
[startup+3599.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=949936/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3598.94
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128137 0 0 0 359625 269 0 0 25 0 1 0 156351390 550436864 119541 1992294400 4194304 6412682 548682068864 18446744073709551615 4286874 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119541 257 541 0 133834 0
Current children cumulated CPU time (s) 3598.94
Current children cumulated vsize (KiB) 537536
[startup+3601.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=949936/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3600.54
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128137 0 0 0 359785 269 0 0 25 0 1 0 156351390 550436864 119541 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119541 257 541 0 133834 0
Current children cumulated CPU time (s) 3600.54
Current children cumulated vsize (KiB) 537536
[startup+3601.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=949936/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3600.94
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128137 0 0 0 359825 269 0 0 25 0 1 0 156351390 550436864 119541 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119541 257 541 0 133834 0
Current children cumulated CPU time (s) 3600.94
Current children cumulated vsize (KiB) 537536
[startup+3602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 25197
/proc/meminfo: memFree=949936/2055920 swapFree=4180840/4192956
[pid=25188] ppid=25186 vsize=537536 CPUtime=3601.34
/proc/25188/stat : 25188 (kw) R 25186 25188 25089 0 -1 0 128137 0 0 0 359865 269 0 0 25 0 1 0 156351390 550436864 119541 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/25188/statm: 134384 119541 257 541 0 133834 0
Current children cumulated CPU time (s) 3601.34
Current children cumulated vsize (KiB) 537536
Child status: 0
Real time (s): 3602.38
CPU time (s): 3601.43
CPU user time (s): 3598.66
CPU system time (s): 2.77058
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 537536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.65
system time used= 2.77058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128144
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= 6498
runsolver used 2.65959 second user time and 7.80581 second system time
The end
Begin job on node42 at 2009-05-02 18:53:52
IDJOB=1774995
IDBENCH=71071
IDSOLVER=611
FILE ID=node42/1774995-1241283232
PBS_JOBID= 9225035
Free space on /tmp= 66408 MiB
SOLVER NAME= kw 2009-03-20
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf
COMMAND LINE= HOME/kw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774995-1241283232/watcher-1774995-1241283232 -o /tmp/evaluation-result-1774995-1241283232/solver-1774995-1241283232 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1774995-1241283232.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6d69d175921d14f1c2600aaedc59f514
RANDOM SEED=164548998
node42.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.232
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.232
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: 1430024 kB
Buffers: 78660 kB
Cached: 446012 kB
SwapCached: 5932 kB
Active: 101328 kB
Inactive: 431768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1430024 kB
SwapTotal: 4192956 kB
SwapFree: 4180840 kB
Dirty: 7208 kB
Writeback: 0 kB
Mapped: 14112 kB
Slab: 78808 kB
Committed_AS: 751636 kB
PageTables: 1388 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= 66404 MiB
End job on node42 at 2009-05-02 19:53:55