runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node37/watcher-461169-1179252210 -o ROOT/results/node37/solver-461169-1179252210 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/461169-1179252210/instance-461169-1179252210.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.04 0.48 0.78 3/77 3536
/proc/meminfo: memFree=1746640/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=2688 CPUtime=0
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 521 0 0 0 0 0 0 0 19 0 1 0 373133487 2752512 494 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134562508 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 672 502 45 128 0 542 0
[pid=3538] ppid=3536 vsize=5352 CPUtime=0
/proc/3538/stat : 3538 (run) R 3536 3536 3468 0 -1 4194368 26 0 0 0 0 0 0 0 18 0 1 0 373133488 5480448 229 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116316967 0 0 4096 0 0 0 0 17 1 0 0
/proc/3538/statm: 1338 229 192 169 0 49 0
[startup+0.020846 s]
/proc/loadavg: 0.04 0.48 0.78 3/77 3536
/proc/meminfo: memFree=1746640/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=5708 CPUtime=0.01
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 1339 0 0 0 1 0 0 0 19 0 1 0 373133487 5844992 1312 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134688206 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 1427 1312 46 128 0 1297 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23328
[startup+0.102863 s]
/proc/loadavg: 0.04 0.48 0.78 3/77 3536
/proc/meminfo: memFree=1746640/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=5708 CPUtime=0.09
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 1339 0 0 0 9 0 0 0 19 0 1 0 373133487 5844992 1312 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134550322 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 1427 1312 46 128 0 1297 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23328
[startup+0.302899 s]
/proc/loadavg: 0.04 0.48 0.78 3/77 3536
/proc/meminfo: memFree=1746640/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=7288 CPUtime=0.29
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 1730 0 0 0 18 11 0 0 21 0 1 0 373133487 7462912 1702 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 1822 1702 50 128 0 1692 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24908
[startup+0.702975 s]
/proc/loadavg: 0.04 0.48 0.78 3/77 3536
/proc/meminfo: memFree=1746640/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=9656 CPUtime=0.69
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 2322 0 0 0 34 35 0 0 25 0 1 0 373133487 9887744 2294 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 2414 2294 50 128 0 2284 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27276
[startup+1.50112 s]
/proc/loadavg: 0.04 0.48 0.78 2/80 3539
/proc/meminfo: memFree=1734968/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=15504 CPUtime=1.49
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 3625 0 0 0 67 82 0 0 25 0 1 0 373133487 15876096 3597 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 3876 3598 50 128 0 3746 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33124
[startup+3.10143 s]
/proc/loadavg: 0.04 0.48 0.78 2/80 3539
/proc/meminfo: memFree=1727672/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=28104 CPUtime=3.09
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 6245 0 0 0 136 173 0 0 25 0 1 0 373133487 28778496 6217 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 7026 6217 50 128 0 6896 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45724
[startup+6.30204 s]
/proc/loadavg: 0.11 0.49 0.78 2/80 3539
/proc/meminfo: memFree=1706872/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=42068 CPUtime=6.29
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 9845 0 0 0 335 294 0 0 25 0 1 0 373133487 43077632 9759 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134526096 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 10517 9759 52 128 0 10387 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59688
[startup+12.7012 s]
/proc/loadavg: 0.18 0.49 0.78 3/80 3539
/proc/meminfo: memFree=1706104/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=44376 CPUtime=12.68
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 9992 0 0 0 974 294 0 0 25 0 1 0 373133487 45441024 9906 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134534411 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11094 9906 52 128 0 10964 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61996
[startup+25.5016 s]
/proc/loadavg: 0.36 0.52 0.78 2/80 3539
/proc/meminfo: memFree=1705784/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=46688 CPUtime=25.48
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10097 0 0 0 2254 294 0 0 25 0 1 0 373133487 47808512 10011 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134526096 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11672 10011 52 128 0 11542 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64308
[startup+51.1025 s]
/proc/loadavg: 0.58 0.56 0.79 2/80 3539
/proc/meminfo: memFree=1705080/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47084 CPUtime=51.06
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10283 0 0 0 4812 294 0 0 25 0 1 0 373133487 48214016 10197 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134518065 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11771 10197 52 128 0 11641 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 64704
Solver just ended. Dumping a history of the last processes samples
[startup+63.9019 s]
/proc/loadavg: 0.67 0.58 0.79 2/80 3539
/proc/meminfo: memFree=1704376/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47480 CPUtime=63.85
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10445 0 0 0 6091 294 0 0 25 0 1 0 373133487 48619520 10359 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134526094 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11870 10359 52 128 0 11740 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 65100
[startup+67.1055 s]
/proc/loadavg: 0.67 0.58 0.79 2/80 3539
/proc/meminfo: memFree=1704312/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47480 CPUtime=67.06
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10463 0 0 0 6412 294 0 0 25 0 1 0 373133487 48619520 10377 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134540195 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11870 10377 52 128 0 11740 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 67.06
Current children cumulated vsize (KiB) 65100
[startup+68.7018 s]
/proc/loadavg: 0.67 0.58 0.79 2/80 3539
/proc/meminfo: memFree=1704312/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47480 CPUtime=68.65
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10467 0 0 0 6571 294 0 0 25 0 1 0 373133487 48619520 10381 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134533873 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11870 10381 52 128 0 11740 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 68.65
Current children cumulated vsize (KiB) 65100
[startup+69.5019 s]
/proc/loadavg: 0.70 0.58 0.79 2/80 3539
/proc/meminfo: memFree=1704312/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47480 CPUtime=69.45
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10467 0 0 0 6651 294 0 0 25 0 1 0 373133487 48619520 10381 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134528582 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11870 10381 52 128 0 11740 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 69.45
Current children cumulated vsize (KiB) 65100
[startup+69.902 s]
/proc/loadavg: 0.70 0.58 0.79 2/80 3539
/proc/meminfo: memFree=1704312/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47480 CPUtime=69.85
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10467 0 0 0 6691 294 0 0 25 0 1 0 373133487 48619520 10381 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11870 10381 52 128 0 11740 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (KiB) 65100
[startup+70.3011 s]
/proc/loadavg: 0.70 0.58 0.79 2/80 3539
/proc/meminfo: memFree=1704312/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47480 CPUtime=70.25
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10467 0 0 0 6731 294 0 0 25 0 1 0 373133487 48619520 10381 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134528570 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11870 10381 52 128 0 11740 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 70.25
Current children cumulated vsize (KiB) 65100
[startup+70.4061 s]
/proc/loadavg: 0.70 0.58 0.79 2/80 3539
/proc/meminfo: memFree=1704312/2055920 swapFree=4145732/4192956
[pid=3536] ppid=3534 vsize=5352 CPUtime=0
/proc/3536/stat : 3536 (run) S 3534 3536 3468 0 -1 4194304 282 0 0 0 0 0 0 0 18 0 1 0 373133487 5480448 223 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3536/statm: 1338 223 186 169 0 49 0
[pid=3537] ppid=3536 vsize=47480 CPUtime=70.35
/proc/3537/stat : 3537 (picoaigersat) R 3536 3536 3468 0 -1 4194304 10467 0 0 0 6741 294 0 0 25 0 1 0 373133487 48619520 10381 18446744073709551615 134512640 135037457 4294956736 18446744073709551615 134528618 0 0 4096 0 0 0 0 17 0 0 0
/proc/3537/statm: 11870 10381 52 128 0 11740 0
[pid=3538] ppid=3536 vsize=12268 CPUtime=0
/proc/3538/stat : 3538 (adapter.pl) S 3536 3536 3468 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 373133488 12562432 322 18446744073709551615 4194304 4206940 548682069392 18446744073709551615 213125214306 0 0 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3538/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 70.35
Current children cumulated vsize (KiB) 65100
Child status: 0
Real time (s): 70.4892
CPU time (s): 70.4503
CPU user time (s): 67.4977
CPU system time (s): 2.95255
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 65100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.4977
system time used= 2.95255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11137
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= 17
involuntary context switches= 347
runsolver used 0.081987 second user time and 0.180972 second system time
The end
Begin job on node37 on Tue May 15 18:03:30 UTC 2007
IDJOB= 461169
IDBENCH= 48637
IDSOLVER= 201
FILE ID= node37/461169-1179252210
PBS_JOBID= 5277147
Free space on /tmp= 66531 MiB
SOLVER NAME= picoaigersat 2007-05-15
BENCH NAME= HOME/pub/bench/AIG07/additional-aig/tip-k-ind-aigs-o1234g/O3/vis.prodcell^24.E.aig
COMMAND LINE= run /tmp/evaluation/461169-1179252210/instance-461169-1179252210.aig
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-461169-1179252210 -o ROOT/results/node37/solver-461169-1179252210 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/461169-1179252210/instance-461169-1179252210.aig
META MD5SUM SOLVER= 89af3b8cab9005450328fbdec7734a02
MD5SUM BENCH= 13aff2b3d4e6c6ef221990ba1fdb94d8
RANDOM SEED= 388322484
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node37.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.281
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.281
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: 1746920 kB
Buffers: 37984 kB
Cached: 146796 kB
SwapCached: 15276 kB
Active: 44508 kB
Inactive: 163360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1746920 kB
SwapTotal: 4192956 kB
SwapFree: 4145732 kB
Dirty: 1428 kB
Writeback: 0 kB
Mapped: 30076 kB
Slab: 86564 kB
Committed_AS: 6950496 kB
PageTables: 1980 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= 66531 MiB
End job on node37 on Tue May 15 18:04:41 UTC 2007