runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-455841-1179017687 -o ROOT/results/node38/solver-455841-1179017687 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/455841-1179017687/MiraXTv3_dyn /tmp/evaluation/455841-1179017687/instance-455841-1179017687.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.74 1.85 1.89 3/77 7667
/proc/meminfo: memFree=1109184/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=3784 CPUtime=0
/proc/7667/stat : 7667 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 333935394 3874816 259 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565193 0 0 4096 0 0 0 0 17 1 0 0
/proc/7667/statm: 980 266 209 20 0 338 0
[pid=7667/tid=7668] ppid=7665 vsize=3920 CPUtime=0
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 3 0 333935395 4014080 274 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522556 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=3920 CPUtime=0
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 3 0 333935395 4014080 276 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9453528 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.030421 s]
/proc/loadavg: 1.74 1.85 1.89 3/77 7667
/proc/meminfo: memFree=1109184/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=8096 CPUtime=0.49
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 904 0 0 0 49 0 0 0 18 0 3 0 333935394 8290304 879 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 2024 879 218 20 0 1382 0
[pid=7667/tid=7668] ppid=7665 vsize=8096 CPUtime=0.24
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 300 0 0 0 24 0 0 0 22 0 3 0 333935395 8290304 879 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=8096 CPUtime=0.24
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 313 0 0 0 24 0 0 0 18 0 3 0 333935395 8290304 880 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 8096
[startup+0.325047 s]
/proc/loadavg: 1.74 1.85 1.89 3/77 7667
/proc/meminfo: memFree=1109184/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=8416 CPUtime=0.63
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 1034 0 0 0 63 0 0 0 18 0 3 0 333935394 8617984 1009 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 2104 1009 218 20 0 1462 0
[pid=7667/tid=7668] ppid=7665 vsize=8416 CPUtime=0.32
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 356 0 0 0 32 0 0 0 22 0 3 0 333935395 8617984 1009 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=8416 CPUtime=0.31
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 386 0 0 0 31 0 0 0 18 0 3 0 333935395 8617984 1009 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 8416
[startup+0.402063 s]
/proc/loadavg: 1.74 1.85 1.89 3/77 7667
/proc/meminfo: memFree=1109184/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=8596 CPUtime=0.79
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 1158 0 0 0 79 0 0 0 18 0 3 0 333935394 8802304 1133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 2149 1133 218 20 0 1507 0
[pid=7667/tid=7668] ppid=7665 vsize=8596 CPUtime=0.39
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 414 0 0 0 39 0 0 0 22 0 3 0 333935395 8802304 1133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526426 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=8596 CPUtime=0.39
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 452 0 0 0 39 0 0 0 18 0 3 0 333935395 8802304 1133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 8596
[startup+0.702121 s]
/proc/loadavg: 1.74 1.85 1.89 3/77 7667
/proc/meminfo: memFree=1109184/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=10416 CPUtime=1.39
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 1558 0 0 0 139 0 0 0 18 0 3 0 333935394 10665984 1533 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 2604 1533 218 20 0 1962 0
[pid=7667/tid=7668] ppid=7665 vsize=10416 CPUtime=0.69
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 591 0 0 0 69 0 0 0 25 0 3 0 333935395 10665984 1533 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526426 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=10416 CPUtime=0.69
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 675 0 0 0 69 0 0 0 22 0 3 0 333935395 10665984 1533 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526338 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 10416
[startup+1.50227 s]
/proc/loadavg: 1.74 1.85 1.89 3/80 7670
/proc/meminfo: memFree=1102184/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=12516 CPUtime=2.99
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 2015 0 0 0 298 1 0 0 18 0 3 0 333935394 12816384 1990 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 3129 1990 218 20 0 2487 0
[pid=7667/tid=7668] ppid=7665 vsize=12516 CPUtime=1.49
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 846 0 0 0 149 0 0 0 19 0 3 0 333935395 12816384 1990 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=12516 CPUtime=1.48
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 877 0 0 0 148 0 0 0 17 0 3 0 333935395 12816384 1990 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 12516
[startup+3.10158 s]
/proc/loadavg: 1.74 1.85 1.89 3/80 7670
/proc/meminfo: memFree=1100264/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=15656 CPUtime=6.18
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 2836 0 0 0 617 1 0 0 18 0 3 0 333935394 16031744 2735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 3914 2735 218 20 0 3272 0
[pid=7667/tid=7668] ppid=7665 vsize=15656 CPUtime=3.08
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 1239 0 0 0 308 0 0 0 25 0 3 0 333935395 16031744 2735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=15656 CPUtime=3.08
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 1305 0 0 0 308 0 0 0 25 0 3 0 333935395 16031744 2735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 15656
[startup+6.3022 s]
/proc/loadavg: 1.76 1.85 1.89 3/80 7670
/proc/meminfo: memFree=1094120/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=21788 CPUtime=12.56
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 4378 0 0 0 1253 3 0 0 18 0 3 0 333935394 22310912 4193 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 5447 4193 218 20 0 4805 0
[pid=7667/tid=7668] ppid=7665 vsize=21788 CPUtime=6.27
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 2005 0 0 0 626 1 0 0 25 0 3 0 333935395 22310912 4193 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=21788 CPUtime=6.28
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 2081 0 0 0 627 1 0 0 25 0 3 0 333935395 22310912 4193 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 21788
[startup+12.7014 s]
/proc/loadavg: 1.78 1.86 1.89 3/80 7670
/proc/meminfo: memFree=1087016/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=27876 CPUtime=25.32
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 6080 0 0 0 2527 5 0 0 18 0 3 0 333935394 28545024 5683 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 6969 5683 218 20 0 6327 0
[pid=7667/tid=7668] ppid=7665 vsize=27876 CPUtime=12.63
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 2821 0 0 0 1262 1 0 0 25 0 3 0 333935395 28545024 5683 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=27876 CPUtime=12.68
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 2967 0 0 0 1265 3 0 0 25 0 3 0 333935395 28545024 5683 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 27876
[startup+25.5069 s]
/proc/loadavg: 1.83 1.86 1.89 3/80 7670
/proc/meminfo: memFree=1081384/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=34264 CPUtime=50.87
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 7991 0 0 0 5081 6 0 0 18 0 3 0 333935394 35086336 7134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 8566 7134 218 20 0 7924 0
[pid=7667/tid=7668] ppid=7665 vsize=34264 CPUtime=25.38
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 3737 0 0 0 2536 2 0 0 25 0 3 0 333935395 35086336 7134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=34264 CPUtime=25.47
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 3962 0 0 0 2543 4 0 0 25 0 3 0 333935395 35086336 7134 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 34264
[startup+51.1018 s]
/proc/loadavg: 1.89 1.87 1.90 3/80 7670
/proc/meminfo: memFree=1075112/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=39572 CPUtime=101.9
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 10369 0 0 0 10181 9 0 0 18 0 3 0 333935394 40521728 8597 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 9893 8597 218 20 0 9251 0
[pid=7667/tid=7668] ppid=7665 vsize=39572 CPUtime=50.86
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 4822 0 0 0 5083 3 0 0 23 0 3 0 333935395 40521728 8597 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=39572 CPUtime=51.03
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 5255 0 0 0 5098 5 0 0 23 0 3 0 333935395 40521728 8597 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 39572
[startup+102.303 s]
/proc/loadavg: 1.95 1.89 1.90 3/80 7670
/proc/meminfo: memFree=1072424/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=42536 CPUtime=204.02
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 12551 0 0 0 20391 11 0 0 18 0 3 0 333935394 43556864 9270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 10634 9270 218 20 0 9992 0
[pid=7667/tid=7668] ppid=7665 vsize=42536 CPUtime=101.84
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 5883 0 0 0 10180 4 0 0 25 0 3 0 333935395 43556864 9270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=42536 CPUtime=102.17
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 6376 0 0 0 10210 7 0 0 25 0 3 0 333935395 43556864 9270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 42536
[startup+162.301 s]
/proc/loadavg: 1.98 1.91 1.91 3/80 7670
/proc/meminfo: memFree=1070440/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=44304 CPUtime=323.68
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 14947 0 0 0 32354 14 0 0 18 0 3 0 333935394 45367296 9755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 11076 9755 218 20 0 10434 0
[pid=7667/tid=7668] ppid=7665 vsize=44304 CPUtime=161.61
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 7046 0 0 0 16156 5 0 0 25 0 3 0 333935395 45367296 9755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=44304 CPUtime=162.05
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 7609 0 0 0 16197 8 0 0 25 0 3 0 333935395 45367296 9755 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.68
Current children cumulated vsize (KiB) 44304
[startup+222.302 s]
/proc/loadavg: 1.99 1.92 1.91 3/80 7670
/proc/meminfo: memFree=1068072/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=45632 CPUtime=443.36
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 17232 0 0 0 44321 15 0 0 18 0 3 0 333935394 46727168 10304 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 11408 10304 218 20 0 10766 0
[pid=7667/tid=7668] ppid=7665 vsize=45632 CPUtime=221.57
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 8277 0 0 0 22151 6 0 0 25 0 3 0 333935395 46727168 10304 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=45632 CPUtime=221.78
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 8663 0 0 0 22169 9 0 0 25 0 3 0 333935395 46727168 10304 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (KiB) 45632
[startup+282.301 s]
/proc/loadavg: 1.99 1.93 1.91 3/80 7670
/proc/meminfo: memFree=1066984/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=47472 CPUtime=563.02
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 19278 0 0 0 56285 17 0 0 18 0 3 0 333935394 48611328 10633 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 11868 10633 218 20 0 11226 0
[pid=7667/tid=7668] ppid=7665 vsize=47472 CPUtime=281.49
################
# More data... #
################
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 31204 0 0 0 183715 38 0 0 22 0 3 0 333935395 73367552 16444 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=71648 CPUtime=1837.03
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 31415 0 0 0 183671 32 0 0 25 0 3 0 333935395 73367552 16444 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.58
Current children cumulated vsize (KiB) 71648
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7868
/proc/meminfo: memFree=1043432/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=71648 CPUtime=3794.28
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 64325 0 0 0 379356 72 0 0 18 0 3 0 333935394 73367552 16460 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 17912 16460 218 20 0 17270 0
[pid=7667/tid=7668] ppid=7665 vsize=71648 CPUtime=1897.28
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 31833 0 0 0 189689 39 0 0 25 0 3 0 333935395 73367552 16460 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=71648 CPUtime=1896.98
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 32200 0 0 0 189666 32 0 0 25 0 3 0 333935395 73367552 16460 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.28
Current children cumulated vsize (KiB) 71648
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7868
/proc/meminfo: memFree=1043368/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=71648 CPUtime=3913.96
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 65747 0 0 0 391323 73 0 0 18 0 3 0 333935394 73367552 16478 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 17912 16478 218 20 0 17270 0
[pid=7667/tid=7668] ppid=7665 vsize=71648 CPUtime=1957.03
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 32464 0 0 0 195663 40 0 0 25 0 3 0 333935395 73367552 16478 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=71648 CPUtime=1956.92
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 32991 0 0 0 195659 33 0 0 25 0 3 0 333935395 73367552 16478 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.96
Current children cumulated vsize (KiB) 71648
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1043176/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=71844 CPUtime=4033.64
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 67207 0 0 0 403289 75 0 0 18 0 3 0 333935394 73568256 16528 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 17961 16528 218 20 0 17319 0
[pid=7667/tid=7668] ppid=7665 vsize=71844 CPUtime=2016.77
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 33253 0 0 0 201636 41 0 0 25 0 3 0 333935395 73568256 16528 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=71844 CPUtime=2016.85
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 33662 0 0 0 201652 33 0 0 25 0 3 0 333935395 73568256 16528 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.64
Current children cumulated vsize (KiB) 71844
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1041768/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=73032 CPUtime=4153.33
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 69159 0 0 0 415256 77 0 0 18 0 3 0 333935394 74784768 16908 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18258 16908 218 20 0 17616 0
[pid=7667/tid=7668] ppid=7665 vsize=73032 CPUtime=2076.51
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 34414 0 0 0 207609 42 0 0 25 0 3 0 333935395 74784768 16908 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7667/tid=7669] ppid=7665 vsize=73032 CPUtime=2076.8
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 34453 0 0 0 207646 34 0 0 25 0 3 0 333935395 74784768 16908 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.33
Current children cumulated vsize (KiB) 73032
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1041640/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=73032 CPUtime=4273
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 70429 0 0 0 427222 78 0 0 18 0 3 0 333935394 74784768 16914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18258 16914 218 20 0 17616 0
[pid=7667/tid=7668] ppid=7665 vsize=73032 CPUtime=2136.35
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 35049 0 0 0 213592 43 0 0 25 0 3 0 333935395 74784768 16914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521251 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=73032 CPUtime=2136.63
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 35088 0 0 0 213629 34 0 0 25 0 3 0 333935395 74784768 16914 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273
Current children cumulated vsize (KiB) 73032
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1041576/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=73032 CPUtime=4392.71
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 71869 0 0 0 439192 79 0 0 18 0 3 0 333935394 74784768 16925 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18258 16925 218 20 0 17616 0
[pid=7667/tid=7668] ppid=7665 vsize=73032 CPUtime=2196.32
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 35849 0 0 0 219588 44 0 0 25 0 3 0 333935395 74784768 16925 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=73032 CPUtime=2196.38
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 35728 0 0 0 219603 35 0 0 25 0 3 0 333935395 74784768 16925 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.71
Current children cumulated vsize (KiB) 73032
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1041512/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=73032 CPUtime=4512.39
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 73467 0 0 0 451158 81 0 0 18 0 3 0 333935394 74784768 16933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18258 16933 218 20 0 17616 0
[pid=7667/tid=7668] ppid=7665 vsize=73032 CPUtime=2256.25
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 36648 0 0 0 225581 44 0 0 25 0 3 0 333935395 74784768 16933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=73032 CPUtime=2256.13
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 36527 0 0 0 225577 36 0 0 25 0 3 0 333935395 74784768 16933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.39
Current children cumulated vsize (KiB) 73032
[startup+2322.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1041448/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=73032 CPUtime=4632.05
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 74751 0 0 0 463123 82 0 0 18 0 3 0 333935394 74784768 16938 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18258 16938 218 20 0 17616 0
[pid=7667/tid=7668] ppid=7665 vsize=73032 CPUtime=2316.17
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 37292 0 0 0 231572 45 0 0 25 0 3 0 333935395 74784768 16938 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=73032 CPUtime=2315.87
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 37167 0 0 0 231550 37 0 0 25 0 3 0 333935395 74784768 16938 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.05
Current children cumulated vsize (KiB) 73032
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1041384/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=73164 CPUtime=4751.73
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 76065 0 0 0 475090 83 0 0 18 0 3 0 333935394 74919936 16972 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18291 16972 218 20 0 17649 0
[pid=7667/tid=7668] ppid=7665 vsize=73164 CPUtime=2376.1
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 37935 0 0 0 237565 45 0 0 25 0 3 0 333935395 74919936 16972 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=73164 CPUtime=2375.61
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 37838 0 0 0 237524 37 0 0 25 0 3 0 333935395 74919936 16972 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.73
Current children cumulated vsize (KiB) 73164
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 7870
/proc/meminfo: memFree=1041192/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=74452 CPUtime=4871.41
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 77537 0 0 0 487056 85 0 0 18 0 3 0 333935394 76238848 16996 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18613 16996 218 20 0 17971 0
[pid=7667/tid=7668] ppid=7665 vsize=74452 CPUtime=2436.04
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 38753 0 0 0 243558 46 0 0 25 0 3 0 333935395 76238848 16996 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=74452 CPUtime=2435.35
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 38492 0 0 0 243497 38 0 0 25 0 3 0 333935395 76238848 16996 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.41
Current children cumulated vsize (KiB) 74452
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.92 4/80 7870
/proc/meminfo: memFree=1041192/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=74484 CPUtime=4991.1
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 78850 0 0 0 499024 86 0 0 18 0 3 0 333935394 76271616 17014 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18621 17014 218 20 0 17979 0
[pid=7667/tid=7668] ppid=7665 vsize=74484 CPUtime=2495.98
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 39410 0 0 0 249551 47 0 0 25 0 3 0 333935395 76271616 17014 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=74484 CPUtime=2495.11
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 39148 0 0 0 249472 39 0 0 25 0 3 0 333935395 76271616 17014 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.1
Current children cumulated vsize (KiB) 74484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.8 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 7870
/proc/meminfo: memFree=1041128/2055920 swapFree=4154688/4192956
[pid=7667] ppid=7665 vsize=74484 CPUtime=5000.09
/proc/7667/stat : 7667 (MiraXTv3_dyn) S 7665 7667 6987 0 -1 4194304 79015 0 0 0 499923 86 0 0 18 0 3 0 333935394 76271616 17017 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/7667/statm: 18621 17017 218 20 0 17979 0
[pid=7667/tid=7668] ppid=7665 vsize=74484 CPUtime=2500.48
/proc/7667/task/7668/stat : 7668 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 39575 0 0 0 250001 47 0 0 25 0 3 0 333935395 76271616 17017 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7667/tid=7669] ppid=7665 vsize=74484 CPUtime=2499.6
/proc/7667/task/7669/stat : 7669 (MiraXTv3_dyn) R 7665 7667 6987 0 -1 4194368 39148 0 0 0 249921 39 0 0 25 0 3 0 333935395 76271616 17017 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 74484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.83
CPU time (s): 5000.12
CPU user time (s): 4999.24
CPU system time (s): 0.878866
CPU usage (%): 199.46
Max. virtual memory (cumulated for all children) (KiB): 75132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.24
system time used= 0.878866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79015
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= 339
involuntary context switches= 94005
runsolver used 2.40163 second user time and 6.80596 second system time
The end
Begin job on node38 on Sun May 13 00:54:47 UTC 2007
IDJOB= 455841
IDBENCH= 20436
IDSOLVER= 196
FILE ID= node38/455841-1179017687
PBS_JOBID= 5253006
Free space on /tmp= 66550 MiB
SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/spence/medium/s93-100.cnf
COMMAND LINE= /tmp/evaluation/455841-1179017687/MiraXTv3_dyn /tmp/evaluation/455841-1179017687/instance-455841-1179017687.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-455841-1179017687 -o ROOT/results/node38/solver-455841-1179017687 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/455841-1179017687/MiraXTv3_dyn /tmp/evaluation/455841-1179017687/instance-455841-1179017687.cnf
META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH= cb4f09f5b8ab5c8da265c9ab7b857cb1
RANDOM SEED= 219150559
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: 1109528 kB
Buffers: 53152 kB
Cached: 739584 kB
SwapCached: 6944 kB
Active: 552504 kB
Inactive: 263712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1109528 kB
SwapTotal: 4192956 kB
SwapFree: 4154688 kB
Dirty: 4004 kB
Writeback: 0 kB
Mapped: 30524 kB
Slab: 115436 kB
Committed_AS: 4768860 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= 66550 MiB
End job on node38 on Sun May 13 01:36:36 UTC 2007