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-3258720-1303505533/watcher-3258720-1303505533 -o /tmp/evaluation-result-3258720-1303505533/solver-3258720-1303505533 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258720-1303505533.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: 3.53 3.90 3.70 6/189 21632
/proc/meminfo: memFree=21877836/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=28520 CPUtime=0 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 739 0 0 0 0 0 0 0 21 0 1 0 462153085 29204480 681 33554432000 4194304 4210924 140733210049056 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 7130 682 132 5 0 4617 0
[startup+0.0675239 s]
/proc/loadavg: 3.53 3.90 3.70 6/189 21632
/proc/meminfo: memFree=21877836/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=42644 CPUtime=0.06 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 6209 0 0 0 6 0 0 0 21 0 1 0 462153085 43667456 6151 33554432000 4194304 4210924 140733210049056 18446744073709551615 4203333 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 10661 6151 620 5 0 8148 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 42644
[startup+0.100518 s]
/proc/loadavg: 3.53 3.90 3.70 6/189 21632
/proc/meminfo: memFree=21877836/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=50036 CPUtime=0.09 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 9109 0 0 0 9 0 0 0 21 0 1 0 462153085 51236864 9051 33554432000 4194304 4210924 140733210049056 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 12509 9053 876 5 0 9996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50036
[startup+0.300592 s]
/proc/loadavg: 3.53 3.90 3.70 6/189 21632
/proc/meminfo: memFree=21877836/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=52172 CPUtime=0.29 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 11442 0 0 0 28 1 0 0 22 0 1 0 462153085 53424128 10400 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 13043 10400 95 5 0 11514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52172
[startup+0.700471 s]
/proc/loadavg: 3.53 3.90 3.70 6/189 21632
/proc/meminfo: memFree=21877836/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=52304 CPUtime=0.69 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 11473 0 0 0 68 1 0 0 24 0 1 0 462153085 53559296 10431 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198667 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 13076 10431 101 5 0 11547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52304
[startup+1.50027 s]
/proc/loadavg: 3.57 3.90 3.70 5/190 21633
/proc/meminfo: memFree=21780620/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=52700 CPUtime=1.49 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 11560 0 0 0 148 1 0 0 25 0 1 0 462153085 53964800 10518 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 13175 10518 101 5 0 11646 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52700
[startup+3.10098 s]
/proc/loadavg: 3.57 3.90 3.70 5/190 21633
/proc/meminfo: memFree=21779140/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=53096 CPUtime=3.09 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 11677 0 0 0 308 1 0 0 25 0 1 0 462153085 54370304 10635 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 13274 10635 101 5 0 11745 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53096
[startup+6.30041 s]
/proc/loadavg: 3.60 3.90 3.71 5/190 21633
/proc/meminfo: memFree=21775476/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=53756 CPUtime=6.29 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 11834 0 0 0 628 1 0 0 25 0 1 0 462153085 55046144 10792 33554432000 4194304 4210924 140733210049056 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 13439 10792 102 5 0 11910 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53756
[startup+12.7004 s]
/proc/loadavg: 3.64 3.91 3.71 5/190 21633
/proc/meminfo: memFree=21770092/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=54680 CPUtime=12.69 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 12073 0 0 0 1268 1 0 0 25 0 1 0 462153085 55992320 11031 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 13670 11031 102 5 0 12141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54680
[startup+25.5011 s]
/proc/loadavg: 3.69 3.91 3.71 5/190 21634
/proc/meminfo: memFree=21763660/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=57320 CPUtime=25.49 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 12730 0 0 0 2548 1 0 0 25 0 1 0 462153085 58695680 11688 33554432000 4194304 4210924 140733210049056 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 14330 11688 102 5 0 12801 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57320
[startup+51.1004 s]
/proc/loadavg: 3.81 3.92 3.72 5/190 21634
/proc/meminfo: memFree=21754528/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=60752 CPUtime=51.09 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 13589 0 0 0 5107 2 0 0 25 0 1 0 462153085 62210048 12547 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 15188 12547 102 5 0 13659 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60752
[startup+102.306 s]
/proc/loadavg: 3.97 3.94 3.74 5/190 21636
/proc/meminfo: memFree=21739608/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=65504 CPUtime=102.29 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 14780 0 0 0 10227 2 0 0 25 0 1 0 462153085 67076096 13738 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 16376 13738 102 5 0 14847 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 65504
[startup+162.301 s]
/proc/loadavg: 4.04 3.96 3.75 5/190 21637
/proc/meminfo: memFree=21727308/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=69860 CPUtime=162.29 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 15874 0 0 0 16226 3 0 0 25 0 1 0 462153085 71536640 14832 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 17465 14832 102 5 0 15936 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 69860
[startup+222.301 s]
/proc/loadavg: 4.01 3.97 3.77 5/190 21639
/proc/meminfo: memFree=21716484/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=73428 CPUtime=222.29 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 16762 0 0 0 22226 3 0 0 25 0 1 0 462153085 75190272 15720 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 18357 15720 102 5 0 16828 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 73428
[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.78 5/190 21640
/proc/meminfo: memFree=21708252/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=76464 CPUtime=282.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 17525 0 0 0 28225 3 0 0 25 0 1 0 462153085 78299136 16483 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 19116 16483 102 5 0 17587 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 76464
[startup+342.301 s]
/proc/loadavg: 4.08 4.00 3.80 5/190 21642
/proc/meminfo: memFree=21700528/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=78708 CPUtime=342.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 18094 0 0 0 34224 4 0 0 25 0 1 0 462153085 80596992 17052 33554432000 4194304 4210924 140733210049056 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 19677 17052 102 5 0 18148 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 78708
[startup+402.301 s]
/proc/loadavg: 4.03 4.00 3.81 5/190 21644
/proc/meminfo: memFree=21696036/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=80556 CPUtime=402.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 18543 0 0 0 40224 4 0 0 25 0 1 0 462153085 82489344 17501 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 20139 17501 102 5 0 18610 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 80556
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.82 5/190 21645
/proc/meminfo: memFree=21689792/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=82668 CPUtime=462.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 19078 0 0 0 46223 5 0 0 25 0 1 0 462153085 84652032 18036 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 20667 18036 102 5 0 19138 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 82668
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.83 5/190 21647
/proc/meminfo: memFree=21685296/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=83856 CPUtime=522.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 19391 0 0 0 52223 5 0 0 25 0 1 0 462153085 85868544 18349 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 20964 18349 102 5 0 19435 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 83856
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.83 5/190 21657
/proc/meminfo: memFree=21682664/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=85440 CPUtime=582.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 19787 0 0 0 58223 5 0 0 25 0 1 0 462153085 87490560 18745 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 21360 18745 102 5 0 19831 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 85440
[startup+642.3 s]
/proc/loadavg: 4.08 4.02 3.84 5/190 21659
/proc/meminfo: memFree=21679052/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=86892 CPUtime=642.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 20134 0 0 0 64223 5 0 0 25 0 1 0 462153085 88977408 19092 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 21723 19092 102 5 0 20194 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 86892
[startup+702.3 s]
/proc/loadavg: 4.10 4.03 3.86 5/190 21663
/proc/meminfo: memFree=21677020/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=87020 CPUtime=702.27 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 20170 0 0 0 70222 5 0 0 25 0 1 0 462153085 89108480 19128 33554432000 4194304 4210924 140733210049056 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 21755 19128 102 5 0 20226 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 87020
[startup+762.307 s]
/proc/loadavg: 4.07 4.03 3.87 5/190 21665
/proc/meminfo: memFree=21675156/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=87152 CPUtime=762.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 20192 0 0 0 76223 5 0 0 25 0 1 0 462153085 89243648 19150 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 21788 19150 102 5 0 20259 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 87152
[startup+822.301 s]
/proc/loadavg: 4.02 4.03 3.87 5/190 21667
/proc/meminfo: memFree=21674008/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=87284 CPUtime=822.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 20252 0 0 0 82223 5 0 0 25 0 1 0 462153085 89378816 19210 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 21821 19210 102 5 0 20292 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 87284
[startup+882.3 s]
/proc/loadavg: 4.12 4.05 3.89 5/190 21668
/proc/meminfo: memFree=21672116/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=88868 CPUtime=882.27 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 20626 0 0 0 88222 5 0 0 25 0 1 0 462153085 91000832 19584 33554432000 4194304 4210924 140733210049056 18446744073709551615 4205022 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 22217 19584 102 5 0 20688 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 88868
[startup+942.301 s]
/proc/loadavg: 4.04 4.04 3.89 5/190 21670
/proc/meminfo: memFree=21669728/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=89528 CPUtime=942.27 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 20790 0 0 0 94222 5 0 0 25 0 1 0 462153085 91676672 19748 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 22382 19748 102 5 0 20853 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 89528
[startup+1002.3 s]
/proc/loadavg: 4.01 4.03 3.90 5/190 21672
/proc/meminfo: memFree=21665616/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=91108 CPUtime=1002.28 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 21212 0 0 0 100222 6 0 0 25 0 1 0 462153085 93294592 20170 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 22777 20170 103 5 0 21248 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 91108
[startup+1062.3 s]
/proc/loadavg: 4.00 4.02 3.91 5/190 21673
/proc/meminfo: memFree=21665228/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=91240 CPUtime=1062.27 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 21218 0 0 0 106221 6 0 0 25 0 1 0 462153085 93429760 20176 33554432000 4194304 4210924 140733210049056 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 22810 20176 103 5 0 21281 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 91240
[startup+1122.3 s]
/proc/loadavg: 4.00 4.02 3.91 5/190 21675
/proc/meminfo: memFree=21663828/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=92296 CPUtime=1122.27 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 21492 0 0 0 112221 6 0 0 25 0 1 0 462153085 94511104 20450 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 23074 20450 103 5 0 21545 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 92296
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/190 21676
/proc/meminfo: memFree=21663436/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=92296 CPUtime=1182.27 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 21499 0 0 0 118221 6 0 0 25 0 1 0 462153085 94511104 20457 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 23074 20457 103 5 0 21545 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 92296
[startup+1242.3 s]
/proc/loadavg: 4.04 4.02 3.91 5/190 21678
/proc/meminfo: memFree=21661800/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=92296 CPUtime=1242.27 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 21510 0 0 0 124221 6 0 0 25 0 1 0 462153085 94511104 20468 33554432000 4194304 4210924 140733210049056 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 23074 20468 103 5 0 21545 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 92296
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.89 4.00 3.91 2/187 21683
/proc/meminfo: memFree=21817896/32950904 swapFree=67082280/67111528
[pid=21632] ppid=21630 vsize=93340 CPUtime=1299.98 cores=0,2
/proc/21632/stat : 21632 (saturn) R 21630 21632 21274 0 -1 4202496 21761 0 0 0 129992 6 0 0 25 0 1 0 462153085 95580160 20719 33554432000 4194304 4210924 140733210049056 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21632/statm: 23335 20719 103 5 0 21806 0
Current children cumulated CPU time (s) 1299.98
Current children cumulated vsize (KiB) 93340
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
CPU user time (s): 1299.92
CPU system time (s): 0.073988
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 93340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.92
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21761
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= 16700
runsolver used 2.13967 second user time and 4.99924 second system time
The end
Begin job on node121 at 2011-04-22 22:52:13
IDJOB=3258720
IDBENCH=71423
IDSOLVER=1583
FILE ID=node121/3258720-1303505533
RUNJOBID= node121-1303505533-21590
PBS_JOBID= 13134216
Free space on /tmp= 72016 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes3.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258720-1303505533/watcher-3258720-1303505533 -o /tmp/evaluation-result-3258720-1303505533/solver-3258720-1303505533 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3258720-1303505533.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= d6877629cc818d7e31dc245fb95f0588
RANDOM SEED=885438594
node121.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.817
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.63
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.817
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 : 5226.07
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.817
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.84
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.817
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 : 5332.77
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.817
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.82
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.817
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.74
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.817
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.75
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.817
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: 32950904 kB
MemFree: 21879232 kB
Buffers: 1660328 kB
Cached: 8845228 kB
SwapCached: 2780 kB
Active: 7751160 kB
Inactive: 2822268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 21879232 kB
SwapTotal: 67111528 kB
SwapFree: 67082280 kB
Dirty: 11980 kB
Writeback: 20 kB
AnonPages: 65696 kB
Mapped: 15404 kB
Slab: 434308 kB
PageTables: 5356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 305128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72020 MiB
End job on node121 at 2011-04-22 23:13:55