0.00/0.03 c Heuristic: AdaptG2WSAT
0.00/0.03 c Hybrid barrier : 1
0.00/0.03 c Problem instance: numAtoms = 440, numClauses = 1870, numLiterals = 5610
0.00/0.03 c General parameters: seed=1581154828, cutoff=1000000000, targetCost = 0, print solution: yes
0.00/0.03 c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 33
0.00/0.03 c tries = 1
0.00/0.03 c
runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1542378-1238532446/watcher-1542378-1238532446 -o /tmp/evaluation-result-1542378-1238532446/solver-1542378-1238532446 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM3 HOME/instance-1542378-1238532446.cnf 1581154828
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.74 1.76 1.42 3/65 21938
/proc/meminfo: memFree=1210440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=260600 CPUtime=0
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 941 0 0 0 0 0 0 0 18 0 1 0 336965394 266854400 925 1992294400 134512640 135204385 4294956224 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 65150 932 54 168 0 64980 0
[startup+0.010237 s]
/proc/loadavg: 1.74 1.76 1.42 3/65 21938
/proc/meminfo: memFree=1210440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268412 CPUtime=0
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 1194 0 0 0 0 0 0 0 18 0 1 0 336965394 274853888 1177 1992294400 134512640 135204385 4294956224 18446744073709551615 134543223 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67103 1181 56 168 0 66933 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 268412
[startup+0.101249 s]
/proc/loadavg: 1.74 1.76 1.42 3/65 21938
/proc/meminfo: memFree=1210440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268636 CPUtime=0.1
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 4649 0 0 0 8 2 0 0 18 0 1 0 336965394 275083264 4628 1992294400 134512640 135204385 4294956224 18446744073709551615 134705339 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67159 4628 70 168 0 66989 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 268636
[startup+0.301274 s]
/proc/loadavg: 1.74 1.76 1.42 3/65 21938
/proc/meminfo: memFree=1210440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268504 CPUtime=0.29
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 4744 0 0 0 27 2 0 0 19 0 1 0 336965394 274948096 4639 1992294400 134512640 135204385 4294956224 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67126 4639 84 168 0 66956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268504
[startup+0.701324 s]
/proc/loadavg: 1.74 1.76 1.42 3/65 21938
/proc/meminfo: memFree=1210440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268624 CPUtime=0.69
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 4800 0 0 0 67 2 0 0 22 0 1 0 336965394 275070976 4669 1992294400 134512640 135204385 4294956224 18446744073709551615 134537544 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67156 4669 84 168 0 66986 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268624
[startup+1.50143 s]
/proc/loadavg: 1.74 1.76 1.42 2/66 21939
/proc/meminfo: memFree=1191872/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268624 CPUtime=1.49
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 4897 0 0 0 147 2 0 0 25 0 1 0 336965394 275070976 4669 1992294400 134512640 135204385 4294956224 18446744073709551615 134537231 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67156 4669 84 168 0 66986 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268624
[startup+3.10163 s]
/proc/loadavg: 1.68 1.75 1.41 2/66 21939
/proc/meminfo: memFree=1191744/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268764 CPUtime=3.09
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 5059 0 0 0 307 2 0 0 25 0 1 0 336965394 275214336 4681 1992294400 134512640 135204385 4294956224 18446744073709551615 134572880 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67191 4681 84 168 0 67021 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268764
[startup+6.30103 s]
/proc/loadavg: 1.68 1.75 1.41 2/66 21939
/proc/meminfo: memFree=1191680/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268632 CPUtime=6.29
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 5369 0 0 0 627 2 0 0 25 0 1 0 336965394 275079168 4677 1992294400 134512640 135204385 4294956224 18446744073709551615 134537366 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67158 4677 84 168 0 66988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 268632
[startup+12.7018 s]
/proc/loadavg: 1.58 1.72 1.41 2/66 21939
/proc/meminfo: memFree=1191568/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268776 CPUtime=12.69
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 6464 0 0 0 1266 3 0 0 25 0 1 0 336965394 275226624 4691 1992294400 134512640 135204385 4294956224 18446744073709551615 134537481 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67194 4691 84 168 0 67024 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268776
[startup+25.5015 s]
/proc/loadavg: 1.49 1.70 1.40 2/66 21939
/proc/meminfo: memFree=1191568/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268784 CPUtime=25.49
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 8981 0 0 0 2545 4 0 0 25 0 1 0 336965394 275234816 4693 1992294400 134512640 135204385 4294956224 18446744073709551615 134537320 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67196 4693 84 168 0 67026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 268784
[startup+51.1017 s]
/proc/loadavg: 1.32 1.64 1.39 2/66 21939
/proc/meminfo: memFree=1191504/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268788 CPUtime=51.08
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 13997 0 0 0 5102 6 0 0 25 0 1 0 336965394 275238912 4694 1992294400 134512640 135204385 4294956224 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67197 4694 84 168 0 67027 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268788
[startup+102.305 s]
/proc/loadavg: 1.13 1.53 1.36 2/66 21939
/proc/meminfo: memFree=1191568/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268812 CPUtime=102.27
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 25275 0 0 0 10216 11 0 0 25 0 1 0 336965394 275263488 4701 1992294400 134512640 135204385 4294956224 18446744073709551615 134547678 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67203 4701 84 168 0 67033 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 268812
[startup+162.302 s]
/proc/loadavg: 1.04 1.43 1.34 2/66 21939
/proc/meminfo: memFree=1191440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268832 CPUtime=162.25
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 42543 0 0 0 16207 18 0 0 25 0 1 0 336965394 275283968 4697 1992294400 134512640 135204385 4294956224 18446744073709551615 134707414 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67208 4697 84 168 0 67038 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 268832
[startup+222.301 s]
/proc/loadavg: 1.01 1.35 1.32 2/66 21939
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268664 CPUtime=222.22
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 66437 0 0 0 22197 25 0 0 25 0 1 0 336965394 275111936 4686 1992294400 134512640 135204385 4294956224 18446744073709551615 134537299 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67166 4686 84 168 0 66996 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 268664
[startup+282.302 s]
/proc/loadavg: 1.00 1.28 1.29 2/66 21939
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=282.21
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 28191 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134537495 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 268844
[startup+342.301 s]
/proc/loadavg: 1.00 1.23 1.27 2/66 21939
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=342.2
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 34190 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134537544 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 268844
[startup+402.302 s]
/proc/loadavg: 1.00 1.19 1.25 2/66 21939
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=402.18
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 40188 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134546059 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 268844
[startup+462.302 s]
/proc/loadavg: 1.00 1.15 1.24 2/66 21939
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=462.16
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 46186 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134547366 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 268844
[startup+522.301 s]
/proc/loadavg: 1.00 1.12 1.22 2/66 21939
/proc/meminfo: memFree=1191504/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=522.14
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 52184 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 268844
[startup+582.302 s]
/proc/loadavg: 1.00 1.10 1.20 2/66 21941
/proc/meminfo: memFree=1191504/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=582.13
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 58183 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134545826 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 268844
[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.18 2/66 21941
/proc/meminfo: memFree=1191568/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=642.11
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 64181 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134537251 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 268844
[startup+702.302 s]
/proc/loadavg: 1.00 1.06 1.17 2/66 21941
/proc/meminfo: memFree=1191504/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=702.09
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 70179 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134537143 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 268844
[startup+762.305 s]
/proc/loadavg: 1.00 1.05 1.16 2/66 21941
/proc/meminfo: memFree=1191440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=762.08
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 76178 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134537539 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 268844
[startup+822.301 s]
/proc/loadavg: 1.00 1.03 1.15 2/66 21947
/proc/meminfo: memFree=1191368/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=822.05
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 82175 30 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134546089 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 268844
[startup+882.302 s]
/proc/loadavg: 1.00 1.03 1.14 2/66 21947
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=882.05
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 88174 31 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134537320 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 268844
[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.12 2/66 21947
/proc/meminfo: memFree=1191440/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=942.03
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 94172 31 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134545862 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 268844
[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/66 21947
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=1002.01
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 100170 31 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134547462 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 268844
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/66 21947
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=1062
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 106169 31 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134547775 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 268844
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 21947
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=1121.98
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 112167 31 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134546153 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 268844
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 21947
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=1181.96
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 118165 31 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134536663 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 268844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 21947
/proc/meminfo: memFree=1191376/2055920 swapFree=4191900/4192956
[pid=21938] ppid=21936 vsize=268844 CPUtime=1200.06
/proc/21938/stat : 21938 (hybridGM3) R 21936 21938 21901 0 -1 4194304 76960 0 0 0 119975 31 0 0 25 0 1 0 336965394 275296256 4715 1992294400 134512640 135204385 4294956224 18446744073709551615 134537481 0 0 4096 0 0 0 0 17 1 0 0
/proc/21938/statm: 67211 4715 84 168 0 67041 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 268844
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): 1200.41
CPU time (s): 1200.07
CPU user time (s): 1199.76
CPU system time (s): 0.315951
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 268864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.76
system time used= 0.315951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76960
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= 2
involuntary context switches= 2516
runsolver used 1.41378 second user time and 2.96255 second system time
The end
Begin job on node54 at 2009-03-31 22:47:26
IDJOB=1542378
IDBENCH=70593
IDSOLVER=534
FILE ID=node54/1542378-1238532446
PBS_JOBID= 9062071
Free space on /tmp= 66492 MiB
SOLVER NAME= hybridGM3 3
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/440/unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
COMMAND LINE= HOME/hybridGM3 BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1542378-1238532446/watcher-1542378-1238532446 -o /tmp/evaluation-result-1542378-1238532446/solver-1542378-1238532446 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM3 HOME/instance-1542378-1238532446.cnf 1581154828
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 690a5fe43a37275cc4c39d3d0d23f423
RANDOM SEED=1581154828
node54.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1210856 kB
Buffers: 95400 kB
Cached: 651320 kB
SwapCached: 260 kB
Active: 285800 kB
Inactive: 476008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1210856 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 1172 kB
Writeback: 0 kB
Mapped: 23648 kB
Slab: 69164 kB
Committed_AS: 1034292 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66492 MiB
End job on node54 at 2009-03-31 23:07:29