runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-459996-1179017160 -o ROOT/results/node38/solver-459996-1179017160 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/459996-1179017160/MiraXTv3_dyn /tmp/evaluation/459996-1179017160/instance-459996-1179017160.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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.84 1.97 1.99 3/77 7377
/proc/meminfo: memFree=1103680/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=3788 CPUtime=0
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 357 0 0 0 0 0 0 0 18 0 1 0 333882681 3878912 332 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 947 338 202 20 0 305 0
[startup+0.084696 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 7377
/proc/meminfo: memFree=1103680/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=9680 CPUtime=0.07
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 1957 0 0 0 7 0 0 0 18 0 1 0 333882681 9912320 1932 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 2420 1932 206 20 0 1778 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9680
[startup+0.101699 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 7377
/proc/meminfo: memFree=1103680/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=11540 CPUtime=0.09
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 2295 0 0 0 8 1 0 0 18 0 1 0 333882681 11816960 2270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134579267 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 2885 2272 206 20 0 2243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11540
[startup+0.301738 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 7377
/proc/meminfo: memFree=1103680/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=26260 CPUtime=0.29
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 5752 0 0 0 26 3 0 0 19 0 1 0 333882681 26890240 5727 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 6565 5730 206 20 0 5923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26260
[startup+0.701814 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 7377
/proc/meminfo: memFree=1103680/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=37212 CPUtime=0.69
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 8601 0 0 0 65 4 0 0 23 0 1 0 333882681 38105088 8576 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134584083 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 9303 8576 207 20 0 8661 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37212
[startup+1.50198 s]
/proc/loadavg: 1.84 1.97 1.99 2/78 7378
/proc/meminfo: memFree=1070136/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=40248 CPUtime=1.49
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 9372 0 0 0 145 4 0 0 25 0 1 0 333882681 41213952 9347 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 10062 9347 207 20 0 9420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40248
[startup+3.10128 s]
/proc/loadavg: 1.77 1.95 1.98 2/78 7378
/proc/meminfo: memFree=1051064/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=67880 CPUtime=3.08
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 16224 0 0 0 301 7 0 0 25 0 1 0 333882681 69509120 16199 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134584069 0 0 4096 0 0 0 0 17 0 0 0
/proc/7377/statm: 16970 16199 207 20 0 16328 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67880
[startup+6.30189 s]
/proc/loadavg: 1.77 1.95 1.98 2/78 7378
/proc/meminfo: memFree=1038144/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=69248 CPUtime=6.29
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194304 16565 0 0 0 621 8 0 0 25 0 1 0 333882681 70909952 16540 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583711 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 17312 16540 207 20 0 16670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69248
[startup+12.7011 s]
/proc/loadavg: 1.65 1.92 1.97 3/80 7380
/proc/meminfo: memFree=997552/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=176284 CPUtime=12.85
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 28774 0 0 0 1270 15 0 0 25 0 3 0 333882681 180514816 26675 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 44071 26675 218 20 0 43429 0
[pid=7377/tid=7379] ppid=7375 vsize=176284 CPUtime=1.54
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 5410 0 0 0 151 3 0 0 25 0 3 0 333883796 180514816 26675 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=176284 CPUtime=0.17
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194368 5230 0 0 0 14 3 0 0 16 0 3 0 333883796 180514816 26675 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.85
Current children cumulated vsize (KiB) 176284
[startup+25.5016 s]
/proc/loadavg: 1.63 1.90 1.97 3/80 7380
/proc/meminfo: memFree=994928/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=177592 CPUtime=32.13
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 30736 0 0 0 3196 17 0 0 25 0 3 0 333882681 181854208 27351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 44398 27351 218 20 0 43756 0
[pid=7377/tid=7379] ppid=7375 vsize=177592 CPUtime=14.33
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 6355 0 0 0 1430 3 0 0 17 0 3 0 333883796 181854208 27351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525990 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=177592 CPUtime=6.64
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 6247 0 0 0 660 4 0 0 25 0 3 0 333883796 181854208 27351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134566020 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 32.13
Current children cumulated vsize (KiB) 177592
[startup+51.1025 s]
/proc/loadavg: 1.76 1.91 1.97 3/80 7380
/proc/meminfo: memFree=972336/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=199792 CPUtime=83.2
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 36646 0 0 0 8295 25 0 0 25 0 3 0 333882681 204587008 33189 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 49948 33189 218 20 0 49306 0
[pid=7377/tid=7379] ppid=7375 vsize=199792 CPUtime=39.91
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 9104 0 0 0 3985 6 0 0 25 0 3 0 333883796 204587008 33189 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=199792 CPUtime=32.13
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 9408 0 0 0 3204 9 0 0 25 0 3 0 333883796 204587008 33189 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134517139 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 83.2
Current children cumulated vsize (KiB) 199792
[startup+102.306 s]
/proc/loadavg: 1.82 1.91 1.96 2/80 7380
/proc/meminfo: memFree=903536/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=267320 CPUtime=182.94
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 55531 0 0 0 18245 49 0 0 25 0 3 0 333882681 273735680 50047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 66830 50047 218 20 0 66188 0
[pid=7377/tid=7379] ppid=7375 vsize=267320 CPUtime=90.33
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 20269 0 0 0 9017 16 0 0 25 0 3 0 333883796 273735680 50047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=267320 CPUtime=81.44
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194368 17128 0 0 0 8122 22 0 0 25 0 3 0 333883796 273735680 50047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 182.94
Current children cumulated vsize (KiB) 267320
Solver just ended. Dumping a history of the last processes samples
[startup+115.102 s]
/proc/loadavg: 1.77 1.89 1.96 2/80 7380
/proc/meminfo: memFree=903728/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=266968 CPUtime=203.62
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 58325 0 0 0 20312 50 0 0 25 0 3 0 333882681 273375232 50005 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 66742 50005 218 20 0 66100 0
[pid=7377/tid=7379] ppid=7375 vsize=266968 CPUtime=103.11
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 21818 0 0 0 10294 17 0 0 25 0 3 0 333883796 273375232 50005 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=266968 CPUtime=89.35
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194368 18373 0 0 0 8912 23 0 0 25 0 3 0 333883796 273375232 50005 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 266968
[startup+121.502 s]
/proc/loadavg: 1.71 1.88 1.95 3/80 7380
/proc/meminfo: memFree=901488/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=270052 CPUtime=212.39
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 60652 0 0 0 21187 52 0 0 25 0 3 0 333882681 276533248 50609 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 67513 50609 218 20 0 66871 0
[pid=7377/tid=7379] ppid=7375 vsize=270052 CPUtime=106.51
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 22332 0 0 0 10634 17 0 0 18 0 3 0 333883796 276533248 50609 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=270052 CPUtime=94.73
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 20186 0 0 0 9448 25 0 0 25 0 3 0 333883796 276533248 50609 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134536626 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 212.39
Current children cumulated vsize (KiB) 270052
[startup+124.702 s]
/proc/loadavg: 1.74 1.88 1.95 2/80 7380
/proc/meminfo: memFree=903472/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=270052 CPUtime=216.85
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 62376 0 0 0 21632 53 0 0 25 0 3 0 333882681 276533248 50610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 67513 50610 218 20 0 66871 0
[pid=7377/tid=7379] ppid=7375 vsize=270052 CPUtime=107.79
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 22846 0 0 0 10761 18 0 0 17 0 3 0 333883796 276533248 50610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=270052 CPUtime=97.9
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 21396 0 0 0 9765 25 0 0 18 0 3 0 333883796 276533248 50610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 216.85
Current children cumulated vsize (KiB) 270052
[startup+126.302 s]
/proc/loadavg: 1.74 1.88 1.95 3/80 7380
/proc/meminfo: memFree=901616/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=270052 CPUtime=220.04
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 62376 0 0 0 21951 53 0 0 25 0 3 0 333882681 276533248 50610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 67513 50610 218 20 0 66871 0
[pid=7377/tid=7379] ppid=7375 vsize=270052 CPUtime=109.39
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 22846 0 0 0 10921 18 0 0 19 0 3 0 333883796 276533248 50610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=270052 CPUtime=99.5
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 21396 0 0 0 9925 25 0 0 25 0 3 0 333883796 276533248 50610 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526480 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (KiB) 270052
[startup+127.101 s]
/proc/loadavg: 1.74 1.88 1.95 3/80 7380
/proc/meminfo: memFree=901616/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=266968 CPUtime=221.3
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 62890 0 0 0 22077 53 0 0 25 0 3 0 333882681 273375232 50005 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 66742 50005 218 20 0 66100 0
[pid=7377/tid=7379] ppid=7375 vsize=266968 CPUtime=110.06
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 23360 0 0 0 10988 18 0 0 16 0 3 0 333883796 273375232 50005 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=266968 CPUtime=100.08
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194368 21396 0 0 0 9983 25 0 0 25 0 3 0 333883796 273375232 50005 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.3
Current children cumulated vsize (KiB) 266968
[startup+127.501 s]
/proc/loadavg: 1.68 1.86 1.95 3/80 7380
/proc/meminfo: memFree=929584/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=195048 CPUtime=221.72
/proc/7377/stat : 7377 (MiraXTv3_dyn) S 7375 7377 6987 0 -1 4194304 62890 0 0 0 22119 53 0 0 25 0 3 0 333882681 199729152 43510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7377/statm: 48762 43510 724 20 0 48120 0
[pid=7377/tid=7379] ppid=7375 vsize=195048 CPUtime=110.45
/proc/7377/task/7379/stat : 7379 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 23360 0 0 0 11027 18 0 0 16 0 3 0 333883796 199729152 43510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7377/tid=7380] ppid=7375 vsize=195048 CPUtime=100.11
/proc/7377/task/7380/stat : 7380 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194368 21396 0 0 0 9986 25 0 0 16 0 3 0 333883796 199729152 43510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.72
Current children cumulated vsize (KiB) 195048
[startup+127.606 s]
/proc/loadavg: 1.68 1.86 1.95 3/80 7380
/proc/meminfo: memFree=929584/2055920 swapFree=4154688/4192956
[pid=7377] ppid=7375 vsize=0 CPUtime=221.82
/proc/7377/stat : 7377 (MiraXTv3_dyn) R 7375 7377 6987 0 -1 4194308 62895 0 0 0 22126 56 0 0 17 0 1 0 333882681 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/7377/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 221.82
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 127.613
CPU time (s): 221.837
CPU user time (s): 221.269
CPU system time (s): 0.567913
CPU usage (%): 173.836
Max. virtual memory (cumulated for all children) (KiB): 270052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.269
system time used= 0.567913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62895
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= 1335
involuntary context switches= 4257
runsolver used 0.12998 second user time and 0.339948 second system time
The end
Begin job on node38 on Sun May 13 00:46:00 UTC 2007
IDJOB= 459996
IDBENCH= 20415
IDSOLVER= 196
FILE ID= node38/459996-1179017160
PBS_JOBID= 5253006
Free space on /tmp= 66543 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.cnf
COMMAND LINE= /tmp/evaluation/459996-1179017160/MiraXTv3_dyn /tmp/evaluation/459996-1179017160/instance-459996-1179017160.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-459996-1179017160 -o ROOT/results/node38/solver-459996-1179017160 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/459996-1179017160/MiraXTv3_dyn /tmp/evaluation/459996-1179017160/instance-459996-1179017160.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= 4b97e69214a2eddbe060a9ecc3dfbbd8
RANDOM SEED= 263933367
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node38.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.263
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.263
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: 1103960 kB
Buffers: 52996 kB
Cached: 745044 kB
SwapCached: 6944 kB
Active: 559620 kB
Inactive: 261932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1103960 kB
SwapTotal: 4192956 kB
SwapFree: 4154688 kB
Dirty: 11220 kB
Writeback: 0 kB
Mapped: 30524 kB
Slab: 115688 kB
Committed_AS: 4763640 kB
PageTables: 2060 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= 66543 MiB
End job on node38 on Sun May 13 00:48:08 UTC 2007