0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/197278-1168071044/unknown.xml
0.35
0.36 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=141 nbDomainTypes=137 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.128 cpuTime=0.11 mem=6M886
0.43
0.43 relations being loaded...
0.47
0.47 constraints being loaded...
0.64 nbConstraints=861 nbRelationTypes=217 nbSingletonDomainVariables=1 nbExtensionStructures=858
0.64 nbSharedExtensionStructures=3 nbConflictsStructures=858 nbSharedConflictsStructures=3
0.64 nbSharedBinaryRepresentations=6487 maxDegree=14 maxArity=2
0.64 => wckTime=0.341 cpuTime=0.24 mem=11M762
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.536 cpuTime=0.37 mem=15M114
0.85
0.85 preprocessing
0.85 nbConstraintChecks=11 nbPropagations=141 nbRevisions=3 nbUselessRevisions=0 nbRemovedValues=3
0.85 detectedInconsistency=no
0.85 => wckTime=0.015 cpuTime=0.01 mem=15M114
0.90
0.90 search
0.90 run=0 nbConstraintChecks=4410 nbPropagations=543 nbRevisions=1757 nbUselessRevisions=1080 nbAssignments=63
0.90 nbFailedAssignments=4 nbBacktracks=37 nbVisitedNodes=73 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.057 cpuTime=0.03 mem=15M114
0.91
0.91 search
0.91 run=1 nbConstraintChecks=8129 nbPropagations=1427 nbRevisions=4953 nbUselessRevisions=3057 nbAssignments=117
0.91 nbFailedAssignments=8 nbBacktracks=53 nbVisitedNodes=136 nbRestartNogoods=1 mapSize=15 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.072 cpuTime=0.04 mem=15M114
0.92
0.92 search
0.92 run=2 nbConstraintChecks=12850 nbPropagations=2738 nbRevisions=10021 nbUselessRevisions=6233 nbAssignments=179
0.92 nbFailedAssignments=15 nbBacktracks=78 nbVisitedNodes=211 nbRestartNogoods=3 mapSize=24 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.087 cpuTime=0.05 mem=15M114
0.94
0.94 search
0.94 run=3 nbConstraintChecks=20970 nbPropagations=4686 nbRevisions=18304 nbUselessRevisions=11334
0.94 nbAssignments=251 nbFailedAssignments=22 nbBacktracks=119 nbVisitedNodes=307 nbRestartNogoods=7 mapSize=46
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.102 cpuTime=0.06 mem=15M114
0.95
0.95 search
0.95 run=4 nbConstraintChecks=27143 nbPropagations=7223 nbRevisions=28809 nbUselessRevisions=17612
0.95 nbAssignments=338 nbFailedAssignments=39 nbBacktracks=171 nbVisitedNodes=437 nbRestartNogoods=9 mapSize=85
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.115 cpuTime=0.07 mem=15M114
0.97
0.97 search
0.97 run=5 nbConstraintChecks=36648 nbPropagations=10595 nbRevisions=43237 nbUselessRevisions=26382
0.97 nbAssignments=478 nbFailedAssignments=49 nbBacktracks=247 nbVisitedNodes=608 nbRestartNogoods=11 mapSize=110
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.133 cpuTime=0.09 mem=15M114
0.99
0.99 search
0.99 run=6 nbConstraintChecks=50676 nbPropagations=15089 nbRevisions=63681 nbUselessRevisions=39033
0.99 nbAssignments=658 nbFailedAssignments=73 nbBacktracks=371 nbVisitedNodes=834 nbRestartNogoods=17 mapSize=153
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.156 cpuTime=0.11 mem=15M114
1.02
1.02 search
1.02 run=7 nbConstraintChecks=69141 nbPropagations=21051 nbRevisions=91403 nbUselessRevisions=56172
1.02 nbAssignments=886 nbFailedAssignments=101 nbBacktracks=544 nbVisitedNodes=1125 nbRestartNogoods=20 mapSize=212
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.181 cpuTime=0.14 mem=15M114
1.06
1.06 search
1.06 run=8 nbConstraintChecks=106850 nbPropagations=29801 nbRevisions=134643 nbUselessRevisions=82885
1.06 nbAssignments=1251 nbFailedAssignments=179 nbBacktracks=801 nbVisitedNodes=1636 nbRestartNogoods=24
1.06 mapSize=338 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.227 cpuTime=0.18 mem=15M114
1.13
1.13 search
1.13 run=9 nbConstraintChecks=150376 nbPropagations=42162 nbRevisions=194537 nbUselessRevisions=119512
1.13 nbAssignments=1720 nbFailedAssignments=257 nbBacktracks=1185 nbVisitedNodes=2295 nbRestartNogoods=30
1.13 mapSize=510 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.293 cpuTime=0.23 mem=16M89
1.22
1.22 search
1.22 run=10 nbConstraintChecks=234301 nbPropagations=60530 nbRevisions=289873 nbUselessRevisions=178843
1.22 nbAssignments=2450 nbFailedAssignments=385 nbBacktracks=1764 nbVisitedNodes=3330 nbRestartNogoods=32
1.22 mapSize=774 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.381 cpuTime=0.31 mem=16M89
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=16M89)
1.33
1.33 search
1.33 run=11 nbConstraintChecks=365611 nbPropagations=88642 nbRevisions=443078 nbUselessRevisions=276878
1.33 nbAssignments=3487 nbFailedAssignments=542 nbBacktracks=2630 nbVisitedNodes=4688 nbRestartNogoods=39
1.33 => wckTime=0.496 cpuTime=0.42 mem=16M89
1.48
1.48 search
1.48 run=12 nbConstraintChecks=559745 nbPropagations=131327 nbRevisions=677323 nbUselessRevisions=427126
1.48 nbAssignments=5086 nbFailedAssignments=832 nbBacktracks=3929 nbVisitedNodes=6877 nbRestartNogoods=44
1.48 => wckTime=0.642 cpuTime=0.57 mem=16M89
1.72
1.72 search
1.72 run=13 nbConstraintChecks=895840 nbPropagations=198109 nbRevisions=1056312 nbUselessRevisions=672190
1.72 nbAssignments=7492 nbFailedAssignments=1259 nbBacktracks=5880 nbVisitedNodes=10165 nbRestartNogoods=49
1.72 => wckTime=0.88 cpuTime=0.8 mem=16M89
2.07
2.07 search
2.07 run=14 nbConstraintChecks=1387564 nbPropagations=299953 nbRevisions=1641150 nbUselessRevisions=1048875
2.07 nbAssignments=11070 nbFailedAssignments=1908 nbBacktracks=8801 nbVisitedNodes=15143 nbRestartNogoods=55
2.07 => wckTime=1.231 cpuTime=1.14 mem=16M89
2.55
2.55 search
2.55 run=15 nbConstraintChecks=2044526 nbPropagations=450198 nbRevisions=2513058 nbUselessRevisions=1614049
2.55 nbAssignments=16474 nbFailedAssignments=2908 nbBacktracks=13182 nbVisitedNodes=22715 nbRestartNogoods=57
2.55 => wckTime=1.709 cpuTime=1.62 mem=16M89
3.34
3.34 search
3.34 run=16 nbConstraintChecks=3200923 nbPropagations=683363 nbRevisions=3868658 nbUselessRevisions=2488995
3.34 nbAssignments=24462 nbFailedAssignments=4309 nbBacktracks=19750 nbVisitedNodes=33930 nbRestartNogoods=64
3.34 => wckTime=2.505 cpuTime=2.41 mem=16M89
3.54
3.54 search
3.54 run=17 nbConstraintChecks=3480433 nbPropagations=937055 nbRevisions=5341567 nbUselessRevisions=3438986
3.54 nbAssignments=26641 nbFailedAssignments=4710 nbBacktracks=21387 nbVisitedNodes=36969 nbRestartNogoods=71
3.54 => wckTime=2.705 cpuTime=2.61 mem=16M89
3.54
3.54 global
3.54 nbConstraintChecks=3480444 nbPropagations=937196 nbRevisions=5341570 nbUselessRevisions=3438986
3.54 nbRestartNogoods=71 solvingWckTime=2.706 solvingCpuTime=2.61 expiredTime=no totalExploration=no
3.54 nbFoundSolutions=1 globalCpuTime=3.03
3.54 => wckTime=3.244 cpuTime=2.98 mem=16M89
3.54
3.54 s SATISFIABLE
3.54 v 4 11 5 15 2 9 14 6 15 14 17 0 16 7 9 10 14 17 16 5 9 2 10 12 9 5 16 2 17 12 3 15 2 4 17 14 8 16 12 1 10 6 8 13 16 15 11 2 6 10 15 4 16 3 12 17 1 15 6 11 2 8 10 4 2 6 11 10 16 14 13 13 8 6 16 7 3 2 16 14 10 5 7 9 12 6 5 2 17 15 3 6 12 13 8 16 10 9 13 5 7 14 7 10 11 3 17 4 6 13 16 11 4 14 2 13 0 11 17 7 8 0 1 4 3 4 3 16 17 0 9 2 8 1 11 6 0 5 10 9 13
3.54 d NODES 26641
3.54 d CHECKS 3480444
3.54
3.54 totalWckTime=3.318 totalCpuTime=3.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-197278-1168071044 -o ROOT/results/node75/solver-197278-1168071044 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197278-1168071044/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.97 1.66 1.75 4/71 20753
/proc/meminfo: memFree=1690032/2055920 swapFree=4191892/4192956
[pid=20752] ppid=20748 vsize=18540 CPUtime=0
/proc/20752/stat : 20752 (runsolver) R 20748 20752 20640 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155503807 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20752/statm: 4635 279 244 17 0 2626 0
[startup+0.108015 s]
/proc/loadavg: 0.97 1.66 1.75 4/71 20753
/proc/meminfo: memFree=1690032/2055920 swapFree=4191892/4192956
[pid=20752] ppid=20748 vsize=916012 CPUtime=0.08
/proc/20752/stat : 20752 (java) R 20748 20752 20640 0 -1 0 3012 0 1 0 7 1 0 0 21 0 8 0 155503807 937996288 2758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20752/statm: 229003 2759 1433 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012
[startup+0.516064 s]
/proc/loadavg: 0.97 1.66 1.75 4/71 20753
/proc/meminfo: memFree=1690032/2055920 swapFree=4191892/4192956
[pid=20752] ppid=20748 vsize=916352 CPUtime=0.49
/proc/20752/stat : 20752 (java) R 20748 20752 20640 0 -1 0 6430 0 1 0 45 4 0 0 23 0 8 0 155503807 938344448 6169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20752/statm: 229088 6170 2140 14 0 215558 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352
[startup+1.33916 s]
/proc/loadavg: 0.97 1.66 1.75 3/87 20791
/proc/meminfo: memFree=1641192/2055920 swapFree=4191892/4192956
[pid=20752] ppid=20748 vsize=916592 CPUtime=1.31
/proc/20752/stat : 20752 (java) R 20748 20752 20640 0 -1 0 8880 0 1 0 125 6 0 0 25 0 8 0 155503807 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073872716 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20752/statm: 229148 8618 2513 14 0 215618 0
[pid=20752/tid=20771] ppid=20748 vsize=916592 CPUtime=0.03
/proc/20752/task/20771/stat : 20771 (java) S 20748 20752 20640 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 155503811 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20773] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20773/stat : 20773 (java) S 20748 20752 20640 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155503812 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20774] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20774/stat : 20774 (java) S 20748 20752 20640 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155503812 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20781] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20781/stat : 20781 (java) S 20748 20752 20640 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155503815 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20782] ppid=20748 vsize=916592 CPUtime=0.23
/proc/20752/task/20782/stat : 20782 (java) S 20748 20752 20640 0 -1 64 409 0 0 0 23 0 0 0 15 0 8 0 155503815 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20783] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20783/stat : 20783 (java) S 20748 20752 20640 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155503815 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20784] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20784/stat : 20784 (java) S 20748 20752 20640 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155503815 938590208 8618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916592
[startup+2.99135 s]
/proc/loadavg: 0.97 1.66 1.75 2/75 20799
/proc/meminfo: memFree=1665608/2055920 swapFree=4191892/4192956
[pid=20752] ppid=20748 vsize=916592 CPUtime=2.94
/proc/20752/stat : 20752 (java) R 20748 20752 20640 0 -1 0 8894 0 1 0 288 6 0 0 25 0 8 0 155503807 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20752/statm: 229148 8631 2513 14 0 215618 0
[pid=20752/tid=20771] ppid=20748 vsize=916592 CPUtime=0.03
/proc/20752/task/20771/stat : 20771 (java) S 20748 20752 20640 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 155503811 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20773] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20773/stat : 20773 (java) S 20748 20752 20640 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155503812 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20774] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20774/stat : 20774 (java) S 20748 20752 20640 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155503812 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20781] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20781/stat : 20781 (java) S 20748 20752 20640 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155503815 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20782] ppid=20748 vsize=916592 CPUtime=0.24
/proc/20752/task/20782/stat : 20782 (java) S 20748 20752 20640 0 -1 64 412 0 0 0 24 0 0 0 15 0 8 0 155503815 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20783] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20783/stat : 20783 (java) S 20748 20752 20640 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155503815 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20752/tid=20784] ppid=20748 vsize=916592 CPUtime=0
/proc/20752/task/20784/stat : 20784 (java) S 20748 20752 20640 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155503815 938590208 8631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916592
Child status: 0
Real time (s): 3.57552
CPU time (s): 3.52046
CPU user time (s): 3.44548
CPU system time (s): 0.074988
CPU usage (%): 98.4601
Max. virtual memory (cumulated for all children) (KiB): 916592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.44548
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8991
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= 1364
involuntary context switches= 1570
runsolver used 0.005999 s user time and 0.021996 s system time
The end
Begin job on node75 on Sat Jan 6 08:10:44 UTC 2007
IDJOB= 197278
IDBENCH= 3455
FILE ID= node75/197278-1168071044
PBS_JOBID= 3475946
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-81_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197278-1168071044/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-197278-1168071044 -o ROOT/results/node75/solver-197278-1168071044 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197278-1168071044/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8f65d9875143d4a0b4c6ea8d8920f2bf
RANDOM SEED= 750673077
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1690704 kB
Buffers: 19740 kB
Cached: 261580 kB
SwapCached: 268 kB
Active: 43700 kB
Inactive: 257172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1690704 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3816 kB
Writeback: 0 kB
Mapped: 28468 kB
Slab: 49852 kB
Committed_AS: 3017404 kB
PageTables: 1712 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= 66547 MiB
End job on node75 on Sat Jan 6 08:10:48 UTC 2007