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-3265188-1303582804/watcher-3265188-1303582804 -o /tmp/evaluation-result-3265188-1303582804/solver-3265188-1303582804 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3265188-1303582804.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 1.42 2.49 4/189 20789
/proc/meminfo: memFree=14100060/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=9636 CPUtime=0 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 664 0 0 0 0 0 0 0 23 0 1 0 469881185 9867264 607 33554432000 4194304 4210924 140736115780704 18446744073709551615 222921437893 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 2409 609 129 5 0 792 0
[startup+0.0996239 s]
/proc/loadavg: 0.85 1.42 2.49 4/189 20789
/proc/meminfo: memFree=14100060/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=11132 CPUtime=0.09 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 1363 0 0 0 9 0 0 0 23 0 1 0 469881185 11399168 1218 33554432000 4194304 4210924 140736115780704 18446744073709551615 4207206 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 2783 1218 101 5 0 1254 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11132
[startup+0.100615 s]
/proc/loadavg: 0.85 1.42 2.49 4/189 20789
/proc/meminfo: memFree=14100060/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=11132 CPUtime=0.1 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 1363 0 0 0 10 0 0 0 24 0 1 0 469881185 11399168 1218 33554432000 4194304 4210924 140736115780704 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 2783 1218 101 5 0 1254 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11132
[startup+0.300581 s]
/proc/loadavg: 0.85 1.42 2.49 4/189 20789
/proc/meminfo: memFree=14100060/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=11264 CPUtime=0.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 1383 0 0 0 30 0 0 0 25 0 1 0 469881185 11534336 1238 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 2816 1238 101 5 0 1287 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 11264
[startup+0.700515 s]
/proc/loadavg: 0.85 1.42 2.49 4/189 20789
/proc/meminfo: memFree=14100060/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=11264 CPUtime=0.7 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 1386 0 0 0 70 0 0 0 25 0 1 0 469881185 11534336 1241 33554432000 4194304 4210924 140736115780704 18446744073709551615 4205010 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 2816 1241 101 5 0 1287 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 11264
[startup+1.50037 s]
/proc/loadavg: 0.85 1.42 2.49 5/190 20817
/proc/meminfo: memFree=14093596/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=11396 CPUtime=1.5 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 1416 0 0 0 150 0 0 0 25 0 1 0 469881185 11669504 1271 33554432000 4194304 4210924 140736115780704 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 2849 1271 102 5 0 1320 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 11396
[startup+3.10106 s]
/proc/loadavg: 1.10 1.47 2.50 6/190 20817
/proc/meminfo: memFree=14091624/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=12868 CPUtime=3.09 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 1777 0 0 0 309 0 0 0 25 0 1 0 469881185 13176832 1632 33554432000 4194304 4210924 140736115780704 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 3217 1632 102 5 0 1688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12868
[startup+6.30048 s]
/proc/loadavg: 1.10 1.47 2.50 5/190 20817
/proc/meminfo: memFree=14087040/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=14200 CPUtime=6.29 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 2107 0 0 0 629 0 0 0 25 0 1 0 469881185 14540800 1962 33554432000 4194304 4210924 140736115780704 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 3550 1962 102 5 0 2021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14200
[startup+12.7003 s]
/proc/loadavg: 1.33 1.51 2.51 5/190 20817
/proc/meminfo: memFree=14079208/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=16608 CPUtime=12.69 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 2724 0 0 0 1269 0 0 0 25 0 1 0 469881185 17006592 2579 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206160 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 4152 2579 102 5 0 2623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16608
[startup+25.501 s]
/proc/loadavg: 1.99 1.65 2.54 5/190 20818
/proc/meminfo: memFree=14070168/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=20076 CPUtime=25.49 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 3599 0 0 0 2549 0 0 0 25 0 1 0 469881185 20557824 3454 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 5019 3454 102 5 0 3490 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20076
[startup+51.1003 s]
/proc/loadavg: 2.67 1.83 2.57 5/190 20819
/proc/meminfo: memFree=14061556/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=21400 CPUtime=51.09 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 3920 0 0 0 5109 0 0 0 25 0 1 0 469881185 21913600 3775 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 5350 3775 102 5 0 3821 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21400
[startup+102.307 s]
/proc/loadavg: 3.47 2.20 2.65 5/190 20820
/proc/meminfo: memFree=14048628/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=26320 CPUtime=102.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 5149 0 0 0 10230 0 0 0 25 0 1 0 469881185 26951680 5004 33554432000 4194304 4210924 140736115780704 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 6580 5004 102 5 0 5051 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26320
[startup+162.301 s]
/proc/loadavg: 3.79 2.50 2.73 5/190 20821
/proc/meminfo: memFree=14038404/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=28980 CPUtime=162.29 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 5839 0 0 0 16229 0 0 0 25 0 1 0 469881185 29675520 5694 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 7245 5694 102 5 0 5716 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28980
[startup+222.301 s]
/proc/loadavg: 3.93 2.79 2.81 5/190 20823
/proc/meminfo: memFree=14028592/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=32708 CPUtime=222.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 6759 0 0 0 22229 1 0 0 25 0 1 0 469881185 33492992 6614 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 8177 6614 102 5 0 6648 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 32708
[startup+282.301 s]
/proc/loadavg: 4.05 3.01 2.88 5/190 20825
/proc/meminfo: memFree=14023240/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=34440 CPUtime=282.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 7195 0 0 0 28229 1 0 0 25 0 1 0 469881185 35266560 7050 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 8610 7050 102 5 0 7081 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 34440
[startup+342.301 s]
/proc/loadavg: 4.01 3.20 2.95 5/190 20826
/proc/meminfo: memFree=14019760/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=35092 CPUtime=342.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 7364 0 0 0 34229 1 0 0 25 0 1 0 469881185 35934208 7219 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 8773 7219 102 5 0 7244 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 35092
[startup+402.301 s]
/proc/loadavg: 4.00 3.33 3.01 5/190 20828
/proc/meminfo: memFree=14016264/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=36028 CPUtime=402.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 7587 0 0 0 40229 1 0 0 25 0 1 0 469881185 36892672 7442 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 9007 7442 102 5 0 7478 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36028
[startup+462.301 s]
/proc/loadavg: 4.00 3.45 3.07 5/190 20829
/proc/meminfo: memFree=14012524/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=37860 CPUtime=462.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 8058 0 0 0 46229 1 0 0 25 0 1 0 469881185 38768640 7913 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 9465 7913 102 5 0 7936 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 37860
[startup+522.301 s]
/proc/loadavg: 4.00 3.55 3.12 5/190 20831
/proc/meminfo: memFree=14008800/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=39456 CPUtime=522.3 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 8433 0 0 0 52229 1 0 0 25 0 1 0 469881185 40402944 8288 33554432000 4194304 4210924 140736115780704 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 9864 8288 102 5 0 8335 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 39456
[startup+582.301 s]
/proc/loadavg: 4.04 3.64 3.18 5/190 20833
/proc/meminfo: memFree=14005660/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=40484 CPUtime=582.31 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 8709 0 0 0 58230 1 0 0 25 0 1 0 469881185 41455616 8564 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 10121 8564 102 5 0 8592 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 40484
[startup+642.301 s]
/proc/loadavg: 4.01 3.71 3.23 5/190 20834
/proc/meminfo: memFree=14003052/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=41824 CPUtime=642.31 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 9044 0 0 0 64230 1 0 0 25 0 1 0 469881185 42827776 8899 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 10456 8899 102 5 0 8927 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 41824
[startup+702.301 s]
/proc/loadavg: 4.06 3.77 3.28 5/190 20836
/proc/meminfo: memFree=13998076/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=43392 CPUtime=702.32 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 9444 0 0 0 70230 2 0 0 25 0 1 0 469881185 44433408 9299 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 10848 9299 102 5 0 9319 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 43392
[startup+762.307 s]
/proc/loadavg: 4.02 3.81 3.33 5/190 20837
/proc/meminfo: memFree=13994584/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=44824 CPUtime=762.33 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 9802 0 0 0 76231 2 0 0 25 0 1 0 469881185 45899776 9657 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 11206 9657 102 5 0 9677 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 44824
[startup+822.301 s]
/proc/loadavg: 4.00 3.84 3.36 5/190 20839
/proc/meminfo: memFree=13991444/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=45888 CPUtime=822.32 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 10061 0 0 0 82230 2 0 0 25 0 1 0 469881185 46989312 9916 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 11472 9916 102 5 0 9943 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 45888
[startup+882.301 s]
/proc/loadavg: 4.04 3.88 3.41 5/190 20841
/proc/meminfo: memFree=13988704/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=47460 CPUtime=882.32 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 10434 0 0 0 88230 2 0 0 25 0 1 0 469881185 48599040 10289 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 11865 10289 102 5 0 10336 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 47460
[startup+942.301 s]
/proc/loadavg: 4.01 3.90 3.44 5/190 20842
/proc/meminfo: memFree=13986460/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=47992 CPUtime=942.32 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 10580 0 0 0 94230 2 0 0 25 0 1 0 469881185 49143808 10435 33554432000 4194304 4210924 140736115780704 18446744073709551615 4204758 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 11998 10435 102 5 0 10469 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 47992
[startup+1002.3 s]
/proc/loadavg: 4.00 3.92 3.47 5/190 20844
/proc/meminfo: memFree=13983336/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=49180 CPUtime=1002.33 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 10894 0 0 0 100231 2 0 0 25 0 1 0 469881185 50360320 10749 33554432000 4194304 4210924 140736115780704 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 12295 10749 102 5 0 10766 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 49180
[startup+1062.3 s]
/proc/loadavg: 4.00 3.93 3.50 5/190 20845
/proc/meminfo: memFree=13980212/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=50360 CPUtime=1062.33 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 11161 0 0 0 106231 2 0 0 25 0 1 0 469881185 51568640 11016 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206466 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 12590 11016 102 5 0 11061 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 50360
[startup+1122.3 s]
/proc/loadavg: 4.06 3.96 3.54 6/190 20847
/proc/meminfo: memFree=13977948/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=51160 CPUtime=1122.33 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 11390 0 0 0 112231 2 0 0 25 0 1 0 469881185 52387840 11245 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 12790 11245 102 5 0 11261 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 51160
[startup+1182.3 s]
/proc/loadavg: 4.02 3.96 3.56 6/190 20849
/proc/meminfo: memFree=13974964/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=52468 CPUtime=1182.33 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 11699 0 0 0 118231 2 0 0 25 0 1 0 469881185 53727232 11554 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 13117 11554 102 5 0 11588 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 52468
[startup+1242.3 s]
/proc/loadavg: 4.07 3.98 3.59 6/190 20850
/proc/meminfo: memFree=13971716/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=53388 CPUtime=1242.33 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 11922 0 0 0 124231 2 0 0 25 0 1 0 469881185 54669312 11777 33554432000 4194304 4210924 140736115780704 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 13347 11777 102 5 0 11818 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 53388
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 3.98 3.61 3/186 20854
/proc/meminfo: memFree=14051328/32951124 swapFree=67111528/67111528
[pid=20789] ppid=20787 vsize=54824 CPUtime=1300.03 cores=4,6
/proc/20789/stat : 20789 (saturn) R 20787 20789 20395 0 -1 4202496 12277 0 0 0 130001 2 0 0 25 0 1 0 469881185 56139776 12132 33554432000 4194304 4210924 140736115780704 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/20789/statm: 13706 12132 102 5 0 12177 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 54824
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.05
CPU user time (s): 1300.02
CPU system time (s): 0.031995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 54824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.02
system time used= 0.031995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12277
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= 14571
runsolver used 2.22566 second user time and 4.90825 second system time
The end
Begin job on node109 at 2011-04-23 20:20:04
IDJOB=3265188
IDBENCH=85456
IDSOLVER=1583
FILE ID=node109/3265188-1303582804
RUNJOBID= node109-1303582804-20748
PBS_JOBID= 13150346
Free space on /tmp= 71372 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265188-1303582804/watcher-3265188-1303582804 -o /tmp/evaluation-result-3265188-1303582804/solver-3265188-1303582804 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3265188-1303582804.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 8c84d9b9f2d75de33656119bc03a9afb
RANDOM SEED=597463957
node109.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.809
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.61
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.809
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.809
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.74
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.809
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.809
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.809
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.809
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.809
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 14100480 kB
Buffers: 2102832 kB
Cached: 16091008 kB
SwapCached: 0 kB
Active: 9963184 kB
Inactive: 8314524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14100480 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 2080 kB
Writeback: 0 kB
AnonPages: 82976 kB
Mapped: 14796 kB
Slab: 510080 kB
PageTables: 5212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 271360 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= 71376 MiB
End job on node109 at 2011-04-23 20:41:46