runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node27/watcher-367609-1176965533 -o ROOT/results/node27/solver-367609-1176965533 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367609-1176965533/mxc /tmp/evaluation/367609-1176965533/instance-367609-1176965533.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): 15000 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: 1.00 1.00 1.00 3/65 22986
/proc/meminfo: memFree=1371376/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=77700 CPUtime=0
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 733 0 0 0 0 0 0 0 18 0 1 0 109249671 79564800 717 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 19425 724 42 122 0 19299 0
[startup+0.0983069 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 22986
/proc/meminfo: memFree=1371376/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=77700 CPUtime=0.09
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 15958 0 0 0 0 9 0 0 18 0 1 0 109249671 79564800 15943 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 19425 15950 42 122 0 19299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 77700
[startup+0.101307 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 22986
/proc/meminfo: memFree=1371376/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=77700 CPUtime=0.1
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 16465 0 0 0 0 10 0 0 18 0 1 0 109249671 79564800 16449 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134550509 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 19425 16456 42 122 0 19299 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 77700
[startup+0.301326 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 22986
/proc/meminfo: memFree=1371376/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=108200 CPUtime=0.29
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 25854 0 0 0 15 14 0 0 19 0 1 0 109249671 110796800 25838 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 27050 25838 46 122 0 26924 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108200
[startup+0.701368 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 22986
/proc/meminfo: memFree=1371376/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=128488 CPUtime=0.69
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 30876 0 0 0 52 17 0 0 22 0 1 0 109249671 131571712 30860 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 32122 30860 46 122 0 31996 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128488
[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1234856/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=83928 CPUtime=1.49
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 38754 0 0 0 128 21 0 0 25 0 1 0 109249671 85942272 19546 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134520738 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 20982 19546 47 122 0 20856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83928
[startup+3.10161 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1292584/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=86960 CPUtime=3.09
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 39506 0 0 0 287 22 0 0 25 0 1 0 109249671 89047040 20298 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519191 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 21740 20298 59 122 0 21614 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86960
[startup+6.30194 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1291240/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=87896 CPUtime=6.29
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 39764 0 0 0 606 23 0 0 25 0 1 0 109249671 90005504 20556 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519927 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 21974 20556 59 122 0 21848 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87896
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1289256/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=90012 CPUtime=12.69
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 40262 0 0 0 1245 24 0 0 25 0 1 0 109249671 92172288 21054 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 22503 21054 59 122 0 22377 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90012
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1283368/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=96088 CPUtime=25.48
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 41772 0 0 0 2523 25 0 0 25 0 1 0 109249671 98394112 22564 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519608 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 24022 22564 59 122 0 23896 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 96088
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1274536/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=105080 CPUtime=51.08
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 44007 0 0 0 5080 28 0 0 25 0 1 0 109249671 107601920 24799 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519651 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 26270 24799 59 122 0 26144 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 105080
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1237864/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=142004 CPUtime=102.27
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 53139 0 0 0 10189 38 0 0 25 0 1 0 109249671 145412096 33931 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 35501 33931 59 122 0 35375 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 142004
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1182120/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=199588 CPUtime=162.25
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 67422 0 0 0 16176 49 0 0 25 0 1 0 109249671 204378112 48214 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530562 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 49897 48214 59 122 0 49771 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 199588
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1120488/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=259532 CPUtime=222.24
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 82425 0 0 0 22163 61 0 0 25 0 1 0 109249671 265760768 63217 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134528104 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 64883 63217 59 122 0 64757 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 259532
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=1013672/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=367932 CPUtime=282.22
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 109582 0 0 0 28143 79 0 0 25 0 1 0 109249671 376762368 90374 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 91983 90374 59 122 0 91857 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 367932
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=848680/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=531376 CPUtime=342.21
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 150445 0 0 0 34119 102 0 0 25 0 1 0 109249671 544129024 131237 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134688363 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 132844 131237 59 122 0 132718 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 531376
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=699496/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=682728 CPUtime=402.19
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 188037 0 0 0 40095 124 0 0 25 0 1 0 109249671 699113472 168829 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531201 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 170682 168829 59 122 0 170556 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 682728
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=552424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=828032 CPUtime=462.17
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 224354 0 0 0 46074 143 0 0 25 0 1 0 109249671 847904768 205146 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 207008 205146 59 122 0 206882 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 828032
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 22987
/proc/meminfo: memFree=450728/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=930436 CPUtime=522.16
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 249950 0 0 0 52057 159 0 0 25 0 1 0 109249671 952766464 230742 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529591 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 232609 230742 59 122 0 232483 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 930436
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23185
/proc/meminfo: memFree=340632/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1039080 CPUtime=582.05
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 277144 0 0 0 58027 178 0 0 25 0 1 0 109249671 1064017920 257936 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531196 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 259770 257936 59 122 0 259644 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1039080
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23185
/proc/meminfo: memFree=224424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1154276 CPUtime=642.04
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 305915 0 0 0 64005 199 0 0 25 0 1 0 109249671 1181978624 286707 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530208 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 288569 286707 59 122 0 288443 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1154276
################
# More data... #
################
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23585
/proc/meminfo: memFree=16872/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369112 CPUtime=9219.69
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363687 0 0 0 921717 252 0 0 25 0 1 0 109249671 1401970688 340127 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342278 340127 67 122 0 342152 0
Current children cumulated CPU time (s) 9219.69
Current children cumulated vsize (KiB) 1369112
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23585
/proc/meminfo: memFree=16808/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369112 CPUtime=9279.67
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363705 0 0 0 927715 252 0 0 25 0 1 0 109249671 1401970688 340145 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530208 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342278 340145 67 122 0 342152 0
Current children cumulated CPU time (s) 9279.67
Current children cumulated vsize (KiB) 1369112
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23587
/proc/meminfo: memFree=16616/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369112 CPUtime=9339.66
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363721 0 0 0 933713 253 0 0 25 0 1 0 109249671 1401970688 340161 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342278 340161 67 122 0 342152 0
Current children cumulated CPU time (s) 9339.66
Current children cumulated vsize (KiB) 1369112
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23587
/proc/meminfo: memFree=16616/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369112 CPUtime=9399.64
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363722 0 0 0 939711 253 0 0 25 0 1 0 109249671 1401970688 340162 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342278 340162 67 122 0 342152 0
Current children cumulated CPU time (s) 9399.64
Current children cumulated vsize (KiB) 1369112
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23587
/proc/meminfo: memFree=16744/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369112 CPUtime=9459.63
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363722 0 0 0 945710 253 0 0 25 0 1 0 109249671 1401970688 340162 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134531203 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342278 340162 67 122 0 342152 0
Current children cumulated CPU time (s) 9459.63
Current children cumulated vsize (KiB) 1369112
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23587
/proc/meminfo: memFree=16680/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9519.61
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363730 0 0 0 951708 253 0 0 25 0 1 0 109249671 1402494976 340170 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340170 67 122 0 342280 0
Current children cumulated CPU time (s) 9519.61
Current children cumulated vsize (KiB) 1369624
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23587
/proc/meminfo: memFree=16616/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9579.59
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363741 0 0 0 957706 253 0 0 25 0 1 0 109249671 1402494976 340181 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340181 67 122 0 342280 0
Current children cumulated CPU time (s) 9579.59
Current children cumulated vsize (KiB) 1369624
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23587
/proc/meminfo: memFree=16616/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9639.58
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363746 0 0 0 963705 253 0 0 25 0 1 0 109249671 1402494976 340186 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340186 67 122 0 342280 0
Current children cumulated CPU time (s) 9639.58
Current children cumulated vsize (KiB) 1369624
[startup+9702.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 23587
/proc/meminfo: memFree=16616/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9699.56
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363746 0 0 0 969703 253 0 0 25 0 1 0 109249671 1402494976 340186 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134529589 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340186 67 122 0 342280 0
Current children cumulated CPU time (s) 9699.56
Current children cumulated vsize (KiB) 1369624
[startup+9762.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 23587
/proc/meminfo: memFree=16616/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9759.54
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363746 0 0 0 975701 253 0 0 25 0 1 0 109249671 1402494976 340186 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340186 67 122 0 342280 0
Current children cumulated CPU time (s) 9759.54
Current children cumulated vsize (KiB) 1369624
[startup+9822.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 23587
/proc/meminfo: memFree=16424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9819.53
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363776 0 0 0 981700 253 0 0 25 0 1 0 109249671 1402494976 340216 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519651 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340216 67 122 0 342280 0
Current children cumulated CPU time (s) 9819.53
Current children cumulated vsize (KiB) 1369624
[startup+9882.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/66 23587
/proc/meminfo: memFree=16424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9879.53
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363776 0 0 0 987699 254 0 0 25 0 1 0 109249671 1402494976 340216 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519651 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340216 67 122 0 342280 0
Current children cumulated CPU time (s) 9879.53
Current children cumulated vsize (KiB) 1369624
[startup+9942.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/66 23587
/proc/meminfo: memFree=16424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9939.51
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363776 0 0 0 993697 254 0 0 25 0 1 0 109249671 1402494976 340216 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340216 67 122 0 342280 0
Current children cumulated CPU time (s) 9939.51
Current children cumulated vsize (KiB) 1369624
[startup+10002.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 23587
/proc/meminfo: memFree=16424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=9999.49
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363776 0 0 0 999695 254 0 0 25 0 1 0 109249671 1402494976 340216 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340216 67 122 0 342280 0
Current children cumulated CPU time (s) 9999.49
Current children cumulated vsize (KiB) 1369624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.9 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 23587
/proc/meminfo: memFree=16424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=1369624 CPUtime=10000.1
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4194304 363776 0 0 0 999755 254 0 0 25 0 1 0 109249671 1402494976 340216 18446744073709551615 134512640 135013041 4294956672 18446744073709551615 134530561 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 342406 340216 67 122 0 342280 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 1369624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 23587
/proc/meminfo: memFree=16424/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=0 CPUtime=10000.2
/proc/22986/stat : 22986 (mxc) R 22984 22986 22692 0 -1 4195332 363776 0 0 0 999755 264 0 0 25 0 1 0 109249671 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/22986/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0
[startup+10003.8 s]
/proc/loadavg: 1.02 1.03 1.00 1/66 23588
/proc/meminfo: memFree=1379624/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=0 CPUtime=10000.3
/proc/22986/stat : 22986 (mxc) D 22984 22986 22692 0 -1 4195332 363776 0 0 0 999755 275 0 0 25 0 1 0 109249671 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/22986/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.3
Current children cumulated vsize (KiB) 0
[startup+10004 s]
/proc/loadavg: 1.02 1.03 1.00 1/66 23588
/proc/meminfo: memFree=1379624/2055920 swapFree=4179984/4192956
[pid=22986] ppid=22984 vsize=0 CPUtime=10000.3
/proc/22986/stat : 22986 (mxc) D 22984 22986 22692 0 -1 4195332 363776 0 0 0 999755 275 0 0 25 0 1 0 109249671 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/22986/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.3
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10004.1
CPU time (s): 10000.3
CPU user time (s): 9997.56
CPU system time (s): 2.75158
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 1370696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.56
system time used= 2.75158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363776
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= 8152
runsolver used 7.62084 second user time and 20.5039 second system time
The end
Begin job on node27 on Thu Apr 19 06:52:18 UTC 2007
IDJOB= 367609
IDBENCH= 20576
IDSOLVER= 174
FILE ID= node27/367609-1176965533
PBS_JOBID= 4630285
Free space on /tmp= 66302 MiB
SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf
COMMAND LINE= /tmp/evaluation/367609-1176965533/mxc /tmp/evaluation/367609-1176965533/instance-367609-1176965533.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-367609-1176965533 -o ROOT/results/node27/solver-367609-1176965533 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/367609-1176965533/mxc /tmp/evaluation/367609-1176965533/instance-367609-1176965533.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED= 896405835
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
Linux node27.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.213
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.213
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: 1371848 kB
Buffers: 29776 kB
Cached: 574780 kB
SwapCached: 6696 kB
Active: 119040 kB
Inactive: 497996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1371848 kB
SwapTotal: 4192956 kB
SwapFree: 4179984 kB
Dirty: 77424 kB
Writeback: 0 kB
Mapped: 15516 kB
Slab: 53088 kB
Committed_AS: 1673968 kB
PageTables: 1412 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= 66302 MiB
End job on node27 on Thu Apr 19 09:39:03 UTC 2007