runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1772725-1241271882/watcher-1772725-1241271882 -o /tmp/evaluation-result-1772725-1241271882/solver-1772725-1241271882 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1772725-1241271882.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.85 0.97 0.99 3/64 21365
/proc/meminfo: memFree=1247160/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=6164 CPUtime=0
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 1142 0 0 0 0 0 0 0 18 0 1 0 155221258 6311936 1126 1992294400 4194304 6412682 548682068864 18446744073709551615 4263521 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 1541 1129 195 541 0 991 0
[startup+0.0560251 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 21365
/proc/meminfo: memFree=1247160/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=41156 CPUtime=0.04
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 7469 0 0 0 2 2 0 0 18 0 1 0 155221258 42143744 7454 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 10289 7458 208 541 0 9739 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 41156
[startup+0.10103 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 21365
/proc/meminfo: memFree=1247160/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=55940 CPUtime=0.09
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 12365 0 0 0 5 4 0 0 18 0 1 0 155221258 57282560 12349 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 13985 12354 208 541 0 13435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55940
[startup+0.301058 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 21365
/proc/meminfo: memFree=1247160/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=181660 CPUtime=0.29
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 44296 0 0 0 11 18 0 0 19 0 1 0 155221258 186019840 44280 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 45448 44286 208 541 0 44898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 181660
[startup+0.701114 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 21365
/proc/meminfo: memFree=1247160/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=212528 CPUtime=0.69
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 48490 0 0 0 48 21 0 0 23 0 1 0 155221258 217628672 48474 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 53132 48474 219 541 0 52582 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212528
[startup+1.50123 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 21366
/proc/meminfo: memFree=1050864/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=222824 CPUtime=1.49
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 51383 0 0 0 127 22 0 0 25 0 1 0 155221258 228171776 51367 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 55706 51367 219 541 0 55156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 222824
[startup+3.10146 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 21366
/proc/meminfo: memFree=1035312/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=244112 CPUtime=3.09
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 58057 0 0 0 284 25 0 0 25 0 1 0 155221258 249970688 57272 1992294400 4194304 6412682 548682068864 18446744073709551615 5554128 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 61028 57272 220 541 0 60478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 244112
[startup+6.30191 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 21366
/proc/meminfo: memFree=988208/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=284972 CPUtime=6.29
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 70914 0 0 0 597 32 0 0 25 0 1 0 155221258 291811328 68592 1992294400 4194304 6412682 548682068864 18446744073709551615 5487243 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 71243 68592 220 541 0 70693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 284972
[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 21366
/proc/meminfo: memFree=878008/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=379760 CPUtime=12.69
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 97135 0 0 0 1225 44 0 0 25 0 1 0 155221258 388874240 92872 1992294400 4194304 6412682 548682068864 18446744073709551615 4264221 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 94940 92872 239 541 0 94390 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 379760
[startup+25.5016 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 21366
/proc/meminfo: memFree=866296/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=382984 CPUtime=25.47
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 100725 0 0 0 2467 80 0 0 25 0 1 0 155221258 392175616 93874 1992294400 4194304 6412682 548682068864 18446744073709551615 4297261 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 95746 93874 255 541 0 95196 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 382984
[startup+51.1013 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 21366
/proc/meminfo: memFree=866488/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=382984 CPUtime=51.07
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 100727 0 0 0 5026 81 0 0 25 0 1 0 155221258 392175616 93876 1992294400 4194304 6412682 548682068864 18446744073709551615 4296488 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 95746 93876 255 541 0 95196 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 382984
[startup+102.306 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 21366
/proc/meminfo: memFree=866424/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=382984 CPUtime=102.25
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 100763 0 0 0 10142 83 0 0 25 0 1 0 155221258 392175616 93912 1992294400 4194304 6412682 548682068864 18446744073709551615 4297318 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 95746 93912 255 541 0 95196 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 382984
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 21366
/proc/meminfo: memFree=866296/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=382984 CPUtime=162.23
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 100794 0 0 0 16137 86 0 0 25 0 1 0 155221258 392175616 93943 1992294400 4194304 6412682 548682068864 18446744073709551615 4333454 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 95746 93943 255 541 0 95196 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 382984
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=866232/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=382984 CPUtime=222.21
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 100812 0 0 0 22134 87 0 0 25 0 1 0 155221258 392175616 93961 1992294400 4194304 6412682 548682068864 18446744073709551615 4285787 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 95746 93961 258 541 0 95196 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 382984
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=863608/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=385292 CPUtime=282.19
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 101452 0 0 0 28127 92 0 0 25 0 1 0 155221258 394539008 94601 1992294400 4194304 6412682 548682068864 18446744073709551615 4285802 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 96323 94601 258 541 0 95773 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 385292
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=862328/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=385292 CPUtime=342.18
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 101769 0 0 0 34121 97 0 0 25 0 1 0 155221258 394539008 94918 1992294400 4194304 6412682 548682068864 18446744073709551615 4286898 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 96323 94918 258 541 0 95773 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 385292
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=862200/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=385292 CPUtime=402.17
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 101791 0 0 0 40118 99 0 0 25 0 1 0 155221258 394539008 94940 1992294400 4194304 6412682 548682068864 18446744073709551615 5550983 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 96323 94940 258 541 0 95773 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 385292
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=862136/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=385292 CPUtime=462.14
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 101826 0 0 0 46109 105 0 0 25 0 1 0 155221258 394539008 94975 1992294400 4194304 6412682 548682068864 18446744073709551615 4329636 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 96323 94975 258 541 0 95773 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 385292
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=856888/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=390468 CPUtime=522.13
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 103120 0 0 0 52104 109 0 0 25 0 1 0 155221258 399839232 96269 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 97617 96269 258 541 0 97067 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 390468
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=856760/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=390468 CPUtime=582.11
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 103161 0 0 0 58096 115 0 0 25 0 1 0 155221258 399839232 96310 1992294400 4194304 6412682 548682068864 18446744073709551615 4417127 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 97617 96310 258 541 0 97067 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 390468
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21366
/proc/meminfo: memFree=852984/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=394268 CPUtime=642.1
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 104111 0 0 0 64092 118 0 0 25 0 1 0 155221258 403730432 97260 1992294400 4194304 6412682 548682068864 18446744073709551615 4287596 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 98567 97260 258 541 0 98017 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 394268
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=564024/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=705676 CPUtime=3041.38
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 176165 0 0 0 303825 313 0 0 25 0 1 0 155221258 722612224 169314 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 176419 169314 258 541 0 175869 0
Current children cumulated CPU time (s) 3041.38
Current children cumulated vsize (KiB) 705676
[startup+3102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21372
/proc/meminfo: memFree=563640/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=705676 CPUtime=3101.37
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 176239 0 0 0 309821 316 0 0 25 0 1 0 155221258 722612224 169388 1992294400 4194304 6412682 548682068864 18446744073709551615 4359621 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 176419 169388 258 541 0 175869 0
Current children cumulated CPU time (s) 3101.37
Current children cumulated vsize (KiB) 705676
[startup+3162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21372
/proc/meminfo: memFree=562872/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=705676 CPUtime=3161.35
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 176446 0 0 0 315816 319 0 0 25 0 1 0 155221258 722612224 169595 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 176419 169595 258 541 0 175869 0
Current children cumulated CPU time (s) 3161.35
Current children cumulated vsize (KiB) 705676
[startup+3222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=562296/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=705676 CPUtime=3221.32
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 176588 0 0 0 321811 321 0 0 25 0 1 0 155221258 722612224 169737 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 176419 169737 258 541 0 175869 0
Current children cumulated CPU time (s) 3221.32
Current children cumulated vsize (KiB) 705676
[startup+3282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=551736/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=717140 CPUtime=3281.31
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 179207 0 0 0 327805 326 0 0 25 0 1 0 155221258 734351360 172356 1992294400 4194304 6412682 548682068864 18446744073709551615 4286786 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 179285 172356 258 541 0 178735 0
Current children cumulated CPU time (s) 3281.31
Current children cumulated vsize (KiB) 717140
[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=537720/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=732632 CPUtime=3341.29
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 182773 0 0 0 333797 332 0 0 25 0 1 0 155221258 750215168 175922 1992294400 4194304 6412682 548682068864 18446744073709551615 4333437 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 183158 175922 258 541 0 182608 0
Current children cumulated CPU time (s) 3341.29
Current children cumulated vsize (KiB) 732632
[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=523704/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=746196 CPUtime=3401.27
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 186203 0 0 0 339791 336 0 0 25 0 1 0 155221258 764104704 179352 1992294400 4194304 6412682 548682068864 18446744073709551615 4286914 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 186549 179352 258 541 0 185999 0
Current children cumulated CPU time (s) 3401.27
Current children cumulated vsize (KiB) 746196
[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=510840/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3461.25
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190537 0 0 0 345785 340 0 0 25 0 1 0 155221258 782888960 183686 1992294400 4194304 6412682 548682068864 18446744073709551615 4405313 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183686 258 541 0 190585 0
Current children cumulated CPU time (s) 3461.25
Current children cumulated vsize (KiB) 764540
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=506232/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3521.24
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190570 0 0 0 351781 343 0 0 25 0 1 0 155221258 782888960 183719 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183719 258 541 0 190585 0
Current children cumulated CPU time (s) 3521.24
Current children cumulated vsize (KiB) 764540
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=506104/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3581.22
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190592 0 0 0 357777 345 0 0 25 0 1 0 155221258 782888960 183741 1992294400 4194304 6412682 548682068864 18446744073709551615 4286879 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183741 258 541 0 190585 0
Current children cumulated CPU time (s) 3581.22
Current children cumulated vsize (KiB) 764540
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 21374
/proc/meminfo: memFree=506104/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3582.82
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190593 0 0 0 357937 345 0 0 25 0 1 0 155221258 782888960 183742 1992294400 4194304 6412682 548682068864 18446744073709551615 4286794 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183742 258 541 0 190585 0
Current children cumulated CPU time (s) 3582.82
Current children cumulated vsize (KiB) 764540
[startup+3596.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505912/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3595.62
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190630 0 0 0 359216 346 0 0 25 0 1 0 155221258 782888960 183779 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183779 258 541 0 190585 0
Current children cumulated CPU time (s) 3595.62
Current children cumulated vsize (KiB) 764540
[startup+3603.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505912/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3602.01
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190643 0 0 0 359855 346 0 0 25 0 1 0 155221258 782888960 183792 1992294400 4194304 6412682 548682068864 18446744073709551615 4327399 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183792 258 541 0 190585 0
Current children cumulated CPU time (s) 3602.01
Current children cumulated vsize (KiB) 764540
[startup+3606.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505912/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3605.21
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190645 0 0 0 360175 346 0 0 25 0 1 0 155221258 782888960 183794 1992294400 4194304 6412682 548682068864 18446744073709551615 4286781 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183794 258 541 0 190585 0
Current children cumulated CPU time (s) 3605.21
Current children cumulated vsize (KiB) 764540
[startup+3609.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505848/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3608.41
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190646 0 0 0 360494 347 0 0 25 0 1 0 155221258 782888960 183795 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183795 258 541 0 190585 0
Current children cumulated CPU time (s) 3608.41
Current children cumulated vsize (KiB) 764540
[startup+3610.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505848/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3609.21
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190646 0 0 0 360574 347 0 0 25 0 1 0 155221258 782888960 183795 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183795 258 541 0 190585 0
Current children cumulated CPU time (s) 3609.21
Current children cumulated vsize (KiB) 764540
[startup+3610.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505848/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3609.61
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190646 0 0 0 360614 347 0 0 25 0 1 0 155221258 782888960 183795 1992294400 4194304 6412682 548682068864 18446744073709551615 4286819 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183795 258 541 0 190585 0
Current children cumulated CPU time (s) 3609.61
Current children cumulated vsize (KiB) 764540
[startup+3610.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505848/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=764540 CPUtime=3609.81
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 0 190646 0 0 0 360634 347 0 0 25 0 1 0 155221258 782888960 183795 1992294400 4194304 6412682 548682068864 18446744073709551615 4286778 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 191135 183795 258 541 0 190585 0
Current children cumulated CPU time (s) 3609.81
Current children cumulated vsize (KiB) 764540
[startup+3611 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21374
/proc/meminfo: memFree=505848/2055920 swapFree=4181364/4192956
[pid=21365] ppid=21363 vsize=0 CPUtime=3609.91
/proc/21365/stat : 21365 (kw) R 21363 21365 21328 0 -1 4 190653 0 0 0 360642 349 0 0 25 0 1 0 155221258 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/21365/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3609.91
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 3611.1
CPU time (s): 3610.02
CPU user time (s): 3606.43
CPU system time (s): 3.58845
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 764540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3606.43
system time used= 3.58845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190653
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= 4
involuntary context switches= 8371
runsolver used 2.82357 second user time and 7.77182 second system time
The end
Begin job on node29 at 2009-05-02 15:44:44
IDJOB=1772725
IDBENCH=20375
IDSOLVER=611
FILE ID=node29/1772725-1241271882
PBS_JOBID= 9225001
Free space on /tmp= 66436 MiB
SOLVER NAME= kw 2009-03-20
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf
COMMAND LINE= HOME/kw BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772725-1241271882/watcher-1772725-1241271882 -o /tmp/evaluation-result-1772725-1241271882/solver-1772725-1241271882 -C 10000 -W 12000 -M 1800 HOME/kw HOME/instance-1772725-1241271882.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a2687a8a1b0deeabfd7eddcfa56549a2
RANDOM SEED=1426875482
node29.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.281
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.281
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: 1249304 kB
Buffers: 74636 kB
Cached: 634420 kB
SwapCached: 5420 kB
Active: 113816 kB
Inactive: 603020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1249304 kB
SwapTotal: 4192956 kB
SwapFree: 4181364 kB
Dirty: 31336 kB
Writeback: 0 kB
Mapped: 13492 kB
Slab: 75684 kB
Committed_AS: 759556 kB
PageTables: 1468 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= 66424 MiB
End job on node29 at 2009-05-02 16:44:55