0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/225035-1168080573/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.58
0.58 constraints being loaded...
0.67 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.67 => wckTime=0.359 cpuTime=0.3 mem=21M600
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.549 cpuTime=0.43 mem=15M148
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0020 cpuTime=0.0 mem=15M148
0.93
0.93 search
0.93 run=0 nbConstraintChecks=182674 nbPropagations=1401 nbRevisions=6496 nbUselessRevisions=3464 nbAssignments=56
0.93 nbFailedAssignments=43 nbBacktracks=11 nbVisitedNodes=108 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.07 cpuTime=0.05 mem=15M148
0.95
0.95 search
0.95 run=1 nbConstraintChecks=285464 nbPropagations=3650 nbRevisions=16681 nbUselessRevisions=8904 nbAssignments=88
0.95 nbFailedAssignments=58 nbBacktracks=26 nbVisitedNodes=162 nbRestartNogoods=5 mapSize=19 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.087 cpuTime=0.06 mem=15M148
0.97
0.97 search
0.97 run=2 nbConstraintChecks=445310 nbPropagations=7090 nbRevisions=32009 nbUselessRevisions=17051
0.97 nbAssignments=131 nbFailedAssignments=78 nbBacktracks=48 nbVisitedNodes=236 nbRestartNogoods=8 mapSize=35
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.108 cpuTime=0.08 mem=15M148
1.00
1.00 search
1.00 run=3 nbConstraintChecks=838419 nbPropagations=13408 nbRevisions=60061 nbUselessRevisions=32031
1.00 nbAssignments=223 nbFailedAssignments=132 nbBacktracks=83 nbVisitedNodes=404 nbRestartNogoods=12 mapSize=66
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.146 cpuTime=0.12 mem=15M148
1.06
1.06 search
1.06 run=4 nbConstraintChecks=1411141 nbPropagations=24117 nbRevisions=108735 nbUselessRevisions=57692
1.06 nbAssignments=364 nbFailedAssignments=220 nbBacktracks=134 nbVisitedNodes=671 nbRestartNogoods=17 mapSize=112
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.202 cpuTime=0.17 mem=15M148
1.13
1.13 search
1.13 run=5 nbConstraintChecks=2232856 nbPropagations=40945 nbRevisions=184927 nbUselessRevisions=98192
1.13 nbAssignments=553 nbFailedAssignments=332 nbBacktracks=210 nbVisitedNodes=1027 nbRestartNogoods=23 mapSize=181
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.273 cpuTime=0.24 mem=15M148
1.24
1.24 search
1.24 run=6 nbConstraintChecks=3391251 nbPropagations=66653 nbRevisions=301980 nbUselessRevisions=160270
1.24 nbAssignments=850 nbFailedAssignments=512 nbBacktracks=323 nbVisitedNodes=1587 nbRestartNogoods=30 mapSize=283
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.377 cpuTime=0.34 mem=15M148
1.39
1.39 search
1.39 run=7 nbConstraintChecks=5191881 nbPropagations=105191 nbRevisions=478264 nbUselessRevisions=253341
1.39 nbAssignments=1253 nbFailedAssignments=743 nbBacktracks=493 nbVisitedNodes=2328 nbRestartNogoods=34
1.39 mapSize=424 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.531 cpuTime=0.49 mem=15M148
1.67
1.67 search
1.67 run=8 nbConstraintChecks=8391649 nbPropagations=167488 nbRevisions=763995 nbUselessRevisions=403101
1.67 nbAssignments=2010 nbFailedAssignments=1240 nbBacktracks=749 nbVisitedNodes=3765 nbRestartNogoods=37
1.67 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.808 cpuTime=0.75 mem=15M148
1.97
1.97 search
1.97 run=9 nbConstraintChecks=12011987 nbPropagations=258053 nbRevisions=1181154 nbUselessRevisions=622356
1.97 nbAssignments=2919 nbFailedAssignments=1761 nbBacktracks=1133 nbVisitedNodes=5467 nbRestartNogoods=40
1.97 mapSize=985 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=1.109 cpuTime=1.05 mem=16M123
2.03
2.03 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=16M123)
2.67
2.67 search
2.67 run=10 nbConstraintChecks=21246005 nbPropagations=406921 nbRevisions=1877116 nbUselessRevisions=985766
2.67 nbAssignments=4944 nbFailedAssignments=3206 nbBacktracks=1709 nbVisitedNodes=9362 nbRestartNogoods=48
2.67 => wckTime=1.814 cpuTime=1.75 mem=16M123
3.29
3.29 search
3.29 run=11 nbConstraintChecks=29273576 nbPropagations=614453 nbRevisions=2839557 nbUselessRevisions=1488616
3.29 nbAssignments=6955 nbFailedAssignments=4350 nbBacktracks=2573 nbVisitedNodes=13050 nbRestartNogoods=53
3.29 => wckTime=2.433 cpuTime=2.37 mem=16M123
4.54
4.54 search
4.54 run=12 nbConstraintChecks=45559695 nbPropagations=937198 nbRevisions=4333725 nbUselessRevisions=2268111
4.54 nbAssignments=10594 nbFailedAssignments=6690 nbBacktracks=3871 nbVisitedNodes=19978 nbRestartNogoods=61
4.54 => wckTime=3.677 cpuTime=3.61 mem=16M123
6.16
6.16 search
6.16 run=13 nbConstraintChecks=66705053 nbPropagations=1412601 nbRevisions=6534448 nbUselessRevisions=3419778
6.16 nbAssignments=15374 nbFailedAssignments=9519 nbBacktracks=5819 nbVisitedNodes=28944 nbRestartNogoods=71
6.16 => wckTime=5.298 cpuTime=5.23 mem=16M123
8.93
8.93 search
8.93 run=14 nbConstraintChecks=103319697 nbPropagations=2134048 nbRevisions=9895982 nbUselessRevisions=5183896
8.93 nbAssignments=23243 nbFailedAssignments=14469 nbBacktracks=8738 nbVisitedNodes=43807 nbRestartNogoods=81
8.93 => wckTime=8.067 cpuTime=7.99 mem=16M123
11.77
11.77 search
11.77 run=15 nbConstraintChecks=141854666 nbPropagations=3100722 nbRevisions=14418393 nbUselessRevisions=7566891
11.77 nbAssignments=31184 nbFailedAssignments=19416 nbBacktracks=11733 nbVisitedNodes=58747 nbRestartNogoods=81
11.77 => wckTime=10.907 cpuTime=10.83 mem=16M123
11.77
11.77 global
11.77 nbConstraintChecks=141854666 nbPropagations=3100762 nbRevisions=14418393 nbUselessRevisions=7566891
11.77 nbRestartNogoods=81 solvingWckTime=10.908 solvingCpuTime=10.84 expiredTime=no totalExploration=yes
11.77 nbFoundSolutions=0 globalCpuTime=11.31
11.77 => wckTime=11.461 cpuTime=11.27 mem=16M123
11.77
11.77 s UNSATISFIABLE
11.77 d NODES 31184
11.77 d CHECKS 141854666
11.77
11.77 totalWckTime=11.536 totalCpuTime=11.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-225035-1168080573 -o ROOT/results/node21/solver-225035-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225035-1168080573/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.25 0.81 1.28 3/78 21156
/proc/meminfo: memFree=1706304/2055920 swapFree=4192812/4192956
[pid=21155] ppid=21153 vsize=1784 CPUtime=0
/proc/21155/stat : 21155 (java) D 21153 21155 20370 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156452486 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21155/statm: 446 136 102 14 0 91 0
[startup+0.102918 s]
/proc/loadavg: 0.25 0.81 1.28 3/78 21156
/proc/meminfo: memFree=1706304/2055920 swapFree=4192812/4192956
[pid=21155] ppid=21153 vsize=914988 CPUtime=0.08
/proc/21155/stat : 21155 (java) S 21153 21155 20370 0 -1 0 2997 0 1 0 7 1 0 0 17 0 8 0 156452486 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21155/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510992 s]
/proc/loadavg: 0.25 0.81 1.28 3/78 21156
/proc/meminfo: memFree=1706304/2055920 swapFree=4192812/4192956
[pid=21155] ppid=21153 vsize=915328 CPUtime=0.47
/proc/21155/stat : 21155 (java) R 21153 21155 20370 0 -1 0 7638 0 1 0 43 4 0 0 16 0 8 0 156452486 937295872 7377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21155/statm: 228832 7378 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33214 s]
/proc/loadavg: 0.25 0.81 1.28 2/85 21163
/proc/meminfo: memFree=1675080/2055920 swapFree=4192812/4192956
[pid=21155] ppid=21153 vsize=915464 CPUtime=1.3
/proc/21155/stat : 21155 (java) R 21153 21155 20370 0 -1 0 10523 0 1 0 124 6 0 0 17 0 8 0 156452486 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21155/statm: 228866 10261 2513 14 0 215336 0
[pid=21155/tid=21157] ppid=21153 vsize=915464 CPUtime=0.03
/proc/21155/task/21157/stat : 21157 (java) S 21153 21155 20370 0 -1 64 353 0 0 0 3 0 0 0 16 0 8 0 156452490 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21155/tid=21158] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21158/stat : 21158 (java) S 21153 21155 20370 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452491 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21159] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21159/stat : 21159 (java) S 21153 21155 20370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452491 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21160] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21160/stat : 21160 (java) S 21153 21155 20370 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156452494 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21161] ppid=21153 vsize=915464 CPUtime=0.16
/proc/21155/task/21161/stat : 21161 (java) S 21153 21155 20370 0 -1 64 361 0 0 0 16 0 0 0 16 0 8 0 156452494 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21162] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21162/stat : 21162 (java) S 21153 21155 20370 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156452494 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21163] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21163/stat : 21163 (java) S 21153 21155 20370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452494 937435136 10261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97945 s]
/proc/loadavg: 0.31 0.81 1.28 2/85 21163
/proc/meminfo: memFree=1674952/2055920 swapFree=4192812/4192956
[pid=21155] ppid=21153 vsize=915464 CPUtime=2.95
/proc/21155/stat : 21155 (java) R 21153 21155 20370 0 -1 0 10538 0 1 0 289 6 0 0 17 0 8 0 156452486 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736489 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21155/statm: 228866 10275 2513 14 0 215336 0
[pid=21155/tid=21157] ppid=21153 vsize=915464 CPUtime=0.03
/proc/21155/task/21157/stat : 21157 (java) S 21153 21155 20370 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 156452490 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21155/tid=21158] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21158/stat : 21158 (java) S 21153 21155 20370 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452491 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21159] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21159/stat : 21159 (java) S 21153 21155 20370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452491 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21160] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21160/stat : 21160 (java) S 21153 21155 20370 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156452494 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21161] ppid=21153 vsize=915464 CPUtime=0.2
/proc/21155/task/21161/stat : 21161 (java) S 21153 21155 20370 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 156452494 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21162] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21162/stat : 21162 (java) S 21153 21155 20370 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156452494 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21163] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21163/stat : 21163 (java) S 21153 21155 20370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452494 937435136 10275 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.26507 s]
/proc/loadavg: 0.31 0.81 1.28 2/85 21163
/proc/meminfo: memFree=1674888/2055920 swapFree=4192812/4192956
[pid=21155] ppid=21153 vsize=915464 CPUtime=6.23
/proc/21155/stat : 21155 (java) R 21153 21155 20370 0 -1 0 10542 0 1 0 617 6 0 0 17 0 8 0 156452486 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21155/statm: 228866 10276 2513 14 0 215336 0
[pid=21155/tid=21157] ppid=21153 vsize=915464 CPUtime=0.03
/proc/21155/task/21157/stat : 21157 (java) S 21153 21155 20370 0 -1 64 353 0 0 0 3 0 0 0 17 0 8 0 156452490 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21155/tid=21158] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21158/stat : 21158 (java) S 21153 21155 20370 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156452491 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21159] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21159/stat : 21159 (java) S 21153 21155 20370 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156452491 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21160] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21160/stat : 21160 (java) S 21153 21155 20370 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156452494 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21161] ppid=21153 vsize=915464 CPUtime=0.2
/proc/21155/task/21161/stat : 21161 (java) S 21153 21155 20370 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 156452494 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21162] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21162/stat : 21162 (java) S 21153 21155 20370 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156452494 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21155/tid=21163] ppid=21153 vsize=915464 CPUtime=0
/proc/21155/task/21163/stat : 21163 (java) S 21153 21155 20370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452494 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 11.7905
CPU time (s): 11.7622
CPU user time (s): 11.6862
CPU system time (s): 0.075988
CPU usage (%): 99.7599
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6862
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10549
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= 1035
involuntary context switches= 179
runsolver used 0.016997 s user time and 0.037994 s system time
The end
Begin job on node21 on Sat Jan 6 10:49:37 UTC 2007
IDJOB= 225035
IDBENCH= 5811
FILE ID= node21/225035-1168080573
PBS_JOBID= 3476051
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-61_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225035-1168080573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-225035-1168080573 -o ROOT/results/node21/solver-225035-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225035-1168080573/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 761a72438b2a8fbe130ab06441196921
RANDOM SEED= 989346532
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.261
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.261
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: 1706784 kB
Buffers: 34084 kB
Cached: 186168 kB
SwapCached: 0 kB
Active: 172088 kB
Inactive: 106620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1706784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2476 kB
Writeback: 0 kB
Mapped: 77436 kB
Slab: 55936 kB
Committed_AS: 2915748 kB
PageTables: 1792 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= 66546 MiB
End job on node21 on Sat Jan 6 10:49:57 UTC 2007