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-3290987-1303795440/watcher-3290987-1303795440 -o /tmp/evaluation-result-3290987-1303795440/solver-3290987-1303795440 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3290987-1303795440.cnf
running on 2 cores: 5,7
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.68 3.93 3.91 5/186 14480
/proc/meminfo: memFree=17641104/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=226944 CPUtime=0 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 1030 0 0 0 0 0 0 0 23 0 1 0 491142819 232390656 973 33554432000 4194304 4210924 140733973380768 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 56736 975 126 5 0 29993 0
[startup+0.00885292 s]
/proc/loadavg: 3.68 3.93 3.91 5/186 14480
/proc/meminfo: memFree=17641104/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=227340 CPUtime=0 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 1204 0 0 0 0 0 0 0 23 0 1 0 491142819 232796160 1147 33554432000 4194304 4210924 140733973380768 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 56835 1148 152 5 0 30092 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 227340
[startup+0.100849 s]
/proc/loadavg: 3.68 3.93 3.91 5/186 14480
/proc/meminfo: memFree=17641104/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=236844 CPUtime=0.09 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 4723 0 0 0 9 0 0 0 23 0 1 0 491142819 242528256 4666 33554432000 4194304 4210924 140733973380768 18446744073709551615 4203330 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 59211 4667 1079 5 0 32468 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 236844
[startup+0.300803 s]
/proc/loadavg: 3.68 3.93 3.91 5/186 14480
/proc/meminfo: memFree=17641104/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=262716 CPUtime=0.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 14633 0 0 0 27 2 0 0 25 0 1 0 491142819 269021184 14576 33554432000 4194304 4210924 140733973380768 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 65679 14578 3008 5 0 38936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 262716
[startup+0.700737 s]
/proc/loadavg: 3.68 3.93 3.91 5/186 14480
/proc/meminfo: memFree=17641104/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=323172 CPUtime=0.69 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 38633 0 0 0 65 4 0 0 25 0 1 0 491142819 330928128 38576 33554432000 4194304 4210924 140733973380768 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 80793 38579 7149 5 0 54050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 323172
[startup+1.5006 s]
/proc/loadavg: 3.70 3.93 3.91 5/190 14487
/proc/meminfo: memFree=17385684/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=427188 CPUtime=1.49 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 81246 0 0 0 139 10 0 0 25 0 1 0 491142819 437440512 81189 33554432000 4194304 4210924 140733973380768 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106797 81191 16550 5 0 80054 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 427188
[startup+3.10035 s]
/proc/loadavg: 3.70 3.93 3.91 5/190 14487
/proc/meminfo: memFree=17031216/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=424540 CPUtime=3.09 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 121616 0 0 0 296 13 0 0 25 0 1 0 491142819 434728960 96345 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106135 96345 102 5 0 104606 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 424540
[startup+6.3008 s]
/proc/loadavg: 3.89 3.97 3.92 5/190 14487
/proc/meminfo: memFree=16838172/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=424804 CPUtime=6.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 121682 0 0 0 616 13 0 0 25 0 1 0 491142819 434999296 96411 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106201 96411 102 5 0 104672 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 424804
[startup+12.7007 s]
/proc/loadavg: 3.90 3.97 3.92 5/190 14487
/proc/meminfo: memFree=16836608/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=425596 CPUtime=12.69 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 121882 0 0 0 1256 13 0 0 25 0 1 0 491142819 435810304 96611 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106399 96611 102 5 0 104870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 425596
[startup+25.5006 s]
/proc/loadavg: 3.99 3.99 3.93 5/190 14487
/proc/meminfo: memFree=16835500/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=425860 CPUtime=25.49 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 121931 0 0 0 2536 13 0 0 25 0 1 0 491142819 436080640 96660 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106465 96660 102 5 0 104936 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 425860
[startup+51.1003 s]
/proc/loadavg: 4.06 4.00 3.93 5/190 14488
/proc/meminfo: memFree=16833780/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=426520 CPUtime=51.09 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 122109 0 0 0 5095 14 0 0 25 0 1 0 491142819 436756480 96838 33554432000 4194304 4210924 140733973380768 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106630 96838 102 5 0 105101 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 426520
[startup+102.301 s]
/proc/loadavg: 4.02 4.00 3.93 5/190 14489
/proc/meminfo: memFree=16830072/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=427708 CPUtime=102.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 122393 0 0 0 10215 14 0 0 25 0 1 0 491142819 437972992 97122 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106927 97122 102 5 0 105398 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 427708
[startup+162.301 s]
/proc/loadavg: 4.01 4.00 3.93 5/190 14491
/proc/meminfo: memFree=16828676/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=427708 CPUtime=162.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 122422 0 0 0 16215 14 0 0 25 0 1 0 491142819 437972992 97151 33554432000 4194304 4210924 140733973380768 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106927 97151 102 5 0 105398 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 427708
[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 14493
/proc/meminfo: memFree=16827268/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=427708 CPUtime=222.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 122422 0 0 0 22215 14 0 0 25 0 1 0 491142819 437972992 97151 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106927 97151 102 5 0 105398 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 427708
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 14494
/proc/meminfo: memFree=16825548/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=427840 CPUtime=282.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 122445 0 0 0 28215 14 0 0 25 0 1 0 491142819 438108160 97174 33554432000 4194304 4210924 140733973380768 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 106960 97174 102 5 0 105431 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 427840
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 14496
/proc/meminfo: memFree=16821192/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=429820 CPUtime=342.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 122942 0 0 0 34215 14 0 0 25 0 1 0 491142819 440135680 97671 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107455 97671 102 5 0 105926 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 429820
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 14497
/proc/meminfo: memFree=16819960/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431144 CPUtime=402.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123281 0 0 0 40216 14 0 0 25 0 1 0 491142819 441491456 98010 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107786 98010 103 5 0 106257 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 431144
[startup+462.3 s]
/proc/loadavg: 4.04 4.01 3.94 5/190 14499
/proc/meminfo: memFree=16819060/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=462.29 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123329 0 0 0 46215 14 0 0 25 0 1 0 491142819 441757696 98058 33554432000 4194304 4210924 140733973380768 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98058 103 5 0 106322 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 431404
[startup+522.307 s]
/proc/loadavg: 4.01 4.01 3.94 5/190 14501
/proc/meminfo: memFree=16817164/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=522.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123350 0 0 0 52216 14 0 0 25 0 1 0 491142819 441757696 98079 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98079 103 5 0 106322 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 431404
[startup+582.3 s]
/proc/loadavg: 4.05 4.02 3.94 5/190 14502
/proc/meminfo: memFree=16816948/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=582.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 58216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4198612 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 431404
[startup+642.301 s]
/proc/loadavg: 4.02 4.01 3.94 5/190 14504
/proc/meminfo: memFree=16815976/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=642.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 64216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 431404
[startup+702.301 s]
/proc/loadavg: 4.00 4.01 3.94 5/190 14505
/proc/meminfo: memFree=16813904/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=702.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 70216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 431404
[startup+762.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 14507
/proc/meminfo: memFree=16813704/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=762.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 76216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 431404
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 14509
/proc/meminfo: memFree=16811200/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=822.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 82216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4205123 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 431404
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 14510
/proc/meminfo: memFree=16809832/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=882.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 88216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 431404
[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 14512
/proc/meminfo: memFree=16809320/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=942.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 94216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 431404
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 14513
/proc/meminfo: memFree=16808292/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=1002.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 100216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 431404
[startup+1062.3 s]
/proc/loadavg: 4.06 4.01 3.95 5/190 14515
/proc/meminfo: memFree=16806276/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=1062.31 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 106217 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4205291 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 431404
[startup+1122.3 s]
/proc/loadavg: 4.02 4.01 3.95 5/190 14517
/proc/meminfo: memFree=16803776/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=1122.3 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 112216 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 431404
[startup+1182.31 s]
/proc/loadavg: 4.00 4.00 3.95 5/190 14518
/proc/meminfo: memFree=16802020/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=1182.31 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 118217 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 431404
[startup+1242.3 s]
/proc/loadavg: 4.09 4.03 3.96 5/190 14520
/proc/meminfo: memFree=16799776/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=1242.31 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 124217 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 431404
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300.01 s]
/proc/loadavg: 3.87 3.99 3.95 3/183 14540
/proc/meminfo: memFree=16936064/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=1300.02 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 129988 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206169 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 431404
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.01 s]
/proc/loadavg: 3.87 3.99 3.95 3/183 14540
/proc/meminfo: memFree=16936064/32951124 swapFree=67111528/67111528
[pid=14480] ppid=14478 vsize=431404 CPUtime=1300.02 cores=5,7
/proc/14480/stat : 14480 (saturn) R 14478 14480 14062 0 -1 4202496 123354 0 0 0 129988 14 0 0 25 0 1 0 491142819 441757696 98083 33554432000 4194304 4210924 140733973380768 18446744073709551615 4206169 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14480/statm: 107851 98083 103 5 0 106322 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 431404
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1300.05
CPU user time (s): 1299.88
CPU system time (s): 0.165974
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 519852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.88
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123354
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= 16694
runsolver used 2.15367 second user time and 4.94025 second system time
The end
Begin job on node130 at 2011-04-26 07:24:03
IDJOB=3290987
IDBENCH=83463
IDSOLVER=1583
FILE ID=node130/3290987-1303795440
RUNJOBID= node130-1303795440-14393
PBS_JOBID= 13157278
Free space on /tmp= 71936 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290987-1303795440/watcher-3290987-1303795440 -o /tmp/evaluation-result-3290987-1303795440/solver-3290987-1303795440 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3290987-1303795440.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=1511270277
node130.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.838
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.67
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.838
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.83
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.838
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.75
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.838
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.81
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.838
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.75
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.838
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.838
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.838
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.81
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 17641508 kB
Buffers: 2113764 kB
Cached: 12464532 kB
SwapCached: 0 kB
Active: 6776608 kB
Inactive: 7978592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17641508 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 230992 kB
Writeback: 0 kB
AnonPages: 176652 kB
Mapped: 15396 kB
Slab: 490424 kB
PageTables: 5472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 351492 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= 71952 MiB
End job on node130 at 2011-04-26 07:45:45