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-3283305-1303764148/watcher-3283305-1303764148 -o /tmp/evaluation-result-3283305-1303764148/solver-3283305-1303764148 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283305-1303764148.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.39 3.89 3.87 3/178 29329
/proc/meminfo: memFree=15326500/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=41472 CPUtime=0 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 2735 0 0 0 0 0 0 0 21 0 1 0 488012874 42467328 2677 33554432000 4194304 4210924 140734899907392 18446744073709551615 4201563 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 10368 2684 94 5 0 5114 0
[startup+0.0446281 s]
/proc/loadavg: 3.39 3.89 3.87 3/178 29329
/proc/meminfo: memFree=15326500/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=96504 CPUtime=0.03 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 7516 0 0 0 3 0 0 0 21 0 1 0 488012874 98820096 7458 33554432000 4194304 4210924 140734899907392 18446744073709551615 228122374853 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 24159 7461 352 5 0 18905 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 96504
[startup+0.10063 s]
/proc/loadavg: 3.39 3.89 3.87 3/178 29329
/proc/meminfo: memFree=15326500/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=104820 CPUtime=0.09 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 10794 0 0 0 8 1 0 0 21 0 1 0 488012874 107335680 10736 33554432000 4194304 4210924 140734899907392 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 26205 10738 693 5 0 20951 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 104820
[startup+0.300579 s]
/proc/loadavg: 3.39 3.89 3.87 3/178 29329
/proc/meminfo: memFree=15326500/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=131352 CPUtime=0.29 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 21311 0 0 0 27 2 0 0 22 0 1 0 488012874 134504448 21253 33554432000 4194304 4210924 140734899907392 18446744073709551615 228122374853 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 32838 21256 1902 5 0 27584 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 131352
[startup+0.700485 s]
/proc/loadavg: 3.39 3.89 3.87 3/178 29329
/proc/meminfo: memFree=15326500/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=153808 CPUtime=0.69 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 37328 0 0 0 65 4 0 0 24 0 1 0 488012874 157499392 33238 33554432000 4194304 4210924 140734899907392 18446744073709551615 4197012 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 38452 33238 95 5 0 36923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 153808
[startup+1.50034 s]
/proc/loadavg: 3.39 3.89 3.87 5/187 29346
/proc/meminfo: memFree=14872720/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=153808 CPUtime=1.49 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 37433 0 0 0 145 4 0 0 25 0 1 0 488012874 157499392 33333 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206163 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 38452 33333 102 5 0 36923 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 153808
[startup+3.10108 s]
/proc/loadavg: 3.39 3.89 3.87 5/190 29352
/proc/meminfo: memFree=14646520/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=153940 CPUtime=3.09 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 37455 0 0 0 305 4 0 0 25 0 1 0 488012874 157634560 33355 33554432000 4194304 4210924 140734899907392 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 38485 33355 102 5 0 36956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 153940
[startup+6.3005 s]
/proc/loadavg: 3.44 3.89 3.87 5/190 29353
/proc/meminfo: memFree=14641904/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=153940 CPUtime=6.29 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 37465 0 0 0 625 4 0 0 25 0 1 0 488012874 157634560 33365 33554432000 4194304 4210924 140734899907392 18446744073709551615 4198692 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 38485 33365 102 5 0 36956 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 153940
[startup+12.7003 s]
/proc/loadavg: 3.49 3.89 3.87 5/190 29353
/proc/meminfo: memFree=14636784/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=154472 CPUtime=12.69 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 37595 0 0 0 1265 4 0 0 25 0 1 0 488012874 158179328 33495 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204892 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 38618 33495 102 5 0 37089 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 154472
[startup+25.501 s]
/proc/loadavg: 3.60 3.89 3.87 5/190 29353
/proc/meminfo: memFree=14633560/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=154472 CPUtime=25.49 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 37601 0 0 0 2545 4 0 0 25 0 1 0 488012874 158179328 33501 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 38618 33501 102 5 0 37089 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 154472
[startup+51.1004 s]
/proc/loadavg: 3.73 3.90 3.87 5/190 29354
/proc/meminfo: memFree=14624404/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=156324 CPUtime=51.09 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 38053 0 0 0 5105 4 0 0 25 0 1 0 488012874 160075776 33953 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 39081 33953 102 5 0 37552 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 156324
[startup+102.307 s]
/proc/loadavg: 3.88 3.92 3.88 5/190 29355
/proc/meminfo: memFree=14610108/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=158188 CPUtime=102.29 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 38531 0 0 0 10225 4 0 0 25 0 1 0 488012874 161984512 34431 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204587 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 39547 34431 102 5 0 38018 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 158188
[startup+162.3 s]
/proc/loadavg: 3.95 3.93 3.88 5/190 29357
/proc/meminfo: memFree=14599388/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=158852 CPUtime=162.28 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 38686 0 0 0 16224 4 0 0 25 0 1 0 488012874 162664448 34586 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 39713 34586 102 5 0 38184 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 158852
[startup+222.3 s]
/proc/loadavg: 3.98 3.94 3.89 5/190 29358
/proc/meminfo: memFree=14574556/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=161824 CPUtime=222.28 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 39447 0 0 0 22223 5 0 0 25 0 1 0 488012874 165707776 35347 33554432000 4194304 4210924 140734899907392 18446744073709551615 4198592 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 40456 35347 102 5 0 38927 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 161824
[startup+282.301 s]
/proc/loadavg: 4.03 3.96 3.90 5/190 29360
/proc/meminfo: memFree=14561888/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=166316 CPUtime=282.28 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 40575 0 0 0 28222 6 0 0 25 0 1 0 488012874 170307584 36475 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 41579 36475 103 5 0 40050 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 166316
[startup+342.301 s]
/proc/loadavg: 4.05 3.98 3.91 5/190 29362
/proc/meminfo: memFree=14554156/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=169400 CPUtime=342.27 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 41328 0 0 0 34221 6 0 0 25 0 1 0 488012874 173465600 37228 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 42350 37228 104 5 0 40821 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 169400
[startup+402.301 s]
/proc/loadavg: 4.05 4.00 3.91 5/190 29363
/proc/meminfo: memFree=14540500/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=173212 CPUtime=402.27 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 42300 0 0 0 40221 6 0 0 25 0 1 0 488012874 177369088 38200 33554432000 4194304 4210924 140734899907392 18446744073709551615 4205082 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 43303 38200 104 5 0 41774 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 173212
[startup+462.301 s]
/proc/loadavg: 4.07 4.01 3.92 5/190 29365
/proc/meminfo: memFree=14525336/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=176112 CPUtime=462.25 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 43018 0 0 0 46219 6 0 0 25 0 1 0 488012874 180338688 38918 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206453 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 44028 38918 104 5 0 42499 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 176112
[startup+522.301 s]
/proc/loadavg: 4.02 4.01 3.92 5/190 29366
/proc/meminfo: memFree=14508572/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=181160 CPUtime=522.26 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 44277 0 0 0 52219 7 0 0 25 0 1 0 488012874 185507840 40177 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 45290 40177 104 5 0 43761 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 181160
[startup+582.301 s]
/proc/loadavg: 4.06 4.02 3.93 5/190 29368
/proc/meminfo: memFree=14504464/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=181816 CPUtime=582.26 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 44463 0 0 0 58219 7 0 0 25 0 1 0 488012874 186179584 40363 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 45454 40363 104 5 0 43925 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 181816
[startup+642.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/190 29370
/proc/meminfo: memFree=14492172/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=185084 CPUtime=642.25 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 45282 0 0 0 64218 7 0 0 25 0 1 0 488012874 189526016 41182 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 46271 41182 104 5 0 44742 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 185084
[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/190 29371
/proc/meminfo: memFree=14478504/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=189120 CPUtime=702.25 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 46269 0 0 0 70218 7 0 0 25 0 1 0 488012874 193658880 42169 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 47280 42169 104 5 0 45751 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 189120
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 29373
/proc/meminfo: memFree=14469408/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=192224 CPUtime=762.25 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 47041 0 0 0 76218 7 0 0 25 0 1 0 488012874 196837376 42941 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204525 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 48056 42941 104 5 0 46527 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 192224
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 29374
/proc/meminfo: memFree=14460592/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=196184 CPUtime=822.25 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 48041 0 0 0 82217 8 0 0 25 0 1 0 488012874 200892416 43941 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 49046 43941 104 5 0 47517 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 196184
[startup+882.301 s]
/proc/loadavg: 4.05 4.01 3.93 5/190 29376
/proc/meminfo: memFree=14453620/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=198628 CPUtime=882.24 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 48670 0 0 0 88215 9 0 0 25 0 1 0 488012874 203395072 44570 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 49657 44570 104 5 0 48128 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 198628
[startup+942.3 s]
/proc/loadavg: 4.07 4.02 3.94 5/190 29378
/proc/meminfo: memFree=14445900/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=203136 CPUtime=942.24 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 49767 0 0 0 94215 9 0 0 25 0 1 0 488012874 208011264 45667 33554432000 4194304 4210924 140734899907392 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 50784 45667 104 5 0 49255 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 203136
[startup+1002.3 s]
/proc/loadavg: 4.10 4.04 3.94 5/190 29379
/proc/meminfo: memFree=14435072/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=207216 CPUtime=1002.23 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 50815 0 0 0 100214 9 0 0 25 0 1 0 488012874 212189184 46715 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 51804 46715 104 5 0 50275 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 207216
[startup+1062.3 s]
/proc/loadavg: 4.04 4.03 3.94 5/190 29381
/proc/meminfo: memFree=14422528/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=212792 CPUtime=1062.23 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 52193 0 0 0 106213 10 0 0 25 0 1 0 488012874 217899008 48093 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 53198 48093 104 5 0 51669 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 212792
[startup+1122.3 s]
/proc/loadavg: 4.01 4.02 3.94 5/190 29391
/proc/meminfo: memFree=14414036/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=213740 CPUtime=1122.22 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 52437 0 0 0 112212 10 0 0 25 0 1 0 488012874 218869760 48337 33554432000 4194304 4210924 140734899907392 18446744073709551615 4204587 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 53435 48337 104 5 0 51906 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 213740
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/190 29393
/proc/meminfo: memFree=14401416/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=216332 CPUtime=1182.22 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 53097 0 0 0 118212 10 0 0 25 0 1 0 488012874 221523968 48997 33554432000 4194304 4210924 140734899907392 18446744073709551615 4206192 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 54083 48997 104 5 0 52554 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 216332
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/190 29395
/proc/meminfo: memFree=14388612/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=218416 CPUtime=1242.21 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 53619 0 0 0 124211 10 0 0 25 0 1 0 488012874 223657984 49519 33554432000 4194304 4210924 140734899907392 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 54604 49519 104 5 0 53075 0
Current children cumulated CPU time (s) 1242.21
Current children cumulated vsize (KiB) 218416
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.94 5/190 29396
/proc/meminfo: memFree=14379536/32951124 swapFree=67111528/67111528
[pid=29329] ppid=29327 vsize=220992 CPUtime=1299.9 cores=0,2
/proc/29329/stat : 29329 (saturn) R 29327 29329 28329 0 -1 4202496 54272 0 0 0 129980 10 0 0 25 0 1 0 488012874 226295808 50172 33554432000 4194304 4210924 140734899907392 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29329/statm: 55248 50172 104 5 0 53719 0
Current children cumulated CPU time (s) 1299.9
Current children cumulated vsize (KiB) 220992
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.02
CPU time (s): 1299.93
CPU user time (s): 1299.81
CPU system time (s): 0.117982
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 220992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.81
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54272
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= 3176
runsolver used 2.35664 second user time and 4.76527 second system time
The end
Begin job on node138 at 2011-04-25 22:42:29
IDJOB=3283305
IDBENCH=71019
IDSOLVER=1583
FILE ID=node138/3283305-1303764148
RUNJOBID= node138-1303764148-29309
PBS_JOBID= 13154067
Free space on /tmp= 71972 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283305-1303764148/watcher-3283305-1303764148 -o /tmp/evaluation-result-3283305-1303764148/solver-3283305-1303764148 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283305-1303764148.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4385f03fe3bdaf0f127ae989ddd7908d
RANDOM SEED=617056463
node138.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.854
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.70
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.854
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.854
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.854
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.75
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.854
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.80
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.854
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.75
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.854
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.82
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.854
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: 15326780 kB
Buffers: 2064668 kB
Cached: 14929336 kB
SwapCached: 0 kB
Active: 9818260 kB
Inactive: 7247492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15326780 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 35896 kB
Writeback: 0 kB
AnonPages: 70352 kB
Mapped: 14488 kB
Slab: 495356 kB
PageTables: 4888 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 195868 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= 71932 MiB
End job on node138 at 2011-04-25 23:04:11