0.00/0.00 c Parsing...
0.00/0.00 c ==============================================================================
0.00/0.00 c | | ORIGINAL | LEARNT | |
0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.00 c ==============================================================================
0.00/0.00 c | 0 | 6799 17665 | 2039 0 0 nan | 0.000 % |
0.00/0.03 c | 0 | 5732 16991 | -- 0 -- -- | -- | -1017/-571
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1384 #clauses: 5732 #literals: 16991
0.00/0.03 c CPU time: 0.035994 s
0.00/0.03 c ==============================================================================
0.00/0.04 c Rsat version 2.00
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node74/watcher-355660-1176784452 -o ROOT/results/node74/solver-355660-1176784452 -C 10000 -W -M --output-limit 1,15 /tmp/evaluation/355660-1176784452/rsat.sh /tmp/evaluation/355660-1176784452/instance-355660-1176784452.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 0 seconds
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: 0.67 0.92 0.97 3/66 10089
/proc/meminfo: memFree=1723968/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 126359931 5480448 232 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10089/statm: 1338 232 195 169 0 49 0
[pid=10090] ppid=10089 vsize=956 CPUtime=0
/proc/10090/stat : 10090 (SatElite) R 10089 10089 9992 0 -1 4194304 148 0 0 0 0 0 0 0 19 0 1 0 126359931 978944 130 18446744073709551615 134512640 135038345 4294956736 18446744073709551615 134699389 0 0 4096 3 0 0 0 17 1 0 0
/proc/10090/statm: 239 131 50 128 0 108 0
[startup+0.058629 s]
/proc/loadavg: 0.67 0.92 0.97 3/66 10089
/proc/meminfo: memFree=1723968/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+0.101634 s]
/proc/loadavg: 0.67 0.92 0.97 3/66 10089
/proc/meminfo: memFree=1723968/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+0.301655 s]
/proc/loadavg: 0.67 0.92 0.97 3/66 10089
/proc/meminfo: memFree=1723968/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+0.701702 s]
/proc/loadavg: 0.67 0.92 0.97 3/66 10089
/proc/meminfo: memFree=1723968/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+1.50179 s]
/proc/loadavg: 0.67 0.92 0.97 2/68 10092
/proc/meminfo: memFree=1721712/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=2952 CPUtime=1.44
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 601 0 0 0 144 0 0 0 25 0 1 0 126359936 3022848 555 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522843 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 738 555 86 211 0 524 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8304
[startup+3.10198 s]
/proc/loadavg: 0.67 0.92 0.97 2/68 10092
/proc/meminfo: memFree=1720816/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=4132 CPUtime=3.04
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 964 0 0 0 304 0 0 0 25 0 1 0 126359936 4231168 853 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522843 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 1033 853 86 211 0 819 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9484
[startup+6.30135 s]
/proc/loadavg: 0.70 0.92 0.97 2/68 10092
/proc/meminfo: memFree=1719408/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=5540 CPUtime=6.24
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 1377 0 0 0 624 0 0 0 25 0 1 0 126359936 5672960 1169 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134527787 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 1385 1170 86 211 0 1171 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10892
[startup+12.7021 s]
/proc/loadavg: 0.72 0.92 0.97 2/68 10092
/proc/meminfo: memFree=1717176/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=7344 CPUtime=12.64
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 2064 0 0 0 1263 1 0 0 25 0 1 0 126359936 7520256 1660 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134525908 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 1836 1660 86 211 0 1622 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12696
[startup+25.5016 s]
/proc/loadavg: 0.78 0.92 0.97 2/68 10092
/proc/meminfo: memFree=1714808/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=9780 CPUtime=25.44
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 2914 0 0 0 2542 2 0 0 25 0 1 0 126359936 10014720 2216 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 2445 2216 86 211 0 2231 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15132
[startup+51.1015 s]
/proc/loadavg: 0.86 0.93 0.97 2/68 10092
/proc/meminfo: memFree=1711160/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=13260 CPUtime=51.03
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 4218 0 0 0 5100 3 0 0 25 0 1 0 126359936 13578240 3132 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 3315 3132 86 211 0 3101 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18612
[startup+102.305 s]
/proc/loadavg: 0.94 0.94 0.97 2/68 10092
/proc/meminfo: memFree=1707448/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=17328 CPUtime=102.21
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 6053 0 0 0 10217 4 0 0 25 0 1 0 126359936 17743872 4001 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134523235 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 4332 4001 86 211 0 4118 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22680
[startup+162.301 s]
/proc/loadavg: 0.97 0.95 0.97 2/68 10092
/proc/meminfo: memFree=1700536/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=23808 CPUtime=162.2
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 8541 0 0 0 16213 7 0 0 25 0 1 0 126359936 24379392 5717 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 5952 5717 86 211 0 5738 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29160
[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/68 10092
/proc/meminfo: memFree=1700536/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=23808 CPUtime=222.19
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 8557 0 0 0 22212 7 0 0 25 0 1 0 126359936 24379392 5733 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 5952 5733 86 211 0 5738 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29160
[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/68 10094
/proc/meminfo: memFree=1694456/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=31380 CPUtime=282.16
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 10476 0 0 0 28208 8 0 0 25 0 1 0 126359936 32133120 7266 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 7845 7266 86 211 0 7631 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 36732
[startup+342.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/68 10094
/proc/meminfo: memFree=1689976/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=35076 CPUtime=342.15
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 13192 0 0 0 34205 10 0 0 25 0 1 0 126359936 35917824 8311 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 8769 8311 86 211 0 8555 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 40428
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/68 10094
/proc/meminfo: memFree=1689976/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=35076 CPUtime=402.13
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 13192 0 0 0 40203 10 0 0 25 0 1 0 126359936 35917824 8311 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 8769 8311 86 211 0 8555 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 40428
################
# More data... #
################
/proc/10092/statm: 38772 37163 86 211 0 38558 0
Current children cumulated CPU time (s) 9339.51
Current children cumulated vsize (KiB) 160440
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1572856/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=155088 CPUtime=9399.44
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 72317 0 0 0 939867 77 0 0 25 0 1 0 126359936 158810112 37211 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 38772 37211 86 211 0 38558 0
Current children cumulated CPU time (s) 9399.48
Current children cumulated vsize (KiB) 160440
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1572792/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=155088 CPUtime=9459.43
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 72338 0 0 0 945866 77 0 0 25 0 1 0 126359936 158810112 37232 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134529762 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 38772 37232 86 211 0 38558 0
Current children cumulated CPU time (s) 9459.47
Current children cumulated vsize (KiB) 160440
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1572472/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=156112 CPUtime=9519.41
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 72648 0 0 0 951864 77 0 0 25 0 1 0 126359936 159858688 37284 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522871 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39028 37284 86 211 0 38814 0
Current children cumulated CPU time (s) 9519.45
Current children cumulated vsize (KiB) 161464
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1572408/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=156112 CPUtime=9579.4
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 72704 0 0 0 957862 78 0 0 25 0 1 0 126359936 159858688 37340 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522788 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39028 37340 86 211 0 38814 0
Current children cumulated CPU time (s) 9579.44
Current children cumulated vsize (KiB) 161464
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1572152/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=156624 CPUtime=9639.38
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 72850 0 0 0 963860 78 0 0 25 0 1 0 126359936 160382976 37357 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39156 37357 86 211 0 38942 0
Current children cumulated CPU time (s) 9639.42
Current children cumulated vsize (KiB) 161976
[startup+9702.3 s]
/proc/loadavg: 1.03 1.01 0.99 2/68 10692
/proc/meminfo: memFree=1572152/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=156624 CPUtime=9699.37
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 72850 0 0 0 969859 78 0 0 25 0 1 0 126359936 160382976 37357 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39156 37357 86 211 0 38942 0
Current children cumulated CPU time (s) 9699.41
Current children cumulated vsize (KiB) 161976
[startup+9762.3 s]
/proc/loadavg: 1.01 1.01 0.99 2/68 10692
/proc/meminfo: memFree=1572024/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=156624 CPUtime=9759.35
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 72908 0 0 0 975857 78 0 0 25 0 1 0 126359936 160382976 37415 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39156 37415 86 211 0 38942 0
Current children cumulated CPU time (s) 9759.39
Current children cumulated vsize (KiB) 161976
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1571320/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=158168 CPUtime=9819.33
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 73294 0 0 0 981855 78 0 0 25 0 1 0 126359936 161964032 37543 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522813 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39542 37543 86 211 0 39328 0
Current children cumulated CPU time (s) 9819.37
Current children cumulated vsize (KiB) 163520
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1571448/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=158168 CPUtime=9879.33
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 73306 0 0 0 987854 79 0 0 25 0 1 0 126359936 161964032 37555 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522898 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39542 37555 86 211 0 39328 0
Current children cumulated CPU time (s) 9879.37
Current children cumulated vsize (KiB) 163520
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1571384/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=158168 CPUtime=9939.31
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 73321 0 0 0 993852 79 0 0 25 0 1 0 126359936 161964032 37570 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39542 37570 86 211 0 39328 0
Current children cumulated CPU time (s) 9939.35
Current children cumulated vsize (KiB) 163520
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1571000/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=158940 CPUtime=9999.29
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 73519 0 0 0 999850 79 0 0 25 0 1 0 126359936 162754560 37638 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39735 37638 86 211 0 39521 0
Current children cumulated CPU time (s) 9999.33
Current children cumulated vsize (KiB) 164292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 0.99 2/68 10692
/proc/meminfo: memFree=1571000/2055920 swapFree=4183056/4192956
[pid=10089] ppid=10087 vsize=5352 CPUtime=0.04
/proc/10089/stat : 10089 (rsat.sh) S 10087 10089 9992 0 -1 4194304 305 374 0 0 0 0 4 0 16 0 1 0 126359931 5480448 234 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10089/statm: 1338 234 195 169 0 49 0
[pid=10092] ppid=10089 vsize=158940 CPUtime=9999.99
/proc/10092/stat : 10092 (rsat) R 10089 10089 9992 0 -1 4194304 73519 0 0 0 999920 79 0 0 25 0 1 0 126359936 162754560 37638 18446744073709551615 134512640 135377749 4294956832 18446744073709551615 134522833 0 0 4096 1026 0 0 0 17 1 0 0
/proc/10092/statm: 39735 37638 86 211 0 39521 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 164292
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10089 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=45993
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.047992
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003
CPU time (s): 10000
CPU user time (s): 9999.24
CPU system time (s): 0.79
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 188124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.045993
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679
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= 15
involuntary context switches= 3
runsolver used 10.0965 second user time and 26.284 second system time
The end
Begin job on node74 on Tue Apr 17 04:34:12 UTC 2007
IDJOB= 355660
IDBENCH= 20470
IDSOLVER= 169
FILE ID= node74/355660-1176784452
PBS_JOBID= 4580855
Free space on /tmp= 103226 MiB
SOLVER NAME= Rsat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/jarvisalo/eq.atree.braun.13.unsat.cnf
COMMAND LINE= /tmp/evaluation/355660-1176784452/rsat.sh /tmp/evaluation/355660-1176784452/instance-355660-1176784452.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-355660-1176784452 -o ROOT/results/node74/solver-355660-1176784452 -C 10000 -W -M --output-limit 1,15 /tmp/evaluation/355660-1176784452/rsat.sh /tmp/evaluation/355660-1176784452/instance-355660-1176784452.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 8ca1246723b65c8e0ae1eddb535ce13f
RANDOM SEED= 240295821
TIME LIMIT= 10000 seconds
MEMORY LIMIT= MiB
Linux node74.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.213
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.213
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: 1724376 kB
Buffers: 28912 kB
Cached: 251704 kB
SwapCached: 3760 kB
Active: 179024 kB
Inactive: 111892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1724376 kB
SwapTotal: 4192956 kB
SwapFree: 4183056 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 15588 kB
Slab: 26388 kB
Committed_AS: 1939364 kB
PageTables: 1480 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= 103226 MiB
End job on node74 on Tue Apr 17 07:20:57 UTC 2007