0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 7478 20939 | 2243 0 0 nan | 0.000 % |
0.00/0.04 c | 0 | 7014 20888 | -- 0 -- -- | -- | -464/-51
0.00/0.04 c ==============================================================================
0.00/0.04 c Result : #vars: 2060 #clauses: 7014 #literals: 20888
0.00/0.04 c CPU time: 0.038994 s
0.00/0.04 c ==============================================================================
0.00/0.05 c Rsat version 2.00
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-312009-1172580329 -o ROOT/results/node42/solver-312009-1172580329 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/312009-1172580329/rsat.sh /tmp/evaluation/312009-1172580329/instance-312009-1172580329.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.02 1.01 1.00 2/64 11101
/proc/meminfo: memFree=1813064/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0
/proc/11101/stat : 11101 (rsat.sh) R 11099 11101 10158 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 277988934 5480448 230 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259414747635 0 0 4100 65536 0 0 0 17 0 0 0
/proc/11101/statm: 1338 231 194 169 0 49 0
[startup+0.107369 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 11101
/proc/meminfo: memFree=1813064/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+0.515444 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 11101
/proc/meminfo: memFree=1813064/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5352
[startup+1.3366 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 11104
/proc/meminfo: memFree=1810936/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=2928 CPUtime=1.27
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 610 0 0 0 127 0 0 0 25 0 1 0 277988939 2998272 580 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 732 580 86 211 0 518 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 8280
[startup+2.97592 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 11104
/proc/meminfo: memFree=1809848/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=3744 CPUtime=2.9
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 801 0 0 0 290 0 0 0 25 0 1 0 277988939 3833856 755 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522860 0 0 4096 1026 0 0 0 17 1 0 0
/proc/11104/statm: 936 755 86 211 0 722 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 9096
[startup+6.25954 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 11104
/proc/meminfo: memFree=1807736/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=5556 CPUtime=6.18
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 1516 0 0 0 618 0 0 0 25 0 1 0 277988939 5689344 1176 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134530216 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 1389 1176 86 211 0 1175 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10908
[startup+12.7198 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 11104
/proc/meminfo: memFree=1805440/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=7864 CPUtime=12.64
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 2311 0 0 0 1263 1 0 0 25 0 1 0 277988939 8052736 1775 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 1966 1775 86 211 0 1752 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13216
[startup+25.6042 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 11104
/proc/meminfo: memFree=1802752/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=10812 CPUtime=25.52
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 3497 0 0 0 2550 2 0 0 25 0 1 0 277988939 11071488 2475 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134529186 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 2703 2475 86 211 0 2489 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 16164
[startup+51.2391 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1798080/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=15676 CPUtime=51.13
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 5156 0 0 0 5109 4 0 0 25 0 1 0 277988939 16052224 3746 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 3919 3746 86 211 0 3705 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 21028
[startup+102.505 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1791168/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=22716 CPUtime=102.36
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 7740 0 0 0 10230 6 0 0 25 0 1 0 277988939 23261184 5364 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 5679 5364 86 211 0 5465 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 28068
[startup+162.591 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1781312/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=33392 CPUtime=162.41
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 12104 0 0 0 16231 10 0 0 25 0 1 0 277988939 34193408 7802 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522833 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 8348 7802 86 211 0 8134 0
Current children cumulated CPU time (s) 162.45
Current children cumulated vsize (KiB) 38744
[startup+222.674 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1780544/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=34292 CPUtime=222.44
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 12365 0 0 0 22234 10 0 0 25 0 1 0 277988939 35115008 8063 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 8573 8063 86 211 0 8359 0
Current children cumulated CPU time (s) 222.48
Current children cumulated vsize (KiB) 39644
[startup+282.751 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1770176/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=44196 CPUtime=282.47
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 14953 0 0 0 28235 12 0 0 25 0 1 0 277988939 45256704 10651 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 11049 10651 86 211 0 10835 0
Current children cumulated CPU time (s) 282.51
Current children cumulated vsize (KiB) 49548
[startup+342.831 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1767168/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=46652 CPUtime=342.52
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 17185 0 0 0 34239 13 0 0 25 0 1 0 277988939 47771648 11321 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 11663 11321 86 211 0 11449 0
Current children cumulated CPU time (s) 342.56
Current children cumulated vsize (KiB) 52004
[startup+402.915 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1767232/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=46652 CPUtime=402.56
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 17186 0 0 0 40243 13 0 0 25 0 1 0 277988939 47771648 11322 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134523251 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 11663 11322 86 211 0 11449 0
Current children cumulated CPU time (s) 402.6
Current children cumulated vsize (KiB) 52004
[startup+462.999 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1766976/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=47164 CPUtime=462.61
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 17298 0 0 0 46247 14 0 0 25 0 1 0 277988939 48295936 11434 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522833 0 0 4096 1026 0 0 0 17 1 0 0
/proc/11104/statm: 11791 11434 86 211 0 11577 0
Current children cumulated CPU time (s) 462.65
Current children cumulated vsize (KiB) 52516
[startup+523.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1758336/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=55408 CPUtime=522.65
################
# More data... #
################
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=65348 CPUtime=582.69
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 22028 0 0 0 58249 20 0 0 25 0 1 0 277988939 66916352 15394 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 16337 15394 86 211 0 16123 0
Current children cumulated CPU time (s) 582.73
Current children cumulated vsize (KiB) 70700
[startup+643.243 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1745088/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=71084 CPUtime=642.73
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 23516 0 0 0 64251 22 0 0 25 0 1 0 277988939 72790016 16882 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 17771 16882 86 211 0 17557 0
Current children cumulated CPU time (s) 642.77
Current children cumulated vsize (KiB) 76436
[startup+703.334 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1744064/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=71732 CPUtime=702.77
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 26840 0 0 0 70254 23 0 0 25 0 1 0 277988939 73453568 17086 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 17933 17086 86 211 0 17719 0
Current children cumulated CPU time (s) 702.81
Current children cumulated vsize (KiB) 77084
[startup+763.416 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1744000/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=71732 CPUtime=762.81
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 26840 0 0 0 76258 23 0 0 25 0 1 0 277988939 73453568 17086 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 17933 17086 86 211 0 17719 0
Current children cumulated CPU time (s) 762.85
Current children cumulated vsize (KiB) 77084
[startup+823.505 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1744064/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=71732 CPUtime=822.86
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 26844 0 0 0 82263 23 0 0 25 0 1 0 277988939 73453568 17090 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134523294 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 17933 17090 86 211 0 17719 0
Current children cumulated CPU time (s) 822.9
Current children cumulated vsize (KiB) 77084
[startup+883.589 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11104
/proc/meminfo: memFree=1744000/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=71732 CPUtime=882.9
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 26846 0 0 0 88267 23 0 0 25 0 1 0 277988939 73453568 17092 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 17933 17092 86 211 0 17719 0
Current children cumulated CPU time (s) 882.94
Current children cumulated vsize (KiB) 77084
[startup+943.679 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11176
/proc/meminfo: memFree=1742672/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=71732 CPUtime=942.94
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 26847 0 0 0 94268 26 0 0 25 0 1 0 277988939 73453568 17093 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 17933 17093 86 211 0 17719 0
Current children cumulated CPU time (s) 942.98
Current children cumulated vsize (KiB) 77084
[startup+1003.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11272
/proc/meminfo: memFree=1742608/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=71988 CPUtime=1002.92
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 26919 0 0 0 100255 37 0 0 25 0 1 0 277988939 73715712 17165 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 17997 17165 86 211 0 17783 0
Current children cumulated CPU time (s) 1002.96
Current children cumulated vsize (KiB) 77340
[startup+1063.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11302
/proc/meminfo: memFree=1737536/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=77784 CPUtime=1062.96
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 28472 0 0 0 106256 40 0 0 25 0 1 0 277988939 79650816 18718 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 19446 18718 86 211 0 19232 0
Current children cumulated CPU time (s) 1063
Current children cumulated vsize (KiB) 83136
[startup+1123.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11302
/proc/meminfo: memFree=1731904/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=83380 CPUtime=1123
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 29886 0 0 0 112259 41 0 0 25 0 1 0 277988939 85381120 20132 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522794 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 20845 20132 86 211 0 20631 0
Current children cumulated CPU time (s) 1123.04
Current children cumulated vsize (KiB) 88732
[startup+1183.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11302
/proc/meminfo: memFree=1726976/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=88196 CPUtime=1183.04
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 31126 0 0 0 118261 43 0 0 25 0 1 0 277988939 90312704 21372 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522801 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 22049 21372 86 211 0 21835 0
Current children cumulated CPU time (s) 1183.08
Current children cumulated vsize (KiB) 93548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11302
/proc/meminfo: memFree=1725632/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=89508 CPUtime=1200.04
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 31456 0 0 0 119961 43 0 0 25 0 1 0 277988939 91656192 21702 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522788 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 22377 21702 86 211 0 22163 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 94860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11302
/proc/meminfo: memFree=1725632/2055920 swapFree=4182516/4192956
[pid=11101] ppid=11099 vsize=5352 CPUtime=0.04
/proc/11101/stat : 11101 (rsat.sh) S 11099 11101 10158 0 -1 4194304 305 401 0 0 0 0 4 0 17 0 1 0 277988934 5480448 234 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1338 234 195 169 0 49 0
[pid=11104] ppid=11101 vsize=89508 CPUtime=1200.04
/proc/11104/stat : 11104 (rsat) R 11101 11101 10158 0 -1 4194304 31456 0 0 0 119961 43 0 0 25 0 1 0 277988939 91656192 21702 18446744073709551615 134512640 135377749 4294956864 18446744073709551615 134522788 0 0 4096 1026 0 0 0 17 0 0 0
/proc/11104/statm: 22377 21702 86 211 0 22163 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 94860
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 11101 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=49992 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999
CPU time returned by wait4() is 0.050991
while last known CPU time is 1200.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1200.96
CPU time (s): 1200.08
CPU user time (s): 1199.65
CPU system time (s): 0.43
CPU usage (%): 99.9268
Max. virtual memory (cumulated for all children) (KiB): 94860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.049992
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706
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 1.06584 second user time and 3.20451 second system time
The end
Begin job on node42 on Tue Feb 27 12:45:29 UTC 2007
IDJOB= 312009
IDBENCH= 20330
IDSOLVER= 104
FILE ID= node42/312009-1172580329
PBS_JOBID= 3971911
Free space on /tmp= 66556 MiB
SOLVER NAME= Rsat 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
COMMAND LINE= /tmp/evaluation/312009-1172580329/rsat.sh /tmp/evaluation/312009-1172580329/instance-312009-1172580329.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-312009-1172580329 -o ROOT/results/node42/solver-312009-1172580329 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/312009-1172580329/rsat.sh /tmp/evaluation/312009-1172580329/instance-312009-1172580329.cnf
META MD5SUM SOLVER= 42fb71d21991acbdd759c16645f65450
MD5SUM BENCH= 7aa5e97b8e61908955474a79af64353f
RANDOM SEED= 176185238
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node42.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.261
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.261
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: 1813408 kB
Buffers: 34476 kB
Cached: 158768 kB
SwapCached: 4704 kB
Active: 113492 kB
Inactive: 90688 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1813408 kB
SwapTotal: 4192956 kB
SwapFree: 4182516 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 15456 kB
Slab: 24360 kB
Committed_AS: 914720 kB
PageTables: 1408 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66555 MiB
End job on node42 on Tue Feb 27 13:05:32 UTC 2007