runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1831442-1242759124/watcher-1831442-1242759124 -o /tmp/evaluation-result-1831442-1242759124/solver-1831442-1242759124 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1393270419 HOME/instance-1831442-1242759124.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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 134217728 bytes. The first 1048576 bytes and the last 133169152 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 13898
/proc/meminfo: memFree=1948472/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=5524 CPUtime=0
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 964 0 0 0 0 0 0 0 18 0 1 0 303940720 5656576 948 1992294400 134512640 135674940 4294956208 18446744073709551615 134542190 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 1381 955 88 283 0 1095 0
[startup+0.046852 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 13898
/proc/meminfo: memFree=1948472/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=24236 CPUtime=0.03
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 4042 0 0 0 2 1 0 0 18 0 1 0 303940720 24817664 4026 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 6059 4026 90 283 0 5773 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24236
[startup+0.101856 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 13898
/proc/meminfo: memFree=1948472/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=26480 CPUtime=0.09
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 4608 0 0 0 8 1 0 0 18 0 1 0 303940720 27115520 4592 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 6620 4592 90 283 0 6334 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26480
[startup+0.301873 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 13898
/proc/meminfo: memFree=1948472/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=33344 CPUtime=0.29
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 6516 0 0 0 27 2 0 0 19 0 1 0 303940720 34144256 6500 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 8336 6500 90 283 0 8050 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33344
[startup+0.701909 s]
/proc/loadavg: 0.00 0.00 0.00 2/64 13898
/proc/meminfo: memFree=1948472/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=46016 CPUtime=0.69
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 9805 0 0 0 64 5 0 0 23 0 1 0 303940720 47120384 9789 1992294400 134512640 135674940 4294956208 18446744073709551615 135113206 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 11504 9790 90 283 0 11218 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46016
[startup+1.50198 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 13899
/proc/meminfo: memFree=1899312/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=68940 CPUtime=1.49
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 15779 0 0 0 140 9 0 0 25 0 1 0 303940720 70594560 15441 1992294400 134512640 135674940 4294956208 18446744073709551615 134564196 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 17235 15441 97 283 0 16949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68940
[startup+3.10112 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 13899
/proc/meminfo: memFree=1886192/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=69460 CPUtime=3.09
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 15919 0 0 0 299 10 0 0 25 0 1 0 303940720 71127040 15581 1992294400 134512640 135674940 4294956208 18446744073709551615 134564023 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 17365 15581 98 283 0 17079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69460
[startup+6.30141 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 13899
/proc/meminfo: memFree=1886064/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=70996 CPUtime=6.29
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 16414 0 0 0 619 10 0 0 25 0 1 0 303940720 72699904 15690 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 17749 15690 98 283 0 17463 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70996
[startup+12.702 s]
/proc/loadavg: 0.22 0.05 0.02 2/65 13899
/proc/meminfo: memFree=1885808/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=71260 CPUtime=12.69
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 16503 0 0 0 1258 11 0 0 25 0 1 0 303940720 72970240 15779 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 17815 15779 98 283 0 17529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71260
[startup+25.5011 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 13899
/proc/meminfo: memFree=1884528/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=72448 CPUtime=25.48
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 16868 0 0 0 2537 11 0 0 25 0 1 0 303940720 74186752 16144 1992294400 134512640 135674940 4294956208 18446744073709551615 134552155 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 18112 16144 98 283 0 17826 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72448
[startup+51.1024 s]
/proc/loadavg: 0.60 0.17 0.05 2/65 13899
/proc/meminfo: memFree=1876144/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=81660 CPUtime=51.08
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 19274 0 0 0 5094 14 0 0 25 0 1 0 303940720 83619840 18293 1992294400 134512640 135674940 4294956208 18446744073709551615 134564674 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 20415 18293 98 283 0 20129 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81660
[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 13899
/proc/meminfo: memFree=1860464/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=97092 CPUtime=102.27
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 23131 0 0 0 10208 19 0 0 25 0 1 0 303940720 99422208 22150 1992294400 134512640 135674940 4294956208 18446744073709551615 134551363 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 24273 22150 98 283 0 23987 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 97092
[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 13899
/proc/meminfo: memFree=1846064/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=111844 CPUtime=162.25
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 26752 0 0 0 16203 22 0 0 25 0 1 0 303940720 114528256 25771 1992294400 134512640 135674940 4294956208 18446744073709551615 134550595 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 27961 25771 98 283 0 27675 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 111844
[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/65 13899
/proc/meminfo: memFree=1843504/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=114548 CPUtime=222.24
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27333 0 0 0 22201 23 0 0 25 0 1 0 303940720 117297152 26352 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28637 26352 99 283 0 28351 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 114548
[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/65 13899
/proc/meminfo: memFree=1842800/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=115220 CPUtime=282.22
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27494 0 0 0 28199 23 0 0 25 0 1 0 303940720 117985280 26513 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28805 26513 99 283 0 28519 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 115220
[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/65 13899
/proc/meminfo: memFree=1842608/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=115476 CPUtime=342.21
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27545 0 0 0 34198 23 0 0 25 0 1 0 303940720 118247424 26564 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28869 26564 99 283 0 28583 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 115476
[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.34 2/65 13899
/proc/meminfo: memFree=1842544/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=115476 CPUtime=402.19
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27548 0 0 0 40196 23 0 0 25 0 1 0 303940720 118247424 26567 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28869 26567 99 283 0 28583 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 115476
[startup+462.301 s]
/proc/loadavg: 0.99 0.78 0.38 2/65 13899
/proc/meminfo: memFree=1842480/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=115476 CPUtime=462.18
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27549 0 0 0 46195 23 0 0 25 0 1 0 303940720 118247424 26568 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28869 26568 99 283 0 28583 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 115476
[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 13899
/proc/meminfo: memFree=1842352/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=115668 CPUtime=522.16
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27561 0 0 0 52193 23 0 0 25 0 1 0 303940720 118444032 26580 1992294400 134512640 135674940 4294956208 18446744073709551615 134564571 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28917 26580 99 283 0 28631 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 115668
[startup+582.302 s]
/proc/loadavg: 0.99 0.85 0.45 2/65 13905
/proc/meminfo: memFree=1842160/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=115668 CPUtime=582.15
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27575 0 0 0 58191 24 0 0 25 0 1 0 303940720 118444032 26594 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28917 26594 99 283 0 28631 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 115668
[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/65 13905
/proc/meminfo: memFree=1842288/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=115668 CPUtime=642.14
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 27582 0 0 0 64190 24 0 0 25 0 1 0 303940720 118444032 26601 1992294400 134512640 135674940 4294956208 18446744073709551615 134564288 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 28917 26601 99 283 0 28631 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 115668
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1164144/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814464 CPUtime=9100.07
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201569 0 0 0 909771 236 0 0 25 0 1 0 303940720 834011136 194661 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203616 194661 99 283 0 203330 0
Current children cumulated CPU time (s) 9100.07
Current children cumulated vsize (KiB) 814464
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163696/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9160.06
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201777 0 0 0 915770 236 0 0 25 0 1 0 303940720 834535424 194740 1992294400 134512640 135674940 4294956208 18446744073709551615 134558972 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194740 99 283 0 203458 0
Current children cumulated CPU time (s) 9160.06
Current children cumulated vsize (KiB) 814976
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163632/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9220.04
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201815 0 0 0 921768 236 0 0 25 0 1 0 303940720 834535424 194778 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194778 99 283 0 203458 0
Current children cumulated CPU time (s) 9220.04
Current children cumulated vsize (KiB) 814976
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163632/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9280.03
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201825 0 0 0 927767 236 0 0 25 0 1 0 303940720 834535424 194788 1992294400 134512640 135674940 4294956208 18446744073709551615 134564608 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194788 99 283 0 203458 0
Current children cumulated CPU time (s) 9280.03
Current children cumulated vsize (KiB) 814976
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163568/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9340.02
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201830 0 0 0 933765 237 0 0 25 0 1 0 303940720 834535424 194793 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194793 99 283 0 203458 0
Current children cumulated CPU time (s) 9340.02
Current children cumulated vsize (KiB) 814976
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163504/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9400.01
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201830 0 0 0 939764 237 0 0 25 0 1 0 303940720 834535424 194793 1992294400 134512640 135674940 4294956208 18446744073709551615 134564854 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194793 99 283 0 203458 0
Current children cumulated CPU time (s) 9400.01
Current children cumulated vsize (KiB) 814976
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163440/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9459.99
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201830 0 0 0 945762 237 0 0 25 0 1 0 303940720 834535424 194793 1992294400 134512640 135674940 4294956208 18446744073709551615 134552171 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194793 99 283 0 203458 0
Current children cumulated CPU time (s) 9459.99
Current children cumulated vsize (KiB) 814976
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163376/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9519.98
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201830 0 0 0 951761 237 0 0 25 0 1 0 303940720 834535424 194793 1992294400 134512640 135674940 4294956208 18446744073709551615 134564285 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194793 99 283 0 203458 0
Current children cumulated CPU time (s) 9519.98
Current children cumulated vsize (KiB) 814976
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163312/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9579.96
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201835 0 0 0 957759 237 0 0 25 0 1 0 303940720 834535424 194798 1992294400 134512640 135674940 4294956208 18446744073709551615 134564250 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194798 99 283 0 203458 0
Current children cumulated CPU time (s) 9579.96
Current children cumulated vsize (KiB) 814976
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163312/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9639.94
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201835 0 0 0 963757 237 0 0 25 0 1 0 303940720 834535424 194798 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194798 99 283 0 203458 0
Current children cumulated CPU time (s) 9639.94
Current children cumulated vsize (KiB) 814976
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163248/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9699.93
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201837 0 0 0 969756 237 0 0 25 0 1 0 303940720 834535424 194800 1992294400 134512640 135674940 4294956208 18446744073709551615 134564761 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194800 99 283 0 203458 0
Current children cumulated CPU time (s) 9699.93
Current children cumulated vsize (KiB) 814976
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1163184/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=814976 CPUtime=9759.91
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201839 0 0 0 975754 237 0 0 25 0 1 0 303940720 834535424 194802 1992294400 134512640 135674940 4294956208 18446744073709551615 134564271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 203744 194802 99 283 0 203458 0
Current children cumulated CPU time (s) 9759.91
Current children cumulated vsize (KiB) 814976
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.95 3/65 13921
/proc/meminfo: memFree=1162544/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=816008 CPUtime=9819.9
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 201993 0 0 0 981753 237 0 0 25 0 1 0 303940720 835592192 194956 1992294400 134512640 135674940 4294956208 18446744073709551615 134564826 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 204002 194956 99 283 0 203716 0
Current children cumulated CPU time (s) 9819.9
Current children cumulated vsize (KiB) 816008
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1159024/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=821660 CPUtime=9879.89
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 203640 0 0 0 987751 238 0 0 25 0 1 0 303940720 841379840 195829 1992294400 134512640 135674940 4294956208 18446744073709551615 134555868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 205415 195829 99 283 0 205129 0
Current children cumulated CPU time (s) 9879.89
Current children cumulated vsize (KiB) 821660
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1157104/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=825768 CPUtime=9939.87
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 204751 0 0 0 993748 239 0 0 25 0 1 0 303940720 845586432 196298 1992294400 134512640 135674940 4294956208 18446744073709551615 134539923 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 206442 196298 99 283 0 206156 0
Current children cumulated CPU time (s) 9939.87
Current children cumulated vsize (KiB) 825768
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1157104/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=825768 CPUtime=9999.86
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 204751 0 0 0 999747 239 0 0 25 0 1 0 303940720 845586432 196298 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 206442 196298 99 283 0 206156 0
Current children cumulated CPU time (s) 9999.86
Current children cumulated vsize (KiB) 825768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.5 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1157104/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=825768 CPUtime=10000.1
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4194304 204751 0 0 0 999767 239 0 0 25 0 1 0 303940720 845586432 196298 1992294400 134512640 135674940 4294956208 18446744073709551615 134564017 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 206442 196298 99 283 0 206156 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 825768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 13921
/proc/meminfo: memFree=1157104/2055920 swapFree=4171716/4192956
[pid=13898] ppid=13896 vsize=0 CPUtime=10000.2
/proc/13898/stat : 13898 (SApperloT-base) R 13896 13898 13861 0 -1 4195332 204751 0 0 0 999767 249 0 0 25 0 1 0 303940720 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/13898/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.6
CPU time (s): 10000.2
CPU user time (s): 9997.67
CPU system time (s): 2.51962
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 825768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.67
system time used= 2.51962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204751
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= 2
involuntary context switches= 15942
runsolver used 7.37288 second user time and 20.6689 second system time
The end
Begin job on node43 at 2009-05-19 20:52:07
IDJOB=1831442
IDBENCH=20375
IDSOLVER=642
FILE ID=node43/1831442-1242759124
PBS_JOBID= 9322257
Free space on /tmp= 66404 MiB
SOLVER NAME= SApperloT base
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf
COMMAND LINE= HOME/SApperloT-base -seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1831442-1242759124/watcher-1831442-1242759124 -o /tmp/evaluation-result-1831442-1242759124/solver-1831442-1242759124 -C 10000 -W 12000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1393270419 HOME/instance-1831442-1242759124.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a2687a8a1b0deeabfd7eddcfa56549a2
RANDOM SEED=1393270419
node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.237
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.237
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: 1949272 kB
Buffers: 5120 kB
Cached: 53480 kB
SwapCached: 15316 kB
Active: 53664 kB
Inactive: 25780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1949272 kB
SwapTotal: 4192956 kB
SwapFree: 4171716 kB
Dirty: 30428 kB
Writeback: 0 kB
Mapped: 13832 kB
Slab: 13232 kB
Committed_AS: 1111592 kB
PageTables: 1448 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= 66404 MiB
End job on node43 at 2009-05-19 23:38:51