runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3257884-1303473240/watcher-3257884-1303473240 -o /tmp/evaluation-result-3257884-1303473240/solver-3257884-1303473240 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3257884-1303473240.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 2.10 3.02 2/183 13317
/proc/meminfo: memFree=12560152/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=11660 CPUtime=0 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 670 0 0 0 0 0 0 0 22 0 1 0 458921889 11939840 613 33554432000 4194304 4210924 140735171184112 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 2915 614 132 5 0 1208 0
[startup+0.012645 s]
/proc/loadavg: 1.01 2.10 3.02 2/183 13317
/proc/meminfo: memFree=12560152/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=13112 CPUtime=0.01 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 1218 0 0 0 1 0 0 0 22 0 1 0 458921889 13426688 1161 33554432000 4194304 4210924 140735171184112 18446744073709551615 271550198469 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 3278 1164 176 5 0 1571 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13112
[startup+0.100643 s]
/proc/loadavg: 1.01 2.10 3.02 2/183 13317
/proc/meminfo: memFree=12560152/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=15700 CPUtime=0.09 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2445 0 0 0 9 0 0 0 22 0 1 0 458921889 16076800 2210 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 3925 2210 95 5 0 2396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15700
[startup+0.300594 s]
/proc/loadavg: 1.01 2.10 3.02 2/183 13317
/proc/meminfo: memFree=12560152/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=15700 CPUtime=0.29 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2473 0 0 0 29 0 0 0 23 0 1 0 458921889 16076800 2238 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198767 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 3925 2238 102 5 0 2396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15700
[startup+0.700541 s]
/proc/loadavg: 1.01 2.10 3.02 2/183 13317
/proc/meminfo: memFree=12560152/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=15832 CPUtime=0.69 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2516 0 0 0 69 0 0 0 25 0 1 0 458921889 16211968 2281 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 3958 2281 102 5 0 2429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15832
[startup+1.50038 s]
/proc/loadavg: 1.25 2.13 3.02 5/194 13338
/proc/meminfo: memFree=12510556/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=16096 CPUtime=1.49 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2561 0 0 0 149 0 0 0 25 0 1 0 458921889 16482304 2326 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4024 2326 102 5 0 2495 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16096
[startup+3.1011 s]
/proc/loadavg: 1.25 2.13 3.02 5/194 13338
/proc/meminfo: memFree=12508076/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=16360 CPUtime=3.09 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2635 0 0 0 309 0 0 0 25 0 1 0 458921889 16752640 2400 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198693 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4090 2400 102 5 0 2561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16360
[startup+6.30052 s]
/proc/loadavg: 1.25 2.13 3.02 5/194 13338
/proc/meminfo: memFree=12505484/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=16756 CPUtime=6.29 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2733 0 0 0 629 0 0 0 25 0 1 0 458921889 17158144 2498 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4189 2498 102 5 0 2660 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16756
[startup+12.7004 s]
/proc/loadavg: 1.91 2.24 3.05 5/194 13338
/proc/meminfo: memFree=12501412/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=17280 CPUtime=12.69 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2875 0 0 0 1269 0 0 0 25 0 1 0 458921889 17694720 2640 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4320 2640 102 5 0 2791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17280
[startup+25.501 s]
/proc/loadavg: 2.23 2.30 3.06 5/194 13338
/proc/meminfo: memFree=12498680/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=17544 CPUtime=25.49 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2922 0 0 0 2548 1 0 0 25 0 1 0 458921889 17965056 2687 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4386 2687 102 5 0 2857 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17544
[startup+51.1004 s]
/proc/loadavg: 2.83 2.44 3.08 5/194 13339
/proc/meminfo: memFree=12494604/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=17676 CPUtime=51.09 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 2963 0 0 0 5108 1 0 0 25 0 1 0 458921889 18100224 2728 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4419 2728 102 5 0 2890 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17676
[startup+102.307 s]
/proc/loadavg: 3.81 2.76 3.15 5/194 13341
/proc/meminfo: memFree=12487884/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=18468 CPUtime=102.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3155 0 0 0 10229 1 0 0 25 0 1 0 458921889 18911232 2920 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4617 2920 102 5 0 3088 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 18468
[startup+162.301 s]
/proc/loadavg: 3.93 2.98 3.20 5/194 13342
/proc/meminfo: memFree=12483880/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=18860 CPUtime=162.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3263 0 0 0 16229 1 0 0 25 0 1 0 458921889 19312640 3028 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4715 3028 102 5 0 3186 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 18860
[startup+222.3 s]
/proc/loadavg: 4.10 3.20 3.26 5/194 13344
/proc/meminfo: memFree=12479396/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=19124 CPUtime=222.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3327 0 0 0 22229 1 0 0 25 0 1 0 458921889 19582976 3092 33554432000 4194304 4210924 140735171184112 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4781 3092 102 5 0 3252 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19124
[startup+282.3 s]
/proc/loadavg: 4.13 3.37 3.31 5/194 13345
/proc/meminfo: memFree=12476396/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=19520 CPUtime=282.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3435 0 0 0 28229 1 0 0 25 0 1 0 458921889 19988480 3200 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198750 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4880 3200 102 5 0 3351 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19520
[startup+342.3 s]
/proc/loadavg: 4.10 3.50 3.36 5/194 13347
/proc/meminfo: memFree=12474012/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=19912 CPUtime=342.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3519 0 0 0 34229 1 0 0 25 0 1 0 458921889 20389888 3284 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 4978 3284 102 5 0 3449 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19912
[startup+402.3 s]
/proc/loadavg: 4.27 3.66 3.42 5/194 13349
/proc/meminfo: memFree=12472868/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=20176 CPUtime=402.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3575 0 0 0 40229 1 0 0 25 0 1 0 458921889 20660224 3340 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5044 3340 102 5 0 3515 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20176
[startup+462.301 s]
/proc/loadavg: 4.15 3.74 3.46 5/194 13359
/proc/meminfo: memFree=12472248/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=20440 CPUtime=462.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3653 0 0 0 46229 1 0 0 25 0 1 0 458921889 20930560 3418 33554432000 4194304 4210924 140735171184112 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5110 3418 102 5 0 3581 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20440
[startup+522.301 s]
/proc/loadavg: 4.34 3.86 3.52 5/194 13361
/proc/meminfo: memFree=12470736/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=20704 CPUtime=522.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3736 0 0 0 52229 1 0 0 25 0 1 0 458921889 21200896 3501 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5176 3501 102 5 0 3647 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20704
[startup+582.301 s]
/proc/loadavg: 4.26 3.92 3.56 5/194 13362
/proc/meminfo: memFree=12468984/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=20704 CPUtime=582.31 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3739 0 0 0 58230 1 0 0 25 0 1 0 458921889 21200896 3504 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5176 3504 102 5 0 3647 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20704
[startup+642.301 s]
/proc/loadavg: 4.32 4.00 3.61 5/194 13367
/proc/meminfo: memFree=12468184/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=20828 CPUtime=642.31 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3751 0 0 0 64230 1 0 0 25 0 1 0 458921889 21327872 3516 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5207 3516 102 5 0 3678 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20828
[startup+702.301 s]
/proc/loadavg: 4.11 4.00 3.63 5/194 13369
/proc/meminfo: memFree=12467100/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=20960 CPUtime=702.3 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3796 0 0 0 70229 1 0 0 25 0 1 0 458921889 21463040 3561 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5240 3561 102 5 0 3711 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 20960
[startup+762.307 s]
/proc/loadavg: 4.11 4.01 3.65 5/194 13370
/proc/meminfo: memFree=12466584/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=21088 CPUtime=762.31 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3817 0 0 0 76230 1 0 0 25 0 1 0 458921889 21594112 3582 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5272 3582 102 5 0 3743 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 21088
[startup+822.301 s]
/proc/loadavg: 4.11 4.02 3.68 5/194 13372
/proc/meminfo: memFree=12466192/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=21220 CPUtime=822.31 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3849 0 0 0 82229 2 0 0 25 0 1 0 458921889 21729280 3614 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5305 3614 102 5 0 3776 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 21220
[startup+882.301 s]
/proc/loadavg: 4.15 4.05 3.71 5/194 13373
/proc/meminfo: memFree=12465308/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=21352 CPUtime=882.31 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3886 0 0 0 88229 2 0 0 25 0 1 0 458921889 21864448 3651 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5338 3651 102 5 0 3809 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 21352
[startup+942.3 s]
/proc/loadavg: 4.13 4.05 3.73 5/194 13375
/proc/meminfo: memFree=12464428/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=21480 CPUtime=942.31 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3931 0 0 0 94229 2 0 0 25 0 1 0 458921889 21995520 3696 33554432000 4194304 4210924 140735171184112 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5370 3696 102 5 0 3841 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21480
[startup+1002.3 s]
/proc/loadavg: 4.21 4.07 3.75 5/194 13377
/proc/meminfo: memFree=12464172/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=21744 CPUtime=1002.32 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 3970 0 0 0 100230 2 0 0 25 0 1 0 458921889 22265856 3735 33554432000 4194304 4210924 140735171184112 18446744073709551615 4204788 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5436 3735 102 5 0 3907 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 21744
[startup+1062.3 s]
/proc/loadavg: 4.11 4.07 3.77 5/194 13378
/proc/meminfo: memFree=12463664/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=21872 CPUtime=1062.32 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 4022 0 0 0 106230 2 0 0 25 0 1 0 458921889 22396928 3787 33554432000 4194304 4210924 140735171184112 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5468 3787 102 5 0 3939 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 21872
[startup+1122.3 s]
/proc/loadavg: 4.35 4.14 3.81 5/194 13380
/proc/meminfo: memFree=12463504/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=21872 CPUtime=1122.32 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 4031 0 0 0 112230 2 0 0 25 0 1 0 458921889 22396928 3796 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5468 3796 102 5 0 3939 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 21872
[startup+1182.3 s]
/proc/loadavg: 4.17 4.12 3.82 5/194 13381
/proc/meminfo: memFree=12462244/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=22132 CPUtime=1182.32 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 4068 0 0 0 118230 2 0 0 25 0 1 0 458921889 22663168 3833 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5533 3833 102 5 0 4004 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 22132
[startup+1242.3 s]
/proc/loadavg: 4.06 4.10 3.83 5/194 13383
/proc/meminfo: memFree=12460624/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=22132 CPUtime=1242.32 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 4081 0 0 0 124230 2 0 0 25 0 1 0 458921889 22663168 3846 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5533 3846 102 5 0 4004 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 22132
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.08 3.83 4/192 13385
/proc/meminfo: memFree=12478604/32951124 swapFree=67111528/67111528
[pid=13317] ppid=13315 vsize=22264 CPUtime=1300.02 cores=0,2
/proc/13317/stat : 13317 (saturn) R 13315 13317 12461 0 -1 4202496 4130 0 0 0 130000 2 0 0 25 0 1 0 458921889 22798336 3895 33554432000 4194304 4210924 140735171184112 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13317/statm: 5566 3895 102 5 0 4037 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 22264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.04
CPU user time (s): 1300.01
CPU system time (s): 0.030995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.01
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4130
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= 3
involuntary context switches= 2800
runsolver used 2.29665 second user time and 4.81427 second system time
The end
Begin job on node133 at 2011-04-22 13:54:00
IDJOB=3257884
IDBENCH=71284
IDSOLVER=1583
FILE ID=node133/3257884-1303473240
RUNJOBID= node133-1303473240-13295
PBS_JOBID= 13107188
Free space on /tmp= 71236 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257884-1303473240/watcher-3257884-1303473240 -o /tmp/evaluation-result-3257884-1303473240/solver-3257884-1303473240 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3257884-1303473240.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= cffaf116c6c0eb21439a109753d19c34
RANDOM SEED=564192516
node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 6741.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 12560308 kB
Buffers: 1151120 kB
Cached: 18631120 kB
SwapCached: 0 kB
Active: 8217388 kB
Inactive: 11640696 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12560308 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 1608 kB
Writeback: 0 kB
AnonPages: 75740 kB
Mapped: 14892 kB
Slab: 468704 kB
PageTables: 5220 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 223260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71236 MiB
End job on node133 at 2011-04-22 14:15:42