runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-334653-1173585733 -o ROOT/results/node19/solver-334653-1173585733 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/334653-1173585733/UnitMarch_32_bits /tmp/evaluation/334653-1173585733/instance-334653-1173585733.cnf
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): 2400 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.92 0.97 0.99 3/83 6687
/proc/meminfo: memFree=1543152/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=2224 CPUtime=0
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 444 0 0 0 0 0 0 0 18 0 1 0 378527874 2277376 427 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 556 427 92 214 0 339 0
[startup+0.106117 s]
/proc/loadavg: 0.92 0.97 0.99 3/83 6687
/proc/meminfo: memFree=1543152/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=3940 CPUtime=0.09
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 853 0 0 0 9 0 0 0 18 0 1 0 378527874 4034560 803 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 985 803 92 214 0 768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3940
[startup+0.201128 s]
/proc/loadavg: 0.92 0.97 0.99 3/83 6687
/proc/meminfo: memFree=1543152/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=5384 CPUtime=0.19
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 1272 0 0 0 19 0 0 0 18 0 1 0 378527874 5513216 1157 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 1346 1157 92 214 0 1129 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5384
[startup+0.301138 s]
/proc/loadavg: 0.92 0.97 0.99 3/83 6687
/proc/meminfo: memFree=1543152/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=6836 CPUtime=0.29
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 1645 0 0 0 29 0 0 0 19 0 1 0 378527874 7000064 1530 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 135043485 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 1709 1531 92 214 0 1492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6836
[startup+0.701184 s]
/proc/loadavg: 0.92 0.97 0.99 3/83 6687
/proc/meminfo: memFree=1543152/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=12760 CPUtime=0.69
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 3262 0 0 0 68 1 0 0 23 0 1 0 378527874 13066240 3018 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 135043485 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 3190 3018 92 214 0 2973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12760
[startup+1.50227 s]
/proc/loadavg: 0.92 0.97 0.99 2/84 6690
/proc/meminfo: memFree=1526888/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=24608 CPUtime=1.49
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 6511 0 0 0 147 2 0 0 25 0 1 0 378527874 25198592 6010 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134665724 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 6152 6010 92 214 0 5935 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24608
[startup+3.10144 s]
/proc/loadavg: 0.92 0.97 0.99 2/84 6690
/proc/meminfo: memFree=1510440/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=52400 CPUtime=3.09
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 14000 0 0 0 303 6 0 0 25 0 1 0 378527874 53657600 11961 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134990859 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 13100 11962 92 214 0 12883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52400
[startup+6.30179 s]
/proc/loadavg: 0.93 0.97 0.99 2/84 6692
/proc/meminfo: memFree=1460712/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=104416 CPUtime=6.29
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 28086 0 0 0 616 13 0 0 25 0 1 0 378527874 106921984 23998 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 135043485 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 26104 23998 92 214 0 25887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 104416
[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382304/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170540 CPUtime=12.67
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 45090 0 0 0 1247 20 0 0 25 0 1 0 378527874 174632960 40866 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42635 40866 97 214 0 42418 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 170540
[startup+25.5019 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382368/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=25.47
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 45481 0 0 0 2527 20 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529766 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 170736
[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382432/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=51.06
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 46246 0 0 0 5086 20 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529640 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 170736
[startup+102.301 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382560/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=102.25
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 47776 0 0 0 10203 22 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529622 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 170736
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382496/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=162.23
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 49561 0 0 0 16200 23 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529607 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 170736
[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382496/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=222.22
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 51346 0 0 0 22197 25 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529770 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 170736
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382496/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170540 CPUtime=282.19
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 53131 0 0 0 28193 26 0 0 25 0 1 0 378527874 174632960 40866 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42635 40866 97 214 0 42418 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 170540
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382624/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170540 CPUtime=342.18
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 54916 0 0 0 34190 28 0 0 25 0 1 0 378527874 174632960 40866 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42635 40866 97 214 0 42418 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 170540
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382624/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170540 CPUtime=402.16
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 56701 0 0 0 40187 29 0 0 25 0 1 0 378527874 174632960 40866 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517103 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42635 40866 97 214 0 42418 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 170540
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382624/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=462.14
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 58503 0 0 0 46184 30 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529744 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 170736
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382624/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=522.13
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 60288 0 0 0 52181 32 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529633 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 170736
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382688/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=582.11
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 62073 0 0 0 58178 33 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529734 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 170736
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382688/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=642.09
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 63858 0 0 0 64175 34 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 170736
[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382688/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=702.07
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 65643 0 0 0 70171 36 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 170736
[startup+762.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382624/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=762.06
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 67445 0 0 0 76168 38 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529485 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 170736
[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382624/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=822.04
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 69230 0 0 0 82164 40 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529642 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 170736
[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382688/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=882.03
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 71015 0 0 0 88161 42 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529770 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 170736
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382624/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=942
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 72800 0 0 0 94157 43 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529770 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 170736
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382688/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=1001.99
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 74585 0 0 0 100154 45 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134518818 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 170736
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382752/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170540 CPUtime=1061.97
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 76370 0 0 0 106150 47 0 0 25 0 1 0 378527874 174632960 40866 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134517126 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42635 40866 97 214 0 42418 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 170540
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382688/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=1121.95
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 78172 0 0 0 112147 48 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134986135 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 170736
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382688/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=1181.93
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 79957 0 0 0 118144 49 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529770 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 170736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382752/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=1200.03
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 80501 0 0 0 119953 50 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529770 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 170736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.4 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 6712
/proc/meminfo: memFree=1382752/2055920 swapFree=4169404/4192956
[pid=6687] ppid=6685 vsize=170736 CPUtime=1200.03
/proc/6687/stat : 6687 (UnitMarch_32_bi) R 6685 6687 6346 0 -1 4194304 80501 0 0 0 119953 50 0 0 25 0 1 0 378527874 174833664 40883 18446744073709551615 134512640 135389829 4294956688 18446744073709551615 134529770 0 0 4096 0 0 0 0 17 1 0 0
/proc/6687/statm: 42684 40883 97 214 0 42467 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 170736
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.43
CPU time (s): 1200.07
CPU user time (s): 1199.54
CPU system time (s): 0.531919
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 170736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.54
system time used= 0.531919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80501
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= 6
involuntary context switches= 24940
runsolver used 1.38879 second user time and 2.94655 second system time
The end
Begin job on node19 on Sun Mar 11 04:02:19 UTC 2007
IDJOB= 334653
IDBENCH= 24633
IDSOLVER= 97
FILE ID= node19/334653-1173585733
PBS_JOBID= 4101223
Free space on /tmp= 66522 MiB
SOLVER NAME= UnitMarch 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/334653-1173585733/UnitMarch_32_bits /tmp/evaluation/334653-1173585733/instance-334653-1173585733.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-334653-1173585733 -o ROOT/results/node19/solver-334653-1173585733 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/334653-1173585733/UnitMarch_32_bits /tmp/evaluation/334653-1173585733/instance-334653-1173585733.cnf
META MD5SUM SOLVER= cd0143c15836d32fe9acb8d523a59b67
MD5SUM BENCH= 7b512e3533a048c6d67b6f8a4c658d50
RANDOM SEED= 629997856
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node19.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.214
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 : 5931.00
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.214
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: 1543560 kB
Buffers: 44576 kB
Cached: 381588 kB
SwapCached: 2440 kB
Active: 332296 kB
Inactive: 117344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1543560 kB
SwapTotal: 4192956 kB
SwapFree: 4169404 kB
Dirty: 35924 kB
Writeback: 0 kB
Mapped: 31340 kB
Slab: 47872 kB
Committed_AS: 1436028 kB
PageTables: 1996 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= 66522 MiB
End job on node19 on Sun Mar 11 04:22:21 UTC 2007