runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-460173-1179246050 -o ROOT/results/node7/solver-460173-1179246050 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/460173-1179246050/instance-460173-1179246050.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.00 0.00 0.08 3/77 20611
/proc/meminfo: memFree=1551416/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=16680 CPUtime=0
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 1158 0 0 0 0 0 0 0 20 0 1 0 400642701 17080320 1131 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134562508 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 4170 1140 45 128 0 4040 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
[startup+0.062977 s]
/proc/loadavg: 0.00 0.00 0.08 3/77 20611
/proc/meminfo: memFree=1551416/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=40692 CPUtime=0.05
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 10085 0 0 0 1 4 0 0 20 0 1 0 400642701 41668608 10058 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134554581 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 10173 10058 46 128 0 10043 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 58316
[startup+0.10198 s]
/proc/loadavg: 0.00 0.00 0.08 3/77 20611
/proc/meminfo: memFree=1551416/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=40692 CPUtime=0.09
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 10085 0 0 0 5 4 0 0 20 0 1 0 400642701 41668608 10058 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134688206 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 10173 10058 46 128 0 10043 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58316
[startup+0.302001 s]
/proc/loadavg: 0.00 0.00 0.08 3/77 20611
/proc/meminfo: memFree=1551416/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=40692 CPUtime=0.29
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 10085 0 0 0 25 4 0 0 21 0 1 0 400642701 41668608 10058 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134688206 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 10173 10058 46 128 0 10043 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58316
[startup+0.701043 s]
/proc/loadavg: 0.00 0.00 0.08 3/77 20611
/proc/meminfo: memFree=1551416/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=42144 CPUtime=0.69
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 10461 0 0 0 64 5 0 0 25 0 1 0 400642701 43155456 10434 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134688206 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 10536 10434 46 128 0 10406 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59768
[startup+1.50113 s]
/proc/loadavg: 0.00 0.00 0.08 2/80 20614
/proc/meminfo: memFree=1507872/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=59408 CPUtime=1.49
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 14240 0 0 0 117 32 0 0 25 0 1 0 400642701 60833792 14020 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134668347 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 14852 14020 50 128 0 14722 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77032
[startup+3.10229 s]
/proc/loadavg: 0.00 0.00 0.08 2/80 20614
/proc/meminfo: memFree=1490272/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=69824 CPUtime=3.09
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 17026 0 0 0 185 124 0 0 25 0 1 0 400642701 71499776 16806 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 17456 16806 50 128 0 17326 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87448
[startup+6.30163 s]
/proc/loadavg: 0.08 0.02 0.08 2/80 20614
/proc/meminfo: memFree=1467360/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=92084 CPUtime=6.29
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 22569 0 0 0 314 315 0 0 25 0 1 0 400642701 94294016 22349 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 23021 22349 50 128 0 22891 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109708
[startup+12.7023 s]
/proc/loadavg: 0.15 0.03 0.09 2/80 20614
/proc/meminfo: memFree=1423264/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=142384 CPUtime=12.68
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 33211 0 0 0 578 690 0 0 25 0 1 0 400642701 145801216 32991 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 35596 32991 50 128 0 35466 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 160008
[startup+25.5016 s]
/proc/loadavg: 0.34 0.08 0.10 2/80 20614
/proc/meminfo: memFree=1334944/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=242204 CPUtime=25.47
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 54547 0 0 0 1105 1442 0 0 25 0 1 0 400642701 248016896 54327 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 60551 54327 50 128 0 60421 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 259828
[startup+51.1013 s]
/proc/loadavg: 0.56 0.15 0.12 2/80 20614
/proc/meminfo: memFree=1216864/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=368808 CPUtime=51.05
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 83550 0 0 0 2940 2165 0 0 25 0 1 0 400642701 377659392 83303 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528833 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 92202 83303 62 128 0 92072 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 386432
[startup+102.307 s]
/proc/loadavg: 0.81 0.28 0.17 2/80 20614
/proc/meminfo: memFree=1215776/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=369584 CPUtime=102.23
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 83833 0 0 0 8057 2166 0 0 25 0 1 0 400642701 378454016 83586 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528768 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 92396 83586 62 128 0 92266 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 387208
[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.22 2/80 20614
/proc/meminfo: memFree=1214048/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=371268 CPUtime=162.18
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84251 0 0 0 14051 2167 0 0 25 0 1 0 400642701 380178432 84004 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134527310 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 92817 84004 62 128 0 92687 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 388892
[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.26 2/80 20614
/proc/meminfo: memFree=1213152/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372188 CPUtime=222.15
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84497 0 0 0 20048 2167 0 0 25 0 1 0 400642701 381120512 84250 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528836 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93047 84250 62 128 0 92917 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 389812
[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.31 2/80 20614
/proc/meminfo: memFree=1212704/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372716 CPUtime=282.13
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84607 0 0 0 26045 2168 0 0 25 0 1 0 400642701 381661184 84360 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528802 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93179 84360 62 128 0 93049 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 390340
[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.35 2/80 20614
/proc/meminfo: memFree=1212640/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372848 CPUtime=342.08
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84641 0 0 0 32040 2168 0 0 25 0 1 0 400642701 381796352 84394 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528675 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93212 84394 62 128 0 93082 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 390472
Solver just ended. Dumping a history of the last processes samples
[startup+358.302 s]
/proc/loadavg: 0.99 0.68 0.36 2/80 20614
/proc/meminfo: memFree=1212640/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372848 CPUtime=358.08
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84641 0 0 0 33640 2168 0 0 25 0 1 0 400642701 381796352 84394 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526096 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93212 84394 62 128 0 93082 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 358.08
Current children cumulated vsize (KiB) 390472
[startup+364.701 s]
/proc/loadavg: 0.99 0.69 0.36 2/80 20614
/proc/meminfo: memFree=1212640/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372848 CPUtime=364.48
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84641 0 0 0 34280 2168 0 0 25 0 1 0 400642701 381796352 84394 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134527310 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93212 84394 62 128 0 93082 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 364.48
Current children cumulated vsize (KiB) 390472
[startup+367.902 s]
/proc/loadavg: 0.99 0.69 0.36 2/80 20614
/proc/meminfo: memFree=1212640/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372848 CPUtime=367.68
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84641 0 0 0 34600 2168 0 0 25 0 1 0 400642701 381796352 84394 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526096 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93212 84394 62 128 0 93082 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 367.68
Current children cumulated vsize (KiB) 390472
[startup+369.502 s]
/proc/loadavg: 0.99 0.69 0.36 2/80 20614
/proc/meminfo: memFree=1212640/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372848 CPUtime=369.28
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84641 0 0 0 34760 2168 0 0 25 0 1 0 400642701 381796352 84394 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526038 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93212 84394 62 128 0 93082 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 369.28
Current children cumulated vsize (KiB) 390472
[startup+370.302 s]
/proc/loadavg: 0.99 0.69 0.36 2/80 20614
/proc/meminfo: memFree=1212640/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372848 CPUtime=370.07
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84641 0 0 0 34839 2168 0 0 25 0 1 0 400642701 381796352 84394 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134665418 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93212 84394 62 128 0 93082 0
[pid=20613] ppid=20611 vsize=12268 CPUtime=0
/proc/20613/stat : 20613 (adapter.pl) S 20611 20611 20543 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 400642702 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 244680011874 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/20613/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 370.07
Current children cumulated vsize (KiB) 390472
[startup+370.707 s]
/proc/loadavg: 0.99 0.70 0.37 2/79 20614
/proc/meminfo: memFree=1212840/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 374 0 0 0 0 0 0 16 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=372852 CPUtime=370.48
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84642 0 0 0 34880 2168 0 0 25 0 1 0 400642701 381800448 84395 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134660628 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 93213 84395 62 128 0 93083 0
Current children cumulated CPU time (s) 370.48
Current children cumulated vsize (KiB) 378208
[startup+370.902 s]
/proc/loadavg: 0.99 0.70 0.37 2/79 20614
/proc/meminfo: memFree=1212840/2055920 swapFree=4156572/4192956
[pid=20611] ppid=20609 vsize=5356 CPUtime=0
/proc/20611/stat : 20611 (run) S 20609 20611 20543 0 -1 4194304 283 374 0 0 0 0 0 0 16 0 1 0 400642701 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20611/statm: 1339 224 186 169 0 50 0
[pid=20612] ppid=20611 vsize=337832 CPUtime=370.68
/proc/20612/stat : 20612 (picoaigersat) R 20611 20611 20543 0 -1 4194304 84642 0 0 0 34899 2169 0 0 25 0 1 0 400642701 345939968 76535 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134691745 0 0 4096 0 0 0 0 17 0 0 0
/proc/20612/statm: 84458 76535 1580 128 0 84328 0
Current children cumulated CPU time (s) 370.68
Current children cumulated vsize (KiB) 343188
Child status: 0
Real time (s): 370.968
CPU time (s): 370.757
CPU user time (s): 349.009
CPU system time (s): 21.7477
CPU usage (%): 99.9432
Max. virtual memory (cumulated for all children) (KiB): 390472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.009
system time used= 21.7477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85312
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= 18
involuntary context switches= 8359
runsolver used 0.405938 second user time and 0.952855 second system time
The end
Begin job on node7 on Tue May 15 16:20:51 UTC 2007
IDJOB= 460173
IDBENCH= 48388
IDSOLVER= 201
FILE ID= node7/460173-1179246050
PBS_JOBID= 5276807
Free space on /tmp= 66524 MiB
SOLVER NAME= picoaigersat 2007-05-15
BENCH NAME= HOME/pub/bench/AIG07/industrial-aig/anbulagan/medium-unsat/dated-10-15-u.aig
COMMAND LINE= run /tmp/evaluation/460173-1179246050/instance-460173-1179246050.aig
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-460173-1179246050 -o ROOT/results/node7/solver-460173-1179246050 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/460173-1179246050/instance-460173-1179246050.aig
META MD5SUM SOLVER= 89af3b8cab9005450328fbdec7734a02
MD5SUM BENCH= a1d7def8de4ac0f4cc84a3288e582681
RANDOM SEED= 996503503
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node7.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.231
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.231
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: 1551632 kB
Buffers: 45968 kB
Cached: 386352 kB
SwapCached: 17092 kB
Active: 205232 kB
Inactive: 251104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1551632 kB
SwapTotal: 4192956 kB
SwapFree: 4156572 kB
Dirty: 10104 kB
Writeback: 0 kB
Mapped: 29900 kB
Slab: 33416 kB
Committed_AS: 14863540 kB
PageTables: 1860 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= 66524 MiB
End job on node7 on Tue May 15 16:27:02 UTC 2007