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-3283259-1303764148/watcher-3283259-1303764148 -o /tmp/evaluation-result-3283259-1303764148/solver-3283259-1303764148 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283259-1303764148.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.39 3.89 3.87 4/186 29345
/proc/meminfo: memFree=15245464/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=59700 CPUtime=0 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 3223 0 0 0 0 0 0 0 21 0 1 0 488012897 61132800 3165 33554432000 4194304 4210924 140735594624384 18446744073709551615 4206808 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 14925 3173 94 5 0 7447 0
[startup+0.0712501 s]
/proc/loadavg: 3.39 3.89 3.87 4/186 29345
/proc/meminfo: memFree=15245464/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=145420 CPUtime=0.06 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 11608 0 0 0 5 1 0 0 22 0 1 0 488012897 148910080 11550 33554432000 4194304 4210924 140735594624384 18446744073709551615 228122374853 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 36355 11554 566 5 0 28877 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 145420
[startup+0.100231 s]
/proc/loadavg: 3.39 3.89 3.87 4/186 29345
/proc/meminfo: memFree=15245464/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=149908 CPUtime=0.09 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 13385 0 0 0 8 1 0 0 22 0 1 0 488012897 153505792 13327 33554432000 4194304 4210924 140735594624384 18446744073709551615 228122374853 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 37477 13330 754 5 0 29999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 149908
[startup+0.300193 s]
/proc/loadavg: 3.39 3.89 3.87 4/186 29345
/proc/meminfo: memFree=15245464/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=177760 CPUtime=0.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 24524 0 0 0 26 3 0 0 22 0 1 0 488012897 182026240 24466 33554432000 4194304 4210924 140735594624384 18446744073709551615 228122374853 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 44440 24467 2094 5 0 36962 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 177760
[startup+0.701121 s]
/proc/loadavg: 3.39 3.89 3.87 4/186 29345
/proc/meminfo: memFree=15245464/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=240196 CPUtime=0.69 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 50530 0 0 0 63 6 0 0 24 0 1 0 488012897 245960704 50080 33554432000 4194304 4210924 140735594624384 18446744073709551615 228122374853 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 60049 50083 5197 5 0 52571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 240196
[startup+1.50098 s]
/proc/loadavg: 3.39 3.89 3.87 5/185 29346
/proc/meminfo: memFree=14862320/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=231448 CPUtime=1.49 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 57332 0 0 0 142 7 0 0 25 0 1 0 488012897 237002752 50862 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 57862 50862 96 5 0 56333 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 231448
[startup+3.10069 s]
/proc/loadavg: 3.39 3.89 3.87 5/190 29352
/proc/meminfo: memFree=14643048/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=231580 CPUtime=3.09 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 57357 0 0 0 302 7 0 0 25 0 1 0 488012897 237137920 50887 33554432000 4194304 4210924 140735594624384 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 57895 50887 97 5 0 56366 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231580
[startup+6.30111 s]
/proc/loadavg: 3.44 3.89 3.87 6/190 29353
/proc/meminfo: memFree=14641904/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=231984 CPUtime=6.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 57469 0 0 0 622 7 0 0 25 0 1 0 488012897 237551616 50999 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 57996 50999 103 5 0 56467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 231984
[startup+12.701 s]
/proc/loadavg: 3.49 3.89 3.87 5/190 29353
/proc/meminfo: memFree=14636784/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=232116 CPUtime=12.69 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 57523 0 0 0 1262 7 0 0 25 0 1 0 488012897 237686784 51053 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 58029 51053 103 5 0 56500 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 232116
[startup+25.5006 s]
/proc/loadavg: 3.60 3.89 3.87 5/190 29353
/proc/meminfo: memFree=14633560/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=232512 CPUtime=25.49 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 57625 0 0 0 2542 7 0 0 25 0 1 0 488012897 238092288 51155 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 58128 51155 103 5 0 56599 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 232512
[startup+51.101 s]
/proc/loadavg: 3.73 3.90 3.87 5/190 29354
/proc/meminfo: memFree=14624280/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=235428 CPUtime=51.09 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 58370 0 0 0 5102 7 0 0 25 0 1 0 488012897 241078272 51900 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 58857 51900 104 5 0 57328 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 235428
[startup+102.307 s]
/proc/loadavg: 3.88 3.92 3.88 5/190 29355
/proc/meminfo: memFree=14610108/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=240956 CPUtime=102.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 59736 0 0 0 10222 7 0 0 25 0 1 0 488012897 246738944 53266 33554432000 4194304 4210924 140735594624384 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 60239 53266 104 5 0 58710 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 240956
[startup+162.301 s]
/proc/loadavg: 3.95 3.93 3.88 5/190 29357
/proc/meminfo: memFree=14599388/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=244460 CPUtime=162.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 60616 0 0 0 16222 7 0 0 25 0 1 0 488012897 250327040 54146 33554432000 4194304 4210924 140735594624384 18446744073709551615 4198750 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 61115 54146 104 5 0 59586 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 244460
[startup+222.301 s]
/proc/loadavg: 3.98 3.94 3.89 5/190 29358
/proc/meminfo: memFree=14574556/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=247828 CPUtime=222.3 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 61445 0 0 0 22222 8 0 0 25 0 1 0 488012897 253775872 54975 33554432000 4194304 4210924 140735594624384 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 61957 54975 104 5 0 60428 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 247828
[startup+282.301 s]
/proc/loadavg: 4.03 3.96 3.90 5/190 29360
/proc/meminfo: memFree=14561888/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=250536 CPUtime=282.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 62122 0 0 0 28221 8 0 0 25 0 1 0 488012897 256548864 55652 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 62634 55652 104 5 0 61105 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 250536
[startup+342.3 s]
/proc/loadavg: 4.05 3.98 3.91 5/190 29362
/proc/meminfo: memFree=14554156/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=252416 CPUtime=342.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 62610 0 0 0 34221 8 0 0 25 0 1 0 488012897 258473984 56140 33554432000 4194304 4210924 140735594624384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 63104 56140 104 5 0 61575 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 252416
[startup+402.3 s]
/proc/loadavg: 4.05 4.00 3.91 5/190 29363
/proc/meminfo: memFree=14540376/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=254028 CPUtime=402.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 63006 0 0 0 40221 8 0 0 25 0 1 0 488012897 260124672 56536 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 63507 56536 104 5 0 61978 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 254028
[startup+462.301 s]
/proc/loadavg: 4.07 4.01 3.92 5/190 29365
/proc/meminfo: memFree=14524840/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=257368 CPUtime=462.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 63851 0 0 0 46220 9 0 0 25 0 1 0 488012897 263544832 57381 33554432000 4194304 4210924 140735594624384 18446744073709551615 4201865 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 64342 57381 104 5 0 62813 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 257368
[startup+522.301 s]
/proc/loadavg: 4.02 4.01 3.92 5/190 29366
/proc/meminfo: memFree=14508572/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=263916 CPUtime=522.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 65490 0 0 0 52220 9 0 0 25 0 1 0 488012897 270249984 59020 33554432000 4194304 4210924 140735594624384 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 65979 59020 104 5 0 64450 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 263916
[startup+582.301 s]
/proc/loadavg: 4.06 4.02 3.93 5/190 29368
/proc/meminfo: memFree=14504340/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=265540 CPUtime=582.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 65875 0 0 0 58220 9 0 0 25 0 1 0 488012897 271912960 59405 33554432000 4194304 4210924 140735594624384 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 66385 59405 104 5 0 64856 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 265540
[startup+642.301 s]
/proc/loadavg: 4.02 4.01 3.93 5/190 29370
/proc/meminfo: memFree=14492172/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=266644 CPUtime=642.3 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 66155 0 0 0 64220 10 0 0 25 0 1 0 488012897 273043456 59685 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 66661 59685 104 5 0 65132 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 266644
[startup+702.301 s]
/proc/loadavg: 4.01 4.00 3.93 5/190 29371
/proc/meminfo: memFree=14478504/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=266644 CPUtime=702.3 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 66155 0 0 0 70220 10 0 0 25 0 1 0 488012897 273043456 59685 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 66661 59685 104 5 0 65132 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 266644
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 29373
/proc/meminfo: memFree=14469408/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=269652 CPUtime=762.3 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 66934 0 0 0 76220 10 0 0 25 0 1 0 488012897 276123648 60464 33554432000 4194304 4210924 140735594624384 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 67413 60464 104 5 0 65884 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 269652
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/190 29374
/proc/meminfo: memFree=14460592/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=273248 CPUtime=822.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 67832 0 0 0 82219 10 0 0 25 0 1 0 488012897 279805952 61362 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 68312 61362 104 5 0 66783 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 273248
[startup+882.301 s]
/proc/loadavg: 4.05 4.01 3.93 5/190 29376
/proc/meminfo: memFree=14453620/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=275384 CPUtime=882.28 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 68373 0 0 0 88218 10 0 0 25 0 1 0 488012897 281993216 61903 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 68846 61903 104 5 0 67317 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 275384
[startup+942.301 s]
/proc/loadavg: 4.07 4.02 3.94 5/190 29378
/proc/meminfo: memFree=14445900/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=276712 CPUtime=942.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 68687 0 0 0 94218 11 0 0 25 0 1 0 488012897 283353088 62217 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 69178 62217 104 5 0 67649 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 276712
[startup+1002.3 s]
/proc/loadavg: 4.10 4.04 3.94 5/190 29379
/proc/meminfo: memFree=14435072/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=279016 CPUtime=1002.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 69268 0 0 0 100218 11 0 0 25 0 1 0 488012897 285712384 62798 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 69754 62798 104 5 0 68225 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 279016
[startup+1062.3 s]
/proc/loadavg: 4.04 4.03 3.94 6/190 29381
/proc/meminfo: memFree=14422528/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=280896 CPUtime=1062.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 69731 0 0 0 106218 11 0 0 25 0 1 0 488012897 287637504 63261 33554432000 4194304 4210924 140735594624384 18446744073709551615 4206996 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 70224 63261 104 5 0 68695 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 280896
[startup+1122.3 s]
/proc/loadavg: 4.01 4.02 3.94 5/190 29391
/proc/meminfo: memFree=14414036/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=283052 CPUtime=1122.29 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 70293 0 0 0 112217 12 0 0 25 0 1 0 488012897 289845248 63823 33554432000 4194304 4210924 140735594624384 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 70763 63823 104 5 0 69234 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 283052
[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/190 29393
/proc/meminfo: memFree=14401416/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=284380 CPUtime=1182.28 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 70625 0 0 0 118216 12 0 0 25 0 1 0 488012897 291205120 64155 33554432000 4194304 4210924 140735594624384 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 71095 64155 104 5 0 69566 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 284380
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.94 5/190 29395
/proc/meminfo: memFree=14388612/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=286384 CPUtime=1242.28 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 71104 0 0 0 124216 12 0 0 25 0 1 0 488012897 293257216 64634 33554432000 4194304 4210924 140735594624384 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 71596 64634 104 5 0 70067 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 286384
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.94 4/189 29398
/proc/meminfo: memFree=14613152/32951124 swapFree=67111528/67111528
[pid=29345] ppid=29343 vsize=288552 CPUtime=1299.99 cores=5,7
/proc/29345/stat : 29345 (saturn) R 29343 29345 28329 0 -1 4202496 71642 0 0 0 129987 12 0 0 25 0 1 0 488012897 295477248 65172 33554432000 4194304 4210924 140735594624384 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29345/statm: 72138 65172 104 5 0 70609 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 288552
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): 1300.02
CPU user time (s): 1299.88
CPU system time (s): 0.141978
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 288552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.88
system time used= 0.141978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71642
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= 2351
runsolver used 2.12168 second user time and 5.01924 second system time
The end
Begin job on node138 at 2011-04-25 22:42:29
IDJOB=3283259
IDBENCH=71012
IDSOLVER=1583
FILE ID=node138/3283259-1303764148
RUNJOBID= node138-1303764148-29312
PBS_JOBID= 13154067
Free space on /tmp= 71960 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283259-1303764148/watcher-3283259-1303764148 -o /tmp/evaluation-result-3283259-1303764148/solver-3283259-1303764148 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3283259-1303764148.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 9029cec808e66e35ae213dc5615fd1f7
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: 15249480 kB
Buffers: 2064688 kB
Cached: 14941344 kB
SwapCached: 0 kB
Active: 9917776 kB
Inactive: 7225032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15249480 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 47536 kB
Writeback: 0 kB
AnonPages: 135148 kB
Mapped: 20308 kB
Slab: 495616 kB
PageTables: 5276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 335352 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= 71948 MiB
End job on node138 at 2011-04-25 23:04:11