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-3284961-1303770533/watcher-3284961-1303770533 -o /tmp/evaluation-result-3284961-1303770533/solver-3284961-1303770533 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3284961-1303770533.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.76 3.94 3.90 3/184 11731
/proc/meminfo: memFree=20791704/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=77484 CPUtime=0 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 3539 0 0 0 0 0 0 0 23 0 1 0 488653180 79343616 3483 33554432000 4194304 4210924 140735248633760 18446744073709551615 4201563 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 19371 3491 94 5 0 10160 0
[startup+0.0196001 s]
/proc/loadavg: 3.76 3.94 3.90 3/184 11731
/proc/meminfo: memFree=20791704/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=77484 CPUtime=0.01 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 8696 0 0 0 1 0 0 0 23 0 1 0 488653180 79343616 8639 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206826 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 19371 8653 94 5 0 10160 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 77484
[startup+0.100582 s]
/proc/loadavg: 3.76 3.94 3.90 3/184 11731
/proc/meminfo: memFree=20791704/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=191696 CPUtime=0.09 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 16349 0 0 0 8 1 0 0 24 0 1 0 488653180 196296704 16292 33554432000 4194304 4210924 140735248633760 18446744073709551615 237278540485 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 47924 16295 741 5 0 38713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 191696
[startup+0.300546 s]
/proc/loadavg: 3.76 3.94 3.90 3/184 11731
/proc/meminfo: memFree=20791704/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=230636 CPUtime=0.29 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 31799 0 0 0 27 2 0 0 25 0 1 0 488653180 236171264 31742 33554432000 4194304 4210924 140735248633760 18446744073709551615 237278540485 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 57659 31745 2506 5 0 48448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 230636
[startup+0.700524 s]
/proc/loadavg: 3.76 3.94 3.90 3/184 11731
/proc/meminfo: memFree=20791704/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=305480 CPUtime=0.69 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 61831 0 0 0 63 6 0 0 25 0 1 0 488653180 312811520 61774 33554432000 4194304 4210924 140735248633760 18446744073709551615 237278540485 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76370 61777 6278 5 0 67159 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 305480
[startup+1.50039 s]
/proc/loadavg: 3.76 3.94 3.90 5/187 11759
/proc/meminfo: memFree=20214708/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=304452 CPUtime=1.49 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 74728 0 0 0 141 8 0 0 25 0 1 0 488653180 311758848 66580 33554432000 4194304 4210924 140735248633760 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76113 66580 96 5 0 74584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 304452
[startup+3.10112 s]
/proc/loadavg: 3.78 3.94 3.90 5/190 11765
/proc/meminfo: memFree=19919964/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=304596 CPUtime=3.09 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 74803 0 0 0 301 8 0 0 25 0 1 0 488653180 311906304 66645 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206996 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76149 66645 97 5 0 74620 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 304596
[startup+6.30048 s]
/proc/loadavg: 3.78 3.94 3.90 5/190 11765
/proc/meminfo: memFree=19301524/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=304728 CPUtime=6.29 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 74848 0 0 0 621 8 0 0 25 0 1 0 488653180 312041472 66690 33554432000 4194304 4210924 140735248633760 18446744073709551615 4201865 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76182 66690 97 5 0 74653 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 304728
[startup+12.7003 s]
/proc/loadavg: 3.80 3.94 3.90 5/190 11765
/proc/meminfo: memFree=19305696/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=304864 CPUtime=12.69 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 74875 0 0 0 1261 8 0 0 25 0 1 0 488653180 312180736 66717 33554432000 4194304 4210924 140735248633760 18446744073709551615 4201862 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76216 66717 97 5 0 74687 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 304864
[startup+25.5011 s]
/proc/loadavg: 3.84 3.94 3.91 5/190 11765
/proc/meminfo: memFree=19305464/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=304864 CPUtime=25.49 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 74875 0 0 0 2541 8 0 0 25 0 1 0 488653180 312180736 66717 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76216 66717 97 5 0 74687 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 304864
[startup+51.1006 s]
/proc/loadavg: 3.89 3.95 3.91 5/190 11766
/proc/meminfo: memFree=19303528/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=304992 CPUtime=51.09 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 74919 0 0 0 5101 8 0 0 25 0 1 0 488653180 312311808 66761 33554432000 4194304 4210924 140735248633760 18446744073709551615 4197100 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76248 66761 98 5 0 74719 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 304992
[startup+102.306 s]
/proc/loadavg: 3.96 3.95 3.91 5/190 11767
/proc/meminfo: memFree=19292164/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=307604 CPUtime=102.29 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 75995 0 0 0 10221 8 0 0 25 0 1 0 488653180 314986496 67782 33554432000 4194304 4210924 140735248633760 18446744073709551615 4205278 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 76901 67782 104 5 0 75372 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 307604
[startup+162.301 s]
/proc/loadavg: 4.03 3.97 3.91 5/190 11769
/proc/meminfo: memFree=19266716/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=323784 CPUtime=162.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 80310 0 0 0 16221 9 0 0 25 0 1 0 488653180 331554816 71967 33554432000 4194304 4210924 140735248633760 18446744073709551615 4204918 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 80946 71967 104 5 0 79417 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 323784
[startup+222.301 s]
/proc/loadavg: 4.01 3.97 3.91 5/190 11771
/proc/meminfo: memFree=19243876/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=335640 CPUtime=222.29 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 83296 0 0 0 22220 9 0 0 25 0 1 0 488653180 343695360 74938 33554432000 4194304 4210924 140735248633760 18446744073709551615 4200055 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 83910 74938 104 5 0 82381 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 335640
[startup+282.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11772
/proc/meminfo: memFree=19158052/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=415860 CPUtime=282.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 103991 0 0 0 28218 12 0 0 25 0 1 0 488653180 425840640 95038 33554432000 4194304 4210924 140735248633760 18446744073709551615 4198585 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 103965 95038 105 5 0 102436 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 415860
[startup+342.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11774
/proc/meminfo: memFree=19151832/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=420748 CPUtime=342.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 106160 0 0 0 34217 13 0 0 25 0 1 0 488653180 430845952 96288 33554432000 4194304 4210924 140735248633760 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 105187 96288 105 5 0 103658 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 420748
[startup+402.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11775
/proc/meminfo: memFree=19149444/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=420736 CPUtime=402.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 106160 0 0 0 40217 13 0 0 25 0 1 0 488653180 430833664 96285 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 105184 96285 105 5 0 103655 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 420736
[startup+462.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11777
/proc/meminfo: memFree=19146448/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=420412 CPUtime=462.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 106187 0 0 0 46217 13 0 0 25 0 1 0 488653180 430501888 96204 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206996 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 105103 96204 105 5 0 103574 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 420412
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11779
/proc/meminfo: memFree=19145052/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=420412 CPUtime=522.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 106187 0 0 0 52217 13 0 0 25 0 1 0 488653180 430501888 96204 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 105103 96204 105 5 0 103574 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 420412
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11780
/proc/meminfo: memFree=19152092/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=412924 CPUtime=582.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 106306 0 0 0 58217 13 0 0 25 0 1 0 488653180 422834176 94334 33554432000 4194304 4210924 140735248633760 18446744073709551615 4198726 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 103231 94334 105 5 0 101702 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 412924
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11782
/proc/meminfo: memFree=19145128/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=413656 CPUtime=642.31 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 106462 0 0 0 64218 13 0 0 25 0 1 0 488653180 423583744 94485 33554432000 4194304 4210924 140735248633760 18446744073709551615 4198597 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 103414 94485 105 5 0 101885 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 413656
[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11783
/proc/meminfo: memFree=19134308/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=419876 CPUtime=702.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 108352 0 0 0 70217 13 0 0 25 0 1 0 488653180 429953024 96067 33554432000 4194304 4210924 140735248633760 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 104969 96067 105 5 0 103440 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 419876
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11785
/proc/meminfo: memFree=19134044/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=419700 CPUtime=762.31 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 108367 0 0 0 76218 13 0 0 25 0 1 0 488653180 429772800 96024 33554432000 4194304 4210924 140735248633760 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 104925 96024 105 5 0 103396 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 419700
[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11787
/proc/meminfo: memFree=19112328/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=436816 CPUtime=822.3 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 112680 0 0 0 82216 14 0 0 25 0 1 0 488653180 447299584 100288 33554432000 4194304 4210924 140735248633760 18446744073709551615 4207051 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 109204 100288 105 5 0 107675 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 436816
[startup+882.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11788
/proc/meminfo: memFree=19083416/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=462336 CPUtime=882.31 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 119134 0 0 0 88215 16 0 0 25 0 1 0 488653180 473432064 106689 33554432000 4194304 4210924 140735248633760 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 115584 106689 105 5 0 114055 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 462336
[startup+942.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11790
/proc/meminfo: memFree=19077820/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=462228 CPUtime=942.31 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 119138 0 0 0 94215 16 0 0 25 0 1 0 488653180 473321472 106662 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 115557 106662 105 5 0 114028 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 462228
[startup+1002.3 s]
/proc/loadavg: 4.00 3.97 3.91 5/190 11791
/proc/meminfo: memFree=19073952/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=461892 CPUtime=1002.28 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 119161 0 0 0 100212 16 0 0 25 0 1 0 488653180 472977408 106579 33554432000 4194304 4210924 140735248633760 18446744073709551615 4198674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 115473 106579 105 5 0 113944 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 461892
[startup+1062.3 s]
/proc/loadavg: 4.06 3.99 3.92 5/190 11793
/proc/meminfo: memFree=19071588/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=463424 CPUtime=1062.28 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 119536 0 0 0 106212 16 0 0 25 0 1 0 488653180 474546176 106930 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 115856 106930 105 5 0 114327 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 463424
[startup+1122.3 s]
/proc/loadavg: 4.02 3.99 3.92 5/190 11795
/proc/meminfo: memFree=19068456/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=464632 CPUtime=1122.28 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 119871 0 0 0 112212 16 0 0 25 0 1 0 488653180 475783168 107254 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 116158 107254 105 5 0 114629 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 464632
[startup+1182.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/190 11796
/proc/meminfo: memFree=19056888/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=477816 CPUtime=1182.29 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 123188 0 0 0 118212 17 0 0 25 0 1 0 488653180 489283584 110541 33554432000 4194304 4210924 140735248633760 18446744073709551615 4199385 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 119454 110541 105 5 0 117925 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 477816
[startup+1242.3 s]
/proc/loadavg: 4.00 3.99 3.92 5/190 11798
/proc/meminfo: memFree=19050664/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=481304 CPUtime=1242.29 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 124125 0 0 0 124212 17 0 0 25 0 1 0 488653180 492855296 111433 33554432000 4194304 4210924 140735248633760 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 120326 111433 105 5 0 118797 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 481304
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.92 4/188 11800
/proc/meminfo: memFree=19353344/32950904 swapFree=67082284/67111528
[pid=11731] ppid=11729 vsize=485264 CPUtime=1299.99 cores=4,6
/proc/11731/stat : 11731 (saturn) R 11729 11731 11530 0 -1 4202496 125133 0 0 0 129982 17 0 0 25 0 1 0 488653180 496910336 112407 33554432000 4194304 4210924 140735248633760 18446744073709551615 4207055 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11731/statm: 121316 112407 105 5 0 119787 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 485264
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.03
CPU time (s): 1300.02
CPU user time (s): 1299.83
CPU system time (s): 0.19597
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 485264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.83
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125133
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= 4
involuntary context switches= 2066
runsolver used 2.10568 second user time and 5.01024 second system time
The end
Begin job on node121 at 2011-04-26 00:28:54
IDJOB=3284961
IDBENCH=82368
IDSOLVER=1583
FILE ID=node121/3284961-1303770533
RUNJOBID= node121-1303769231-11549
PBS_JOBID= 13157167
Free space on /tmp= 71964 MiB
SOLVER NAME= Black Hole SAT 2011-03-08
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf
COMMAND LINE= saturn BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284961-1303770533/watcher-3284961-1303770533 -o /tmp/evaluation-result-3284961-1303770533/solver-3284961-1303770533 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3284961-1303770533.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= f7484730351dc4088fd78fcb35b09c62
RANDOM SEED=1528475615
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: 20792356 kB
Buffers: 2146708 kB
Cached: 9367268 kB
SwapCached: 2776 kB
Active: 8682632 kB
Inactive: 2963040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 20792356 kB
SwapTotal: 67111528 kB
SwapFree: 67082284 kB
Dirty: 115004 kB
Writeback: 120 kB
AnonPages: 129360 kB
Mapped: 22704 kB
Slab: 448280 kB
PageTables: 5124 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 429544 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 node121 at 2011-04-26 00:50:36