runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-293255-1178812789 -o ROOT/results/node3/solver-293255-1178812789 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/293255-1178812789/MiraXTv3_dyn /tmp/evaluation/293255-1178812789/instance-293255-1178812789.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.99 0.99 3/77 9888
/proc/meminfo: memFree=1825568/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=3788 CPUtime=0
/proc/9888/stat : 9888 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 357316667 3878912 262 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 11359867 0 0 4096 0 0 0 0 17 1 0 0
/proc/9888/statm: 947 262 206 20 0 305 0
[startup+0.011529 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 9888
/proc/meminfo: memFree=1825568/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=3916 CPUtime=0
/proc/9888/stat : 9888 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194304 338 0 0 0 0 0 0 0 18 0 1 0 357316667 4009984 313 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583719 0 0 4096 0 0 0 0 17 1 0 0
/proc/9888/statm: 979 313 207 20 0 337 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3916
[startup+0.102548 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 9888
/proc/meminfo: memFree=1825568/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=6772 CPUtime=0.17
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 720 0 0 0 17 0 0 0 18 0 3 0 357316667 6934528 695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 1693 695 218 20 0 1051 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6772
[startup+0.30258 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 9888
/proc/meminfo: memFree=1825568/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=8960 CPUtime=0.57
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 1222 0 0 0 57 0 0 0 18 0 3 0 357316667 9175040 1197 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 2240 1197 218 20 0 1598 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8960
[startup+0.701646 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 9888
/proc/meminfo: memFree=1825568/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=11528 CPUtime=1.36
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 1987 0 0 0 136 0 0 0 18 0 3 0 357316667 11804672 1962 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 2882 1962 218 20 0 2240 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 11528
[startup+1.50178 s]
/proc/loadavg: 0.92 0.99 0.99 3/80 9891
/proc/meminfo: memFree=1816584/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=15252 CPUtime=2.96
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 2768 0 0 0 295 1 0 0 18 0 3 0 357316667 15618048 2743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 3813 2743 218 20 0 3171 0
[pid=9888/tid=9890] ppid=9886 vsize=15252 CPUtime=1.47
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 1212 0 0 0 147 0 0 0 18 0 3 0 357316669 15618048 2743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=15252 CPUtime=1.46
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 1195 0 0 0 146 0 0 0 18 0 3 0 357316669 15618048 2743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 15252
[startup+3.10103 s]
/proc/loadavg: 0.92 0.99 0.99 3/80 9891
/proc/meminfo: memFree=1814088/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=18540 CPUtime=6.14
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 3844 0 0 0 612 2 0 0 18 0 3 0 357316667 18984960 3747 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 4635 3747 218 20 0 3993 0
[pid=9888/tid=9890] ppid=9886 vsize=18540 CPUtime=3.08
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 1650 0 0 0 307 1 0 0 18 0 3 0 357316669 18984960 3747 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=18540 CPUtime=3.05
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 1833 0 0 0 304 1 0 0 18 0 3 0 357316669 18984960 3747 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 18540
[startup+6.30156 s]
/proc/loadavg: 1.01 1.00 1.00 3/80 9891
/proc/meminfo: memFree=1804616/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=27872 CPUtime=12.52
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 6102 0 0 0 1248 4 0 0 18 0 3 0 357316667 28540928 5927 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 6968 5927 218 20 0 6326 0
[pid=9888/tid=9890] ppid=9886 vsize=27872 CPUtime=6.27
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 2709 0 0 0 626 1 0 0 25 0 3 0 357316669 28540928 5927 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=27872 CPUtime=6.22
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 3032 0 0 0 620 2 0 0 25 0 3 0 357316669 28540928 5927 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 27872
[startup+12.7016 s]
/proc/loadavg: 1.09 1.02 1.01 3/80 9891
/proc/meminfo: memFree=1794824/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=35932 CPUtime=25.28
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 8319 0 0 0 2522 6 0 0 18 0 3 0 357316667 36794368 7836 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 8983 7836 218 20 0 8341 0
[pid=9888/tid=9890] ppid=9886 vsize=35932 CPUtime=12.66
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 3889 0 0 0 1264 2 0 0 20 0 3 0 357316669 36794368 7836 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=35932 CPUtime=12.59
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 4069 0 0 0 1256 3 0 0 25 0 3 0 357316669 36794368 7836 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 35932
[startup+25.5027 s]
/proc/loadavg: 1.29 1.07 1.02 3/80 9891
/proc/meminfo: memFree=1785224/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=45028 CPUtime=50.81
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 11105 0 0 0 5073 8 0 0 18 0 3 0 357316667 46108672 10122 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 11257 10122 218 20 0 10615 0
[pid=9888/tid=9890] ppid=9886 vsize=45028 CPUtime=25.45
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 5317 0 0 0 2542 3 0 0 25 0 3 0 357316669 46108672 10122 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526426 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=45028 CPUtime=25.34
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 5427 0 0 0 2529 5 0 0 25 0 3 0 357316669 46108672 10122 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 45028
[startup+51.1028 s]
/proc/loadavg: 1.53 1.14 1.04 3/80 9891
/proc/meminfo: memFree=1780808/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=49968 CPUtime=101.86
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 13219 0 0 0 10176 10 0 0 18 0 3 0 357316667 51167232 11269 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 12492 11269 218 20 0 11850 0
[pid=9888/tid=9890] ppid=9886 vsize=49968 CPUtime=51.04
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 6416 0 0 0 5100 4 0 0 25 0 3 0 357316669 51167232 11269 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=49968 CPUtime=50.8
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 6442 0 0 0 5074 6 0 0 25 0 3 0 357316669 51167232 11269 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 49968
[startup+102.306 s]
/proc/loadavg: 1.79 1.27 1.09 3/86 10047
/proc/meminfo: memFree=1775704/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=53652 CPUtime=203.73
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 15967 0 0 0 20351 22 0 0 18 0 3 0 357316667 54939648 12190 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 13413 12190 218 20 0 12771 0
[pid=9888/tid=9890] ppid=9886 vsize=53652 CPUtime=102.05
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 7698 0 0 0 10200 5 0 0 25 0 3 0 357316669 54939648 12190 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=53652 CPUtime=101.65
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 7908 0 0 0 10149 16 0 0 25 0 3 0 357316669 54939648 12190 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 53652
[startup+162.303 s]
/proc/loadavg: 1.92 1.40 1.15 3/80 10089
/proc/meminfo: memFree=1774856/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=55712 CPUtime=323.31
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 18501 0 0 0 32302 29 0 0 18 0 3 0 357316667 57049088 12661 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 13928 12661 218 20 0 13286 0
[pid=9888/tid=9890] ppid=9886 vsize=55712 CPUtime=161.95
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 8955 0 0 0 16189 6 0 0 25 0 3 0 357316669 57049088 12661 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=55712 CPUtime=161.33
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 9185 0 0 0 16111 22 0 0 25 0 3 0 357316669 57049088 12661 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.31
Current children cumulated vsize (KiB) 55712
[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.20 3/80 10089
/proc/meminfo: memFree=1773128/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=57636 CPUtime=442.98
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 20891 0 0 0 44267 31 0 0 18 0 3 0 357316667 59019264 13145 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 14409 13145 218 20 0 13767 0
[pid=9888/tid=9890] ppid=9886 vsize=57636 CPUtime=221.9
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 10134 0 0 0 22183 7 0 0 25 0 3 0 357316669 59019264 13145 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=57636 CPUtime=221.05
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 10396 0 0 0 22082 23 0 0 25 0 3 0 357316669 59019264 13145 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.98
Current children cumulated vsize (KiB) 57636
[startup+282.301 s]
/proc/loadavg: 1.99 1.59 1.24 3/80 10089
/proc/meminfo: memFree=1771144/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=60236 CPUtime=562.63
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 23259 0 0 0 56230 33 0 0 18 0 3 0 357316667 61681664 13631 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 15059 13631 218 20 0 14417 0
[pid=9888/tid=9890] ppid=9886 vsize=60236 CPUtime=281.86
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 11386 0 0 0 28177 9 0 0 25 0 3 0 357316669 61681664 13631 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=60236 CPUtime=280.74
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 11512 0 0 0 28051 23 0 0 25 0 3 0 357316669 61681664 13631 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.63
Current children cumulated vsize (KiB) 60236
[startup+342.301 s]
/proc/loadavg: 1.99 1.66 1.29 3/80 10089
/proc/meminfo: memFree=1769544/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=61084 CPUtime=682.31
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 25325 0 0 0 68196 35 0 0 18 0 3 0 357316667 62550016 14025 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 15271 14025 218 20 0 14629 0
[pid=9888/tid=9890] ppid=9886 vsize=61084 CPUtime=341.81
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 12430 0 0 0 34171 10 0 0 25 0 3 0 357316669 62550016 14025 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=61084 CPUtime=340.47
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 12534 0 0 0 34023 24 0 0 25 0 3 0 357316669 62550016 14025 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.31
Current children cumulated vsize (KiB) 61084
[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/80 10089
/proc/meminfo: memFree=1764616/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=65472 CPUtime=801.99
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 28513 0 0 0 80160 39 0 0 18 0 3 0 357316667 67043328 15249 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 16368 15249 218 20 0 15726 0
[pid=9888/tid=9890] ppid=9886 vsize=65472 CPUtime=401.78
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 13577 0 0 0 40166 12 0 0 25 0 3 0 357316669 67043328 15249 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=65472 CPUtime=400.19
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 14575 0 0 0 39993 26 0 0 25 0 3 0 357316669 67043328 15249 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526437 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.99
Current children cumulated vsize (KiB) 65472
[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.37 3/80 10089
/proc/meminfo: memFree=1763784/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=67112 CPUtime=921.66
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 30558 0 0 0 92125 41 0 0 18 0 3 0 357316667 68722688 15462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 16778 15462 218 20 0 16136 0
[pid=9888/tid=9890] ppid=9886 vsize=67112 CPUtime=461.74
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 14650 0 0 0 46161 13 0 0 25 0 3 0 357316669 68722688 15462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=67112 CPUtime=459.89
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 15547 0 0 0 45962 27 0 0 25 0 3 0 357316669 68722688 15462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.66
Current children cumulated vsize (KiB) 67112
[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/80 10089
/proc/meminfo: memFree=1762952/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=68164 CPUtime=1041.33
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 32446 0 0 0 104090 43 0 0 18 0 3 0 357316667 69799936 15664 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 17041 15664 218 20 0 16399 0
[pid=9888/tid=9890] ppid=9886 vsize=68164 CPUtime=521.69
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 15552 0 0 0 52155 14 0 0 25 0 3 0 357316669 69799936 15664 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526414 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=68164 CPUtime=519.61
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 16533 0 0 0 51933 28 0 0 25 0 3 0 357316669 69799936 15664 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.33
Current children cumulated vsize (KiB) 68164
[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.44 3/80 10089
/proc/meminfo: memFree=1762248/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=68684 CPUtime=1161.01
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 34262 0 0 0 116056 45 0 0 18 0 3 0 357316667 70332416 15860 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 17171 15860 218 20 0 16529 0
[pid=9888/tid=9890] ppid=9886 vsize=68684 CPUtime=581.65
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 16478 0 0 0 58150 15 0 0 25 0 3 0 357316669 70332416 15860 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=68684 CPUtime=579.33
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 17423 0 0 0 57904 29 0 0 25 0 3 0 357316669 70332416 15860 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.01
Current children cumulated vsize (KiB) 68684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+601.901 s]
/proc/loadavg: 1.99 1.85 1.45 3/80 10089
/proc/meminfo: memFree=1761992/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=69708 CPUtime=1200.1
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 34865 0 0 0 119965 45 0 0 18 0 3 0 357316667 71380992 15918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 17427 15918 218 20 0 16785 0
[pid=9888/tid=9890] ppid=9886 vsize=69708 CPUtime=601.24
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 16773 0 0 0 60109 15 0 0 25 0 3 0 357316669 71380992 15918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=69708 CPUtime=598.84
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 17731 0 0 0 59855 29 0 0 25 0 3 0 357316669 71380992 15918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 69708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+601.901 s]
/proc/loadavg: 1.99 1.85 1.45 3/80 10089
/proc/meminfo: memFree=1761992/2055920 swapFree=4138684/4192956
[pid=9888] ppid=9886 vsize=69708 CPUtime=1200.1
/proc/9888/stat : 9888 (MiraXTv3_dyn) S 9886 9888 8673 0 -1 4194304 34865 0 0 0 119965 45 0 0 18 0 3 0 357316667 71380992 15918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/9888/statm: 17427 15918 218 20 0 16785 0
[pid=9888/tid=9890] ppid=9886 vsize=69708 CPUtime=601.24
/proc/9888/task/9890/stat : 9890 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 16773 0 0 0 60109 15 0 0 25 0 3 0 357316669 71380992 15918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=9888/tid=9891] ppid=9886 vsize=69708 CPUtime=598.84
/proc/9888/task/9891/stat : 9891 (MiraXTv3_dyn) R 9886 9888 8673 0 -1 4194368 17731 0 0 0 59855 29 0 0 25 0 3 0 357316669 71380992 15918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 69708
Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.924
CPU time (s): 1200.14
CPU user time (s): 1199.67
CPU system time (s): 0.466929
CPU usage (%): 199.384
Max. virtual memory (cumulated for all children) (KiB): 69708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.67
system time used= 0.466929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34865
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= 314
involuntary context switches= 22647
runsolver used 0.618905 second user time and 1.61875 second system time
The end
Begin job on node3 on Thu May 10 15:59:49 UTC 2007
IDJOB= 293255
IDBENCH= 19859
IDSOLVER= 128
FILE ID= node3/293255-1178812789
PBS_JOBID= 5250949
Free space on /tmp= 66561 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v120/unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/293255-1178812789/MiraXTv3_dyn /tmp/evaluation/293255-1178812789/instance-293255-1178812789.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-293255-1178812789 -o ROOT/results/node3/solver-293255-1178812789 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/293255-1178812789/MiraXTv3_dyn /tmp/evaluation/293255-1178812789/instance-293255-1178812789.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 710e114bd7c9ad2ada2dc0a847d1be61
RANDOM SEED= 771982001
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node3.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.270
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.270
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: 1825848 kB
Buffers: 38932 kB
Cached: 104052 kB
SwapCached: 18176 kB
Active: 111784 kB
Inactive: 76880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1825848 kB
SwapTotal: 4192956 kB
SwapFree: 4138684 kB
Dirty: 3956 kB
Writeback: 0 kB
Mapped: 51516 kB
Slab: 26844 kB
Committed_AS: 11451116 kB
PageTables: 1852 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= 66561 MiB
End job on node3 on Thu May 10 16:09:53 UTC 2007