runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-248873-1168719948 -o ROOT/results/node61/solver-248873-1168719948 -C 1800 -M 900 /tmp/evaluation/248873-1168719948/galac.sh /tmp/evaluation/248873-1168719948/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.48 1.12 1.91 5/81 18673
/proc/meminfo: memFree=1539584/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=552 CPUtime=0
/proc/18672/stat : 18672 (galac.sh) D 18670 18672 18240 0 -1 4194304 17 0 0 0 0 0 0 0 18 0 1 0 220392795 565248 2 18446744073709551615 0 0 548682070048 18446744073709551615 246406507815 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/18672/statm: 138 2 0 0 0 51 0
[startup+0.104726 s]
/proc/loadavg: 0.48 1.12 1.91 5/81 18673
/proc/meminfo: memFree=1539584/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=8740 CPUtime=0
/proc/18672/stat : 18672 (galac.sh) S 18670 18672 18240 0 -1 4194304 449 953 1 0 0 0 0 0 18 0 1 0 220392795 8949760 310 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/18672/statm: 2185 310 217 79 0 178 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8740
[startup+0.5148 s]
/proc/loadavg: 0.48 1.12 1.91 5/81 18673
/proc/meminfo: memFree=1539584/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=47560 CPUtime=0.01
/proc/18672/stat : 18672 (galac.sh) S 18670 18672 18240 0 -1 4194304 760 1704 1 0 0 0 0 1 18 0 1 0 220392795 48701440 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18672/statm: 11890 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+1.34195 s]
/proc/loadavg: 0.48 1.12 1.91 3/89 18693
/proc/meminfo: memFree=1231616/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=47560 CPUtime=0.01
/proc/18672/stat : 18672 (galac.sh) S 18670 18672 18240 0 -1 4194304 760 1704 1 0 0 0 0 1 18 0 1 0 220392795 48701440 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18672/statm: 11890 363 245 79 0 218 0
[pid=18686] ppid=18672 vsize=861064 CPUtime=0.94
/proc/18686/stat : 18686 (java) R 18672 18672 18240 0 -1 0 12315 0 1 0 88 6 0 0 24 0 8 0 220392832 881729536 12069 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073752966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18686/statm: 215266 12069 1987 14 0 201471 0
[pid=18686/tid=18687] ppid=18672 vsize=861064 CPUtime=0.04
/proc/18686/task/18687/stat : 18687 (java) S 18672 18672 18240 0 -1 64 3357 0 0 0 3 1 0 0 17 0 8 0 220392836 881729536 12070 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18688] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18688/stat : 18688 (java) S 18672 18672 18240 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 12070 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18689] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18689/stat : 18689 (java) S 18672 18672 18240 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 12071 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18690] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18690/stat : 18690 (java) S 18672 18672 18240 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 220392839 881729536 12071 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18691] ppid=18672 vsize=861064 CPUtime=0.11
/proc/18686/task/18691/stat : 18691 (java) S 18672 18672 18240 0 -1 64 896 0 0 0 11 0 0 0 16 0 8 0 220392839 881729536 12072 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18692] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18692/stat : 18692 (java) S 18672 18672 18240 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220392839 881729536 12072 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18693] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18693/stat : 18693 (java) S 18672 18672 18240 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220392840 881729536 12073 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 908624
[startup+2.97922 s]
/proc/loadavg: 0.48 1.12 1.91 4/89 18693
/proc/meminfo: memFree=1167296/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=47560 CPUtime=0.01
/proc/18672/stat : 18672 (galac.sh) S 18670 18672 18240 0 -1 4194304 760 1704 1 0 0 0 0 1 18 0 1 0 220392795 48701440 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18672/statm: 11890 363 245 79 0 218 0
[pid=18686] ppid=18672 vsize=861064 CPUtime=2.58
/proc/18686/stat : 18686 (java) R 18672 18672 18240 0 -1 0 30206 0 1 0 244 14 0 0 25 0 8 0 220392832 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073514724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18686/statm: 215266 29958 1991 14 0 201471 0
[pid=18686/tid=18687] ppid=18672 vsize=861064 CPUtime=0.4
/proc/18686/task/18687/stat : 18687 (java) S 18672 18672 18240 0 -1 64 14402 0 0 0 35 5 0 0 19 0 8 0 220392836 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18688] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18688/stat : 18688 (java) S 18672 18672 18240 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18689] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18689/stat : 18689 (java) S 18672 18672 18240 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18690] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18690/stat : 18690 (java) S 18672 18672 18240 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 220392839 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18691] ppid=18672 vsize=861064 CPUtime=0.11
/proc/18686/task/18691/stat : 18691 (java) S 18672 18672 18240 0 -1 64 896 0 0 0 11 0 0 0 16 0 8 0 220392839 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18692] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18692/stat : 18692 (java) S 18672 18672 18240 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220392839 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18693] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18693/stat : 18693 (java) S 18672 18672 18240 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220392840 881729536 29958 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 908624
[startup+6.27881 s]
/proc/loadavg: 0.60 1.14 1.91 3/89 18693
/proc/meminfo: memFree=1054784/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=47560 CPUtime=0.01
/proc/18672/stat : 18672 (galac.sh) S 18670 18672 18240 0 -1 4194304 760 1704 1 0 0 0 0 1 18 0 1 0 220392795 48701440 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18672/statm: 11890 363 245 79 0 218 0
[pid=18686] ppid=18672 vsize=861064 CPUtime=5.88
/proc/18686/stat : 18686 (java) R 18672 18672 18240 0 -1 0 54367 0 1 0 564 24 0 0 25 0 8 0 220392832 881729536 54116 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18686/statm: 215266 54117 1991 14 0 201471 0
[pid=18686/tid=18687] ppid=18672 vsize=861064 CPUtime=1.21
/proc/18686/task/18687/stat : 18687 (java) R 18672 18672 18240 0 -1 64 38562 0 0 0 106 15 0 0 16 0 8 0 220392836 881729536 54118 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18688] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18688/stat : 18688 (java) S 18672 18672 18240 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 54120 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18689] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18689/stat : 18689 (java) S 18672 18672 18240 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 54121 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18690] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18690/stat : 18690 (java) S 18672 18672 18240 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 220392839 881729536 54123 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18691] ppid=18672 vsize=861064 CPUtime=0.11
/proc/18686/task/18691/stat : 18691 (java) S 18672 18672 18240 0 -1 64 896 0 0 0 11 0 0 0 16 0 8 0 220392839 881729536 54124 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18692] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18692/stat : 18692 (java) S 18672 18672 18240 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220392839 881729536 54126 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18693] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18693/stat : 18693 (java) S 18672 18672 18240 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220392840 881729536 54127 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 908624
[startup+12.7569 s]
/proc/loadavg: 0.80 1.17 1.92 3/89 18693
/proc/meminfo: memFree=833608/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=47560 CPUtime=0.01
/proc/18672/stat : 18672 (galac.sh) S 18670 18672 18240 0 -1 4194304 760 1704 1 0 0 0 0 1 18 0 1 0 220392795 48701440 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18672/statm: 11890 363 245 79 0 218 0
[pid=18686] ppid=18672 vsize=861064 CPUtime=12.35
/proc/18686/stat : 18686 (java) R 18672 18672 18240 0 -1 0 108905 0 1 0 1187 48 0 0 25 0 8 0 220392832 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073743266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18686/statm: 215266 108650 1991 14 0 201471 0
[pid=18686/tid=18687] ppid=18672 vsize=861064 CPUtime=2.97
/proc/18686/task/18687/stat : 18687 (java) S 18672 18672 18240 0 -1 64 93094 0 0 0 258 39 0 0 20 0 8 0 220392836 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18688] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18688/stat : 18688 (java) S 18672 18672 18240 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18689] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18689/stat : 18689 (java) S 18672 18672 18240 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220392836 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18690] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18690/stat : 18690 (java) S 18672 18672 18240 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 220392839 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18691] ppid=18672 vsize=861064 CPUtime=0.11
/proc/18686/task/18691/stat : 18691 (java) S 18672 18672 18240 0 -1 64 896 0 0 0 11 0 0 0 16 0 8 0 220392839 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18692] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18692/stat : 18692 (java) S 18672 18672 18240 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220392839 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18693] ppid=18672 vsize=861064 CPUtime=0
/proc/18686/task/18693/stat : 18693 (java) S 18672 18672 18240 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220392840 881729536 108650 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 908624
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+21.6105 s]
/proc/loadavg: 0.98 1.19 1.92 4/89 18693
/proc/meminfo: memFree=555912/2055920 swapFree=4191892/4192956
[pid=18672] ppid=18670 vsize=47560 CPUtime=0.01
/proc/18672/stat : 18672 (galac.sh) S 18670 18672 18240 0 -1 4194304 760 1704 1 0 0 0 0 1 18 0 1 0 220392795 48701440 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 246406114138 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18672/statm: 11890 363 245 79 0 218 0
[pid=18686] ppid=18672 vsize=885072 CPUtime=21.2
/proc/18686/stat : 18686 (java) R 18672 18672 18240 0 -1 0 180781 0 1 0 2046 74 0 0 25 0 8 0 220392832 906313728 178766 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18686/statm: 221268 178773 1991 14 0 207473 0
[pid=18686/tid=18687] ppid=18672 vsize=885072 CPUtime=5.32
/proc/18686/task/18687/stat : 18687 (java) R 18672 18672 18240 0 -1 64 164989 0 0 0 467 65 0 0 17 0 8 0 220392836 906313728 178792 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153982952 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18688] ppid=18672 vsize=885072 CPUtime=0
/proc/18686/task/18688/stat : 18688 (java) S 18672 18672 18240 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220392836 906313728 178800 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18689] ppid=18672 vsize=885072 CPUtime=0
/proc/18686/task/18689/stat : 18689 (java) S 18672 18672 18240 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 220392836 906313728 178808 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18690] ppid=18672 vsize=885072 CPUtime=0
/proc/18686/task/18690/stat : 18690 (java) S 18672 18672 18240 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 220392839 906313728 178815 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18691] ppid=18672 vsize=885072 CPUtime=0.11
/proc/18686/task/18691/stat : 18691 (java) S 18672 18672 18240 0 -1 64 896 0 0 0 11 0 0 0 16 0 8 0 220392839 906313728 178823 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18686/tid=18692] ppid=18672 vsize=885072 CPUtime=0
/proc/18686/task/18692/stat : 18692 (java) S 18672 18672 18240 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220392839 906313728 178831 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18686/tid=18693] ppid=18672 vsize=885072 CPUtime=0
/proc/18686/task/18693/stat : 18693 (java) S 18672 18672 18240 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 220392840 906313728 178838 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (KiB) 932632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 21.6279
CPU time (s): 0.029994
CPU user time (s): 0.009998
CPU system time (s): 0.019996
CPU usage (%): 0.138682
Max. virtual memory (cumulated for all children) (KiB): 932632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.009998
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2464
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 26
runsolver used 0.046992 s user time and 0.066989 s system time
The end
Begin job on node61 on Sat Jan 13 20:25:48 UTC 2007
IDJOB= 248873
IDBENCH= 11740
IDSOLVER= 78
FILE ID= node61/248873-1168719948
PBS_JOBID= 3547702
Free space on /tmp= 66562 MiB
SOLVER NAME= galac 1
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-25/primes-25-40-3-7.xml
COMMAND LINE= /tmp/evaluation/248873-1168719948/galac.sh /tmp/evaluation/248873-1168719948/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-248873-1168719948 -o ROOT/results/node61/solver-248873-1168719948 -C 1800 -M 900 /tmp/evaluation/248873-1168719948/galac.sh /tmp/evaluation/248873-1168719948/unknown.xml
META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH= d815b5ee7029e9484a7eec15dc931632
RANDOM SEED= 274541373
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.259
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.259
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: 1706848 kB
Buffers: 26668 kB
Cached: 76208 kB
SwapCached: 416 kB
Active: 237712 kB
Inactive: 60944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1706848 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3384 kB
Writeback: 0 kB
Mapped: 212408 kB
Slab: 35384 kB
Committed_AS: 5143804 kB
PageTables: 2168 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= 66562 MiB
End job on node61 on Sat Jan 13 20:26:12 UTC 2007