runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-460701-1179250549 -o ROOT/results/node68/solver-460701-1179250549 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/460701-1179250549/instance-460701-1179250549.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.90 0.97 0.99 3/64 2531
/proc/meminfo: memFree=1471168/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=3028 CPUtime=0
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 426 0 0 0 0 0 0 0 20 0 1 0 401044452 3100672 399 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134562508 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 757 407 46 128 0 627 0
[pid=2533] ppid=2531 vsize=5356 CPUtime=0
/proc/2533/stat : 2533 (run) R 2531 2531 1972 0 -1 4194368 26 0 0 0 0 0 0 0 21 0 1 0 401044452 5484544 230 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414458663 0 0 4096 0 0 0 0 17 1 0 0
/proc/2533/statm: 1339 230 192 169 0 50 0
[startup+0.063898 s]
/proc/loadavg: 0.90 0.97 0.99 3/64 2531
/proc/meminfo: memFree=1471168/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=6532 CPUtime=0.05
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 1552 0 0 0 5 0 0 0 20 0 1 0 401044452 6688768 1525 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134688206 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 1633 1525 46 128 0 1503 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24156
[startup+0.102896 s]
/proc/loadavg: 0.90 0.97 0.99 3/64 2531
/proc/meminfo: memFree=1471168/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=6532 CPUtime=0.09
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 1552 0 0 0 9 0 0 0 20 0 1 0 401044452 6688768 1525 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134688206 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 1633 1525 46 128 0 1503 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24156
[startup+0.301914 s]
/proc/loadavg: 0.90 0.97 0.99 3/64 2531
/proc/meminfo: memFree=1471168/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=7936 CPUtime=0.29
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 1892 0 0 0 20 9 0 0 20 0 1 0 401044452 8126464 1864 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 1984 1864 50 128 0 1854 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25560
[startup+0.70195 s]
/proc/loadavg: 0.90 0.97 0.99 3/64 2531
/proc/meminfo: memFree=1471168/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=10412 CPUtime=0.69
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 2534 0 0 0 37 32 0 0 24 0 1 0 401044452 10661888 2475 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 2603 2475 50 128 0 2473 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28036
[startup+1.50302 s]
/proc/loadavg: 0.90 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1458856/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=16340 CPUtime=1.49
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 3789 0 0 0 72 77 0 0 25 0 1 0 401044452 16732160 3730 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 4085 3730 50 128 0 3955 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33964
[startup+3.10117 s]
/proc/loadavg: 0.90 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1451880/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=26420 CPUtime=3.09
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 6267 0 0 0 136 173 0 0 25 0 1 0 401044452 27054080 6208 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 6605 6208 50 128 0 6475 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44044
[startup+6.30146 s]
/proc/loadavg: 0.91 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1431720/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=50268 CPUtime=6.28
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 11094 0 0 0 268 360 0 0 25 0 1 0 401044452 51474432 11035 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134689073 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 12567 11035 50 128 0 12437 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 67892
[startup+12.701 s]
/proc/loadavg: 0.91 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1423920/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=58884 CPUtime=12.69
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 11674 0 0 0 904 365 0 0 25 0 1 0 401044452 60297216 11614 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528579 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 14721 11614 62 128 0 14591 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76508
[startup+25.5012 s]
/proc/loadavg: 0.93 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1423536/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=59280 CPUtime=25.49
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 11766 0 0 0 2184 365 0 0 25 0 1 0 401044452 60702720 11706 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134527411 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 14820 11706 62 128 0 14690 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76904
[startup+51.1015 s]
/proc/loadavg: 0.95 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1422320/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=60324 CPUtime=51.07
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12069 0 0 0 4742 365 0 0 25 0 1 0 401044452 61771776 12009 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528490 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15081 12009 62 128 0 14951 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77948
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1419696/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=62768 CPUtime=102.26
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12709 0 0 0 9860 366 0 0 25 0 1 0 401044452 64274432 12649 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528570 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15692 12649 62 128 0 15562 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80392
Solver just ended. Dumping a history of the last processes samples
[startup+108.702 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1419376/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=63156 CPUtime=108.67
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12801 0 0 0 10500 367 0 0 25 0 1 0 401044452 64671744 12741 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528675 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15789 12741 62 128 0 15659 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 108.67
Current children cumulated vsize (KiB) 80780
[startup+115.101 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1419120/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=63416 CPUtime=115.07
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12855 0 0 0 11140 367 0 0 25 0 1 0 401044452 64937984 12795 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134533749 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15854 12795 62 128 0 15724 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 115.07
Current children cumulated vsize (KiB) 81040
[startup+118.302 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1418992/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=63548 CPUtime=118.26
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12897 0 0 0 11459 367 0 0 25 0 1 0 401044452 65073152 12837 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134528715 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15887 12837 62 128 0 15757 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (KiB) 81172
[startup+119.102 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1418928/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=63676 CPUtime=119.06
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12920 0 0 0 11539 367 0 0 25 0 1 0 401044452 65204224 12860 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134527310 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15919 12860 62 128 0 15789 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 119.06
Current children cumulated vsize (KiB) 81300
[startup+119.906 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1418928/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=63676 CPUtime=119.87
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12926 0 0 0 11620 367 0 0 25 0 1 0 401044452 65204224 12866 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526038 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15919 12866 62 128 0 15789 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (KiB) 81300
[startup+120.102 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1418928/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=63676 CPUtime=120.06
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12927 0 0 0 11639 367 0 0 25 0 1 0 401044452 65204224 12867 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134526038 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15919 12867 62 128 0 15789 0
[pid=2533] ppid=2531 vsize=12268 CPUtime=0
/proc/2533/stat : 2533 (adapter.pl) S 2531 2531 1972 0 -1 4194304 365 0 0 0 0 0 0 0 21 0 1 0 401044452 12562432 322 18446744073709551615 4194304 4206940 548682069312 18446744073709551615 257423356002 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/2533/statm: 3067 322 248 3 0 167 0
Current children cumulated CPU time (s) 120.06
Current children cumulated vsize (KiB) 81300
[startup+120.202 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 2534
/proc/meminfo: memFree=1418928/2055920 swapFree=4184008/4192956
[pid=2531] ppid=2529 vsize=5356 CPUtime=0
/proc/2531/stat : 2531 (run) S 2529 2531 1972 0 -1 4194304 283 374 0 0 0 0 0 0 16 0 1 0 401044452 5484544 224 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257414456132 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2531/statm: 1339 224 186 169 0 50 0
[pid=2532] ppid=2531 vsize=63680 CPUtime=120.16
/proc/2532/stat : 2532 (picoaigersat) R 2531 2531 1972 0 -1 4194304 12930 0 0 0 11649 367 0 0 25 0 1 0 401044452 65208320 12870 18446744073709551615 134512640 135037457 4294956656 18446744073709551615 134660562 0 0 4096 0 0 0 0 17 1 0 0
/proc/2532/statm: 15920 12870 62 128 0 15790 0
Current children cumulated CPU time (s) 120.16
Current children cumulated vsize (KiB) 69036
Child status: 0
Real time (s): 120.267
CPU time (s): 120.241
CPU user time (s): 116.556
CPU system time (s): 3.68444
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 81300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.556
system time used= 3.68444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13600
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= 19
involuntary context switches= 205
runsolver used 0.12798 second user time and 0.313952 second system time
The end
Begin job on node68 on Tue May 15 17:35:49 UTC 2007
IDJOB= 460701
IDBENCH= 48520
IDSOLVER= 201
FILE ID= node68/460701-1179250549
PBS_JOBID= 5277042
Free space on /tmp= 66526 MiB
SOLVER NAME= picoaigersat 2007-05-15
BENCH NAME= HOME/pub/bench/AIG07/industrial-aig/palacios/uts/uts-l06-ipc5-h35-unknown.aig
COMMAND LINE= run /tmp/evaluation/460701-1179250549/instance-460701-1179250549.aig
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-460701-1179250549 -o ROOT/results/node68/solver-460701-1179250549 -C 1200 -W 1800 -M 1800 --output-limit 1,15 run /tmp/evaluation/460701-1179250549/instance-460701-1179250549.aig
META MD5SUM SOLVER= 89af3b8cab9005450328fbdec7734a02
MD5SUM BENCH= b1cc3be26d44c0400a2f84d30a96462d
RANDOM SEED= 381920302
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node68.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.216
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.216
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: 1471448 kB
Buffers: 36824 kB
Cached: 405932 kB
SwapCached: 3120 kB
Active: 25984 kB
Inactive: 426740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1471448 kB
SwapTotal: 4192956 kB
SwapFree: 4184008 kB
Dirty: 1692 kB
Writeback: 0 kB
Mapped: 15852 kB
Slab: 117808 kB
Committed_AS: 4162420 kB
PageTables: 1380 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= 66526 MiB
End job on node68 on Tue May 15 17:37:50 UTC 2007