runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-460341-1179246928 -o ROOT/results/node48/solver-460341-1179246928 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/460341-1179246928/instance-460341-1179246928.aig
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: 0.25 0.91 0.91 3/64 12117
/proc/meminfo: memFree=1201752/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=22008 CPUtime=0
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 417 0 0 0 0 0 0 0 20 0 1 0 279538331 22536192 390 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134562508 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 5502 398 45 128 0 5372 0
[pid=12119] ppid=12117 vsize=5356 CPUtime=0
/proc/12119/stat : 12119 (run) R 12117 12117 11967 0 -1 4194368 26 0 0 0 0 0 0 0 21 0 1 0 279538331 5484544 230 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539604775 0 0 4096 0 0 0 0 17 1 0 0
/proc/12119/statm: 1339 230 192 169 0 50 0
[startup+0.102376 s]
/proc/loadavg: 0.25 0.91 0.91 3/64 12117
/proc/meminfo: memFree=1201752/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=54016 CPUtime=0.09
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 13416 0 0 0 3 6 0 0 20 0 1 0 279538331 55312384 13389 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134565445 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 13504 13389 46 128 0 13374 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71640
[startup+0.202381 s]
/proc/loadavg: 0.25 0.91 0.91 3/64 12117
/proc/meminfo: memFree=1201752/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=54016 CPUtime=0.19
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 13416 0 0 0 13 6 0 0 20 0 1 0 279538331 55312384 13389 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134544484 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 13504 13389 46 128 0 13374 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 71640
[startup+0.302399 s]
/proc/loadavg: 0.25 0.91 0.91 3/64 12117
/proc/meminfo: memFree=1201752/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=54016 CPUtime=0.29
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 13416 0 0 0 23 6 0 0 21 0 1 0 279538331 55312384 13389 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134688206 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 13504 13389 46 128 0 13374 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71640
[startup+0.701428 s]
/proc/loadavg: 0.25 0.91 0.91 3/64 12117
/proc/meminfo: memFree=1201752/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=54016 CPUtime=0.69
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 13416 0 0 0 62 7 0 0 25 0 1 0 279538331 55312384 13389 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134565321 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 13504 13389 46 128 0 13374 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71640
[startup+1.5015 s]
/proc/loadavg: 0.25 0.91 0.91 2/67 12120
/proc/meminfo: memFree=1144696/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=57448 CPUtime=1.49
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 14282 0 0 0 141 8 0 0 25 0 1 0 279538331 58826752 14255 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134550271 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 14362 14255 46 128 0 14232 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75072
[startup+3.10165 s]
/proc/loadavg: 0.25 0.91 0.91 2/67 12120
/proc/meminfo: memFree=1126520/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=86036 CPUtime=3.09
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 20408 0 0 0 211 98 0 0 25 0 1 0 279538331 88100864 20086 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134524009 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 21509 20086 50 128 0 21379 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103660
[startup+6.30194 s]
/proc/loadavg: 0.31 0.91 0.91 2/67 12120
/proc/meminfo: memFree=1105272/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=102176 CPUtime=6.29
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 25553 0 0 0 343 286 0 0 25 0 1 0 279538331 104628224 25231 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 25544 25231 50 128 0 25414 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 119800
[startup+12.7015 s]
/proc/loadavg: 0.37 0.91 0.91 2/67 12120
/proc/meminfo: memFree=1063032/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=152840 CPUtime=12.68
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 35729 0 0 0 606 662 0 0 25 0 1 0 279538331 156508160 35407 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 38210 35407 50 128 0 38080 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 170464
[startup+25.5027 s]
/proc/loadavg: 0.51 0.91 0.91 2/67 12120
/proc/meminfo: memFree=978808/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=231208 CPUtime=25.48
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 56111 0 0 0 1136 1412 0 0 25 0 1 0 279538331 236756992 55789 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 57802 55789 50 128 0 57672 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 248832
[startup+51.1021 s]
/proc/loadavg: 0.67 0.92 0.91 2/67 12120
/proc/meminfo: memFree=820472/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=403720 CPUtime=51.07
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 96082 0 0 0 2210 2897 0 0 25 0 1 0 279538331 413409280 95760 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 100930 95760 50 128 0 100800 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 421344
[startup+102.303 s]
/proc/loadavg: 0.86 0.93 0.91 2/67 12120
/proc/meminfo: memFree=756728/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=519100 CPUtime=102.27
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 111230 0 0 0 7183 3044 0 0 25 0 1 0 279538331 531558400 110881 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528675 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 129775 110881 62 128 0 129645 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 536724
[startup+162.302 s]
/proc/loadavg: 0.95 0.94 0.91 2/67 12120
/proc/meminfo: memFree=754744/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=521056 CPUtime=162.25
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 111718 0 0 0 13181 3044 0 0 25 0 1 0 279538331 533561344 111369 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134535303 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 130264 111369 62 128 0 130134 0
################
# More data... #
################
/proc/meminfo: memFree=731576/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=544048 CPUtime=702.12
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 117470 0 0 0 67161 3051 0 0 25 0 1 0 279538331 557105152 117121 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134527310 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 136012 117121 62 128 0 135882 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 561672
[startup+762.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=728376/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=547280 CPUtime=762.11
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 118286 0 0 0 73159 3052 0 0 25 0 1 0 279538331 560414720 117937 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526038 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 136820 117937 62 128 0 136690 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 762.11
Current children cumulated vsize (KiB) 564904
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=726008/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=549600 CPUtime=822.08
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 118871 0 0 0 79156 3052 0 0 25 0 1 0 279538331 562790400 118522 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528570 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 137400 118522 62 128 0 137270 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 567224
[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=722168/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=553448 CPUtime=882.07
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 119822 0 0 0 85154 3053 0 0 25 0 1 0 279538331 566730752 119473 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526010 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 138362 119473 62 128 0 138232 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 571072
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=718328/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=557304 CPUtime=942.06
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 120790 0 0 0 91151 3055 0 0 25 0 1 0 279538331 570679296 120441 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526080 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 139326 120441 62 128 0 139196 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 574928
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=714424/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=561276 CPUtime=1002.04
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 121777 0 0 0 97149 3055 0 0 25 0 1 0 279538331 574746624 121428 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526038 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 140319 121428 62 128 0 140189 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 578900
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=710328/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=565260 CPUtime=1062.03
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 122792 0 0 0 103147 3056 0 0 25 0 1 0 279538331 578826240 122443 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528734 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 141315 122443 62 128 0 141185 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 582884
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=706168/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=569476 CPUtime=1122.02
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 123833 0 0 0 109144 3058 0 0 25 0 1 0 279538331 583143424 123484 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134535309 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 142369 123484 62 128 0 142239 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 587100
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=702264/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=573336 CPUtime=1182
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 124810 0 0 0 115141 3059 0 0 25 0 1 0 279538331 587096064 124461 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134534374 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 143334 124461 62 128 0 143204 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 590960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12120
/proc/meminfo: memFree=701176/2055920 swapFree=4183988/4192956
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (run) S 12115 12117 11967 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 279538331 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12117/statm: 1339 224 186 169 0 50 0
[pid=12118] ppid=12117 vsize=574356 CPUtime=1200
/proc/12118/stat : 12118 (picoaigersat) R 12117 12117 11967 0 -1 4194304 125063 0 0 0 116941 3059 0 0 25 0 1 0 279538331 588140544 124714 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134535295 0 0 4096 0 0 0 0 17 1 0 0
/proc/12118/statm: 143589 124714 62 128 0 143459 0
[pid=12119] ppid=12117 vsize=12268 CPUtime=0
/proc/12119/stat : 12119 (adapter.pl) S 12117 12117 11967 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 279538331 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 255548502114 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/12119/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 591980
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 12117 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=3999
# CPU time returned by wait4() is 0.006998
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.31
CPU time (s): 1200
CPU user time (s): 1169.41
CPU system time (s): 30.59
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 591980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002999
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648
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= 13
involuntary context switches= 2
runsolver used 1.3038 second user time and 3.06953 second system time
The end
Begin job on node48 on Tue May 15 16:35:30 UTC 2007
IDJOB= 460341
IDBENCH= 48430
IDSOLVER= 201
FILE ID= node48/460341-1179246928
PBS_JOBID= 5277016
Free space on /tmp= 66537 MiB
SOLVER NAME= picoaigersat 2007-05-15
BENCH NAME= HOME/pub/bench/AIG07/industrial-aig/anbulagan/hard-unsat/partial-5-17-u.aig
COMMAND LINE= run /tmp/evaluation/460341-1179246928/instance-460341-1179246928.aig
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-460341-1179246928 -o ROOT/results/node48/solver-460341-1179246928 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/460341-1179246928/instance-460341-1179246928.aig
META MD5SUM SOLVER= 89af3b8cab9005450328fbdec7734a02
MD5SUM BENCH= 0eca4a9bc55085219f656855910362ce
RANDOM SEED= 44378126
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node48.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.238
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.238
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: 1202232 kB
Buffers: 42616 kB
Cached: 668804 kB
SwapCached: 3056 kB
Active: 155956 kB
Inactive: 565140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1202232 kB
SwapTotal: 4192956 kB
SwapFree: 4183988 kB
Dirty: 13560 kB
Writeback: 0 kB
Mapped: 15640 kB
Slab: 118672 kB
Committed_AS: 3814528 kB
PageTables: 1388 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= 66537 MiB
End job on node48 on Tue May 15 16:55:32 UTC 2007