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-3266728-1303587002/watcher-3266728-1303587002 -o /tmp/evaluation-result-3266728-1303587002/solver-3266728-1303587002 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3266728-1303587002.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: 3.68 3.90 3.71 3/178 23897
/proc/meminfo: memFree=21270580/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=10708 CPUtime=0 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 700 0 0 0 0 0 0 0 22 0 1 0 470299967 10964992 643 33554432000 4194304 4210924 140733259902192 18446744073709551615 237278540485 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 2677 645 136 5 0 1018 0
[startup+0.0833121 s]
/proc/loadavg: 3.68 3.90 3.71 3/178 23897
/proc/meminfo: memFree=21270580/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=13224 CPUtime=0.07 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 1858 0 0 0 7 0 0 0 22 0 1 0 470299967 13541376 1671 33554432000 4194304 4210924 140733259902192 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3306 1671 102 5 0 1777 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13224
[startup+0.100311 s]
/proc/loadavg: 3.68 3.90 3.71 3/178 23897
/proc/meminfo: memFree=21270580/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=13224 CPUtime=0.09 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 1864 0 0 0 9 0 0 0 22 0 1 0 470299967 13541376 1677 33554432000 4194304 4210924 140733259902192 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3306 1677 102 5 0 1777 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13224
[startup+0.300272 s]
/proc/loadavg: 3.68 3.90 3.71 3/178 23897
/proc/meminfo: memFree=21270580/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=13356 CPUtime=0.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 1897 0 0 0 29 0 0 0 23 0 1 0 470299967 13676544 1710 33554432000 4194304 4210924 140733259902192 18446744073709551615 4204402 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3339 1710 102 5 0 1810 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13356
[startup+0.700266 s]
/proc/loadavg: 3.68 3.90 3.71 3/178 23897
/proc/meminfo: memFree=21270580/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=13488 CPUtime=0.69 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 1943 0 0 0 69 0 0 0 25 0 1 0 470299967 13811712 1756 33554432000 4194304 4210924 140733259902192 18446744073709551615 4204923 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3372 1756 102 5 0 1843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13488
[startup+1.50107 s]
/proc/loadavg: 3.68 3.90 3.71 5/190 23920
/proc/meminfo: memFree=21009476/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=13752 CPUtime=1.49 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2003 0 0 0 149 0 0 0 25 0 1 0 470299967 14082048 1816 33554432000 4194304 4210924 140733259902192 18446744073709551615 4204576 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3438 1816 102 5 0 1909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13752
[startup+3.10079 s]
/proc/loadavg: 3.71 3.91 3.72 5/190 23921
/proc/meminfo: memFree=21006872/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=13884 CPUtime=3.09 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2036 0 0 0 309 0 0 0 25 0 1 0 470299967 14217216 1849 33554432000 4194304 4210924 140733259902192 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3471 1849 103 5 0 1942 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13884
[startup+6.30025 s]
/proc/loadavg: 3.71 3.91 3.72 5/190 23921
/proc/meminfo: memFree=21004252/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=14148 CPUtime=6.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2098 0 0 0 629 0 0 0 25 0 1 0 470299967 14487552 1911 33554432000 4194304 4210924 140733259902192 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3537 1911 103 5 0 2008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14148
[startup+12.7011 s]
/proc/loadavg: 3.75 3.91 3.72 5/190 23921
/proc/meminfo: memFree=21001652/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=14280 CPUtime=12.69 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2122 0 0 0 1269 0 0 0 25 0 1 0 470299967 14622720 1935 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3570 1935 103 5 0 2041 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14280
[startup+25.5007 s]
/proc/loadavg: 3.79 3.91 3.72 5/190 23921
/proc/meminfo: memFree=20998496/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=14544 CPUtime=25.5 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2211 0 0 0 2549 1 0 0 25 0 1 0 470299967 14893056 2024 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206996 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3636 2024 103 5 0 2107 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 14544
[startup+51.1002 s]
/proc/loadavg: 3.86 3.92 3.73 5/190 23922
/proc/meminfo: memFree=20992140/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=14936 CPUtime=51.09 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2279 0 0 0 5108 1 0 0 25 0 1 0 470299967 15294464 2092 33554432000 4194304 4210924 140733259902192 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3734 2092 103 5 0 2205 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14936
[startup+102.307 s]
/proc/loadavg: 3.94 3.93 3.74 5/190 23923
/proc/meminfo: memFree=20980468/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=15200 CPUtime=102.3 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2363 0 0 0 10229 1 0 0 25 0 1 0 470299967 15564800 2176 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3800 2176 103 5 0 2271 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15200
[startup+162.3 s]
/proc/loadavg: 3.98 3.94 3.75 5/190 23925
/proc/meminfo: memFree=20974004/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=15580 CPUtime=162.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2446 0 0 0 16228 1 0 0 25 0 1 0 470299967 15953920 2259 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3895 2259 103 5 0 2366 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15580
[startup+222.301 s]
/proc/loadavg: 4.02 3.96 3.77 5/190 23926
/proc/meminfo: memFree=20969012/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=15712 CPUtime=222.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2504 0 0 0 22228 1 0 0 25 0 1 0 470299967 16089088 2317 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3928 2317 103 5 0 2399 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 15712
[startup+282.301 s]
/proc/loadavg: 4.01 3.97 3.78 5/190 23928
/proc/meminfo: memFree=20964020/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=15976 CPUtime=282.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2557 0 0 0 28228 1 0 0 25 0 1 0 470299967 16359424 2370 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 3994 2370 103 5 0 2465 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 15976
[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.79 5/190 23930
/proc/meminfo: memFree=20959168/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=16240 CPUtime=342.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2606 0 0 0 34228 1 0 0 25 0 1 0 470299967 16629760 2419 33554432000 4194304 4210924 140733259902192 18446744073709551615 4201788 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4060 2419 103 5 0 2531 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 16240
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.80 5/190 23931
/proc/meminfo: memFree=20956040/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=16372 CPUtime=402.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2641 0 0 0 40228 1 0 0 25 0 1 0 470299967 16764928 2454 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206985 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4093 2454 103 5 0 2564 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 16372
[startup+462.301 s]
/proc/loadavg: 4.03 3.99 3.82 5/190 23933
/proc/meminfo: memFree=20952928/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=16504 CPUtime=462.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2673 0 0 0 46228 1 0 0 25 0 1 0 470299967 16900096 2486 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4126 2486 103 5 0 2597 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 16504
[startup+522.3 s]
/proc/loadavg: 4.05 4.00 3.83 5/190 23934
/proc/meminfo: memFree=20952168/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=16636 CPUtime=522.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2731 0 0 0 52228 1 0 0 25 0 1 0 470299967 17035264 2544 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4159 2544 103 5 0 2630 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 16636
[startup+582.301 s]
/proc/loadavg: 4.05 4.01 3.84 5/190 23936
/proc/meminfo: memFree=20950788/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=16768 CPUtime=582.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2763 0 0 0 58228 1 0 0 25 0 1 0 470299967 17170432 2576 33554432000 4194304 4210924 140733259902192 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4192 2576 103 5 0 2663 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 16768
[startup+642.301 s]
/proc/loadavg: 4.02 4.01 3.85 5/190 23938
/proc/meminfo: memFree=20950408/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=16888 CPUtime=642.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2772 0 0 0 64228 1 0 0 25 0 1 0 470299967 17293312 2585 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4222 2585 103 5 0 2693 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 16888
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.85 5/190 23939
/proc/meminfo: memFree=20949264/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=16888 CPUtime=702.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2799 0 0 0 70228 1 0 0 25 0 1 0 470299967 17293312 2612 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4222 2612 103 5 0 2693 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 16888
[startup+762.307 s]
/proc/loadavg: 4.05 4.01 3.86 5/190 23941
/proc/meminfo: memFree=20946388/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17020 CPUtime=762.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2829 0 0 0 76228 1 0 0 25 0 1 0 470299967 17428480 2642 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4255 2642 103 5 0 2726 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 17020
[startup+822.301 s]
/proc/loadavg: 4.02 4.01 3.87 5/190 23942
/proc/meminfo: memFree=20943752/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17152 CPUtime=822.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2857 0 0 0 82228 1 0 0 25 0 1 0 470299967 17563648 2670 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4288 2670 103 5 0 2759 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 17152
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 23944
/proc/meminfo: memFree=20941132/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17276 CPUtime=882.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2896 0 0 0 88228 1 0 0 25 0 1 0 470299967 17690624 2709 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4319 2709 103 5 0 2790 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 17276
[startup+942.301 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 23946
/proc/meminfo: memFree=20938888/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17408 CPUtime=942.28 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2924 0 0 0 94227 1 0 0 25 0 1 0 470299967 17825792 2737 33554432000 4194304 4210924 140733259902192 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4352 2737 103 5 0 2823 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 17408
[startup+1002.3 s]
/proc/loadavg: 4.04 4.01 3.89 5/190 23947
/proc/meminfo: memFree=20935884/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17540 CPUtime=1002.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2958 0 0 0 100227 2 0 0 25 0 1 0 470299967 17960960 2771 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4385 2771 103 5 0 2856 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 17540
[startup+1062.3 s]
/proc/loadavg: 4.01 4.01 3.90 5/190 23949
/proc/meminfo: memFree=20934512/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17672 CPUtime=1062.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 2979 0 0 0 106227 2 0 0 25 0 1 0 470299967 18096128 2792 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4418 2792 103 5 0 2889 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 17672
[startup+1122.3 s]
/proc/loadavg: 4.05 4.02 3.91 5/190 23950
/proc/meminfo: memFree=20933244/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17792 CPUtime=1122.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 3003 0 0 0 112227 2 0 0 25 0 1 0 470299967 18219008 2816 33554432000 4194304 4210924 140733259902192 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4448 2816 103 5 0 2919 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 17792
[startup+1182.3 s]
/proc/loadavg: 4.02 4.01 3.91 5/190 23952
/proc/meminfo: memFree=20931612/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17792 CPUtime=1182.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 3019 0 0 0 118227 2 0 0 25 0 1 0 470299967 18219008 2832 33554432000 4194304 4210924 140733259902192 18446744073709551615 4198625 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4448 2832 103 5 0 2919 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 17792
[startup+1242.3 s]
/proc/loadavg: 4.00 4.01 3.91 5/190 23954
/proc/meminfo: memFree=20930232/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=17924 CPUtime=1242.29 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 3058 0 0 0 124227 2 0 0 25 0 1 0 470299967 18354176 2871 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4481 2871 103 5 0 2952 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 17924
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.07 4.02 3.91 5/190 23955
/proc/meminfo: memFree=20929588/32950904 swapFree=67082284/67111528
[pid=23897] ppid=23895 vsize=18052 CPUtime=1300 cores=4,6
/proc/23897/stat : 23897 (saturn) R 23895 23897 23340 0 -1 4202496 3086 0 0 0 129998 2 0 0 25 0 1 0 470299967 18485248 2899 33554432000 4194304 4210924 140733259902192 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23897/statm: 4513 2899 103 5 0 2984 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 18052
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.01
CPU user time (s): 1299.98
CPU system time (s): 0.024996
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 18056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.98
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3086
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= 5
involuntary context switches= 2108
runsolver used 2.22166 second user time and 4.88826 second system time
The end
Begin job on node121 at 2011-04-23 21:30:02
IDJOB=3266728
IDBENCH=88210
IDSOLVER=1583
FILE ID=node121/3266728-1303587002
RUNJOBID= node121-1303587002-23878
PBS_JOBID= 13150356
Free space on /tmp= 72064 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p30-s39712998.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266728-1303587002/watcher-3266728-1303587002 -o /tmp/evaluation-result-3266728-1303587002/solver-3266728-1303587002 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3266728-1303587002.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 44ec8c80ea2b58be800208f5113b04f5
RANDOM SEED=1619538401
node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950904 kB
MemFree: 21271356 kB
Buffers: 2134308 kB
Cached: 8990888 kB
SwapCached: 2776 kB
Active: 8370204 kB
Inactive: 2801572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 21271356 kB
SwapTotal: 67111528 kB
SwapFree: 67082284 kB
Dirty: 3280 kB
Writeback: 0 kB
AnonPages: 43528 kB
Mapped: 13528 kB
Slab: 443568 kB
PageTables: 4776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 195516 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= 72044 MiB
End job on node121 at 2011-04-23 21:51:44