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-3257840-1303473240/watcher-3257840-1303473240 -o /tmp/evaluation-result-3257840-1303473240/solver-3257840-1303473240 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3257840-1303473240.cnf
running on 2 cores: 4,6
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 3/178 13307
/proc/meminfo: memFree=12572856/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=13344 CPUtime=0 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 713 0 0 0 0 0 0 0 22 0 1 0 458921858 13664256 655 33554432000 4194304 4210924 140736609026624 18446744073709551615 271550198469 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 3336 656 136 5 0 1557 0
[startup+0.00921993 s]
/proc/loadavg: 1.01 2.10 3.02 3/178 13307
/proc/meminfo: memFree=12572856/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=14136 CPUtime=0 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 998 0 0 0 0 0 0 0 22 0 1 0 458921858 14475264 941 33554432000 4194304 4210924 140736609026624 18446744073709551615 271550198469 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 3534 943 159 5 0 1755 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14136
[startup+0.100212 s]
/proc/loadavg: 1.01 2.10 3.02 3/178 13307
/proc/meminfo: memFree=12572856/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=19076 CPUtime=0.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 3299 0 0 0 9 0 0 0 22 0 1 0 458921858 19533824 2991 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198767 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 4769 2991 101 5 0 3240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19076
[startup+0.301158 s]
/proc/loadavg: 1.01 2.10 3.02 3/178 13307
/proc/meminfo: memFree=12572856/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=19208 CPUtime=0.29 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 3324 0 0 0 29 0 0 0 23 0 1 0 458921858 19668992 3016 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 4802 3016 101 5 0 3273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19208
[startup+0.701039 s]
/proc/loadavg: 1.01 2.10 3.02 3/178 13307
/proc/meminfo: memFree=12572856/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=19340 CPUtime=0.69 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 3357 0 0 0 69 0 0 0 25 0 1 0 458921858 19804160 3049 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13307/statm: 4835 3049 101 5 0 3306 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19340
[startup+1.50089 s]
/proc/loadavg: 1.01 2.10 3.02 6/194 13338
/proc/meminfo: memFree=12511424/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=19472 CPUtime=1.49 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 3400 0 0 0 149 0 0 0 25 0 1 0 458921858 19939328 3092 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13307/statm: 4868 3092 101 5 0 3339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19472
[startup+3.1006 s]
/proc/loadavg: 1.25 2.13 3.02 6/194 13338
/proc/meminfo: memFree=12508572/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=19736 CPUtime=3.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 3465 0 0 0 309 0 0 0 25 0 1 0 458921858 20209664 3157 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13307/statm: 4934 3157 101 5 0 3405 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19736
[startup+6.30109 s]
/proc/loadavg: 1.25 2.13 3.02 5/194 13338
/proc/meminfo: memFree=12505732/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=20264 CPUtime=6.29 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 3606 0 0 0 629 0 0 0 25 0 1 0 458921858 20750336 3298 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 5066 3298 101 5 0 3537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20264
[startup+12.7009 s]
/proc/loadavg: 1.91 2.24 3.05 6/194 13338
/proc/meminfo: memFree=12501412/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=21056 CPUtime=12.67 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 3778 0 0 0 1267 0 0 0 25 0 1 0 458921858 21561344 3470 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13307/statm: 5264 3470 101 5 0 3735 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21056
[startup+25.5005 s]
/proc/loadavg: 2.23 2.30 3.06 6/194 13338
/proc/meminfo: memFree=12498804/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=21980 CPUtime=25.44 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4032 0 0 0 2544 0 0 0 25 0 1 0 458921858 22507520 3724 33554432000 4194304 4210924 140736609026624 18446744073709551615 4204914 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13307/statm: 5495 3724 102 5 0 3966 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 21980
[startup+51.1009 s]
/proc/loadavg: 2.83 2.44 3.08 6/194 13339
/proc/meminfo: memFree=12494604/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=23168 CPUtime=50.98 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4328 0 0 0 5098 0 0 0 25 0 1 0 458921858 23724032 4020 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 5792 4020 102 5 0 4263 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 23168
[startup+102.307 s]
/proc/loadavg: 3.81 2.76 3.15 5/194 13341
/proc/meminfo: memFree=12487884/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=23564 CPUtime=102.19 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4413 0 0 0 10219 0 0 0 25 0 1 0 458921858 24129536 4105 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 5891 4105 102 5 0 4362 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 23564
[startup+162.301 s]
/proc/loadavg: 3.93 2.98 3.20 6/194 13342
/proc/meminfo: memFree=12484004/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=23696 CPUtime=162.18 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4439 0 0 0 16218 0 0 0 25 0 1 0 458921858 24264704 4131 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 5924 4131 102 5 0 4395 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 23696
[startup+222.301 s]
/proc/loadavg: 4.10 3.20 3.26 6/194 13344
/proc/meminfo: memFree=12479396/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=23676 CPUtime=222.19 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4464 0 0 0 22219 0 0 0 25 0 1 0 458921858 24244224 4156 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 5919 4156 102 5 0 4390 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 23676
[startup+282.301 s]
/proc/loadavg: 4.13 3.37 3.31 6/194 13345
/proc/meminfo: memFree=12476396/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=23940 CPUtime=282.19 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4530 0 0 0 28219 0 0 0 25 0 1 0 458921858 24514560 4222 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 5985 4222 102 5 0 4456 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 23940
[startup+342.301 s]
/proc/loadavg: 4.10 3.50 3.36 6/194 13347
/proc/meminfo: memFree=12474012/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=24204 CPUtime=342.19 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4570 0 0 0 34219 0 0 0 25 0 1 0 458921858 24784896 4262 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6051 4262 102 5 0 4522 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 24204
[startup+402.301 s]
/proc/loadavg: 4.27 3.66 3.42 5/194 13349
/proc/meminfo: memFree=12472868/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=24336 CPUtime=402.19 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4619 0 0 0 40219 0 0 0 25 0 1 0 458921858 24920064 4311 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6084 4311 102 5 0 4555 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 24336
[startup+462.301 s]
/proc/loadavg: 4.15 3.74 3.46 7/194 13359
/proc/meminfo: memFree=12472248/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=24468 CPUtime=462.2 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4648 0 0 0 46219 1 0 0 25 0 1 0 458921858 25055232 4340 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6117 4340 102 5 0 4588 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 24468
[startup+522.301 s]
/proc/loadavg: 4.34 3.86 3.52 5/194 13361
/proc/meminfo: memFree=12470736/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=24720 CPUtime=522.2 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4704 0 0 0 52219 1 0 0 25 0 1 0 458921858 25313280 4396 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6180 4396 102 5 0 4651 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 24720
[startup+582.3 s]
/proc/loadavg: 4.26 3.92 3.56 5/194 13362
/proc/meminfo: memFree=12469108/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=24852 CPUtime=582.2 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4757 0 0 0 58219 1 0 0 25 0 1 0 458921858 25448448 4449 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6213 4449 102 5 0 4684 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 24852
[startup+642.3 s]
/proc/loadavg: 4.32 4.00 3.61 5/194 13367
/proc/meminfo: memFree=12468184/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=24984 CPUtime=642.18 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4775 0 0 0 64217 1 0 0 25 0 1 0 458921858 25583616 4467 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6246 4467 102 5 0 4717 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 24984
[startup+702.3 s]
/proc/loadavg: 4.11 4.00 3.63 6/194 13369
/proc/meminfo: memFree=12467100/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=25116 CPUtime=702.1 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4803 0 0 0 70209 1 0 0 25 0 1 0 458921858 25718784 4495 33554432000 4194304 4210924 140736609026624 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13307/statm: 6279 4495 102 5 0 4750 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 25116
[startup+762.307 s]
/proc/loadavg: 4.11 4.01 3.65 6/194 13370
/proc/meminfo: memFree=12466584/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=25248 CPUtime=762.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4855 0 0 0 76208 1 0 0 25 0 1 0 458921858 25853952 4547 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6312 4547 102 5 0 4783 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 25248
[startup+822.301 s]
/proc/loadavg: 4.11 4.02 3.68 5/194 13372
/proc/meminfo: memFree=12466068/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=25380 CPUtime=822.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4879 0 0 0 82208 1 0 0 25 0 1 0 458921858 25989120 4571 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206489 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6345 4571 102 5 0 4816 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 25380
[startup+882.301 s]
/proc/loadavg: 4.15 4.05 3.71 6/194 13373
/proc/meminfo: memFree=12465308/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=25512 CPUtime=882.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 4901 0 0 0 88208 1 0 0 25 0 1 0 458921858 26124288 4593 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6378 4593 102 5 0 4849 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 25512
[startup+942.301 s]
/proc/loadavg: 4.13 4.05 3.73 6/194 13375
/proc/meminfo: memFree=12464428/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=25908 CPUtime=942.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 5011 0 0 0 94208 1 0 0 25 0 1 0 458921858 26529792 4703 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6477 4703 102 5 0 4948 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 25908
[startup+1002.3 s]
/proc/loadavg: 4.21 4.07 3.75 6/194 13377
/proc/meminfo: memFree=12464172/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=26040 CPUtime=1002.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 5051 0 0 0 100208 1 0 0 25 0 1 0 458921858 26664960 4743 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6510 4743 102 5 0 4981 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 26040
[startup+1062.3 s]
/proc/loadavg: 4.11 4.07 3.77 5/194 13378
/proc/meminfo: memFree=12463664/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=26168 CPUtime=1062.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 5061 0 0 0 106208 1 0 0 25 0 1 0 458921858 26796032 4753 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6542 4753 102 5 0 5013 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 26168
[startup+1122.3 s]
/proc/loadavg: 4.35 4.14 3.81 6/194 13380
/proc/meminfo: memFree=12463504/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=26168 CPUtime=1122.09 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 5068 0 0 0 112208 1 0 0 25 0 1 0 458921858 26796032 4760 33554432000 4194304 4210924 140736609026624 18446744073709551615 4201755 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6542 4760 102 5 0 5013 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 26168
[startup+1182.3 s]
/proc/loadavg: 4.17 4.12 3.82 5/194 13381
/proc/meminfo: memFree=12462244/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=26300 CPUtime=1182.1 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 5106 0 0 0 118209 1 0 0 25 0 1 0 458921858 26931200 4798 33554432000 4194304 4210924 140736609026624 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6575 4798 102 5 0 5046 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 26300
[startup+1242.3 s]
/proc/loadavg: 4.06 4.10 3.83 5/194 13383
/proc/meminfo: memFree=12460624/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=26432 CPUtime=1242.1 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 5131 0 0 0 124209 1 0 0 25 0 1 0 458921858 27066368 4823 33554432000 4194304 4210924 140736609026624 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6608 4823 102 5 0 5079 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 26432
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.08 3.83 5/194 13384
/proc/meminfo: memFree=12460112/32951124 swapFree=67111528/67111528
[pid=13307] ppid=13305 vsize=26432 CPUtime=1299.8 cores=4,6
/proc/13307/stat : 13307 (saturn) R 13305 13307 12461 0 -1 4202496 5135 0 0 0 129979 1 0 0 25 0 1 0 458921858 27066368 4827 33554432000 4194304 4210924 140736609026624 18446744073709551615 4204829 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/13307/statm: 6608 4827 102 5 0 5079 0
Current children cumulated CPU time (s) 1299.8
Current children cumulated vsize (KiB) 26432
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): 1299.82
CPU user time (s): 1299.8
CPU system time (s): 0.018997
CPU usage (%): 99.9853
Max. virtual memory (cumulated for all children) (KiB): 26432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.8
system time used= 0.018997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5135
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= 6
involuntary context switches= 45335
runsolver used 2.25766 second user time and 4.85926 second system time
The end
Begin job on node133 at 2011-04-22 13:54:00
IDJOB=3257840
IDBENCH=71273
IDSOLVER=1583
FILE ID=node133/3257840-1303473240
RUNJOBID= node133-1303473240-13296
PBS_JOBID= 13107188
Free space on /tmp= 71240 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g1.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257840-1303473240/watcher-3257840-1303473240 -o /tmp/evaluation-result-3257840-1303473240/solver-3257840-1303473240 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3257840-1303473240.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= eded74bffb721f48c45af6ff95302642
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: 12573012 kB
Buffers: 1151112 kB
Cached: 18630352 kB
SwapCached: 0 kB
Active: 8204252 kB
Inactive: 11640732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12573012 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 832 kB
Writeback: 0 kB
AnonPages: 63324 kB
Mapped: 14504 kB
Slab: 468704 kB
PageTables: 4832 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 192628 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