0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/225327-1168080598/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.44 => wckTime=0.123 cpuTime=0.08 mem=6M951
0.44
0.44 relations being loaded...
0.77
0.77 constraints being loaded...
0.89 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.89 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.89 => wckTime=0.582 cpuTime=0.5 mem=36M295
0.94
0.94 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.78 cpuTime=0.62 mem=16M209
1.10
1.10 preprocessing
1.10 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.10 detectedInconsistency=no
1.10 => wckTime=0.0020 cpuTime=0.0 mem=16M209
1.18
1.18 search
1.18 run=0 nbConstraintChecks=224505 nbPropagations=915 nbRevisions=3194 nbUselessRevisions=1504 nbAssignments=31
1.18 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.18 nbTooLargeKeys=0
1.18 => wckTime=0.08 cpuTime=0.05 mem=16M209
1.24
1.24 search
1.24 run=1 nbConstraintChecks=1111881 nbPropagations=4531 nbRevisions=16135 nbUselessRevisions=7603
1.24 nbAssignments=133 nbFailedAssignments=99 nbBacktracks=25 nbVisitedNodes=251 nbRestartNogoods=7 mapSize=20
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.143 cpuTime=0.11 mem=16M209
1.29
1.29 search
1.29 run=2 nbConstraintChecks=1880373 nbPropagations=10822 nbRevisions=39216 nbUselessRevisions=18590
1.29 nbAssignments=228 nbFailedAssignments=168 nbBacktracks=48 nbVisitedNodes=433 nbRestartNogoods=13 mapSize=40
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.196 cpuTime=0.15 mem=16M209
1.39
1.39 search
1.39 run=3 nbConstraintChecks=3368312 nbPropagations=22271 nbRevisions=82415 nbUselessRevisions=38634
1.39 nbAssignments=381 nbFailedAssignments=284 nbBacktracks=81 nbVisitedNodes=731 nbRestartNogoods=20 mapSize=72
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.29 cpuTime=0.24 mem=16M209
1.52
1.52 search
1.52 run=4 nbConstraintChecks=5638220 nbPropagations=41047 nbRevisions=152244 nbUselessRevisions=71010
1.52 nbAssignments=609 nbFailedAssignments=458 nbBacktracks=131 nbVisitedNodes=1168 nbRestartNogoods=39 mapSize=117
1.52 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.42 cpuTime=0.36 mem=16M209
1.69
1.69 search
1.69 run=5 nbConstraintChecks=8450861 nbPropagations=70547 nbRevisions=262120 nbUselessRevisions=122287
1.69 nbAssignments=964 nbFailedAssignments=735 nbBacktracks=206 nbVisitedNodes=1858 nbRestartNogoods=43 mapSize=178
1.69 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.591 cpuTime=0.53 mem=16M209
1.89
1.89 search
1.89 run=6 nbConstraintChecks=12176885 nbPropagations=111951 nbRevisions=418161 nbUselessRevisions=195294
1.89 nbAssignments=1335 nbFailedAssignments=988 nbBacktracks=319 nbVisitedNodes=2563 nbRestartNogoods=59
1.89 mapSize=279 nbInferences=0 nbTooLargeKeys=0
1.89 => wckTime=0.796 cpuTime=0.73 mem=16M209
2.27
2.27 search
2.27 run=7 nbConstraintChecks=18206026 nbPropagations=176963 nbRevisions=662482 nbUselessRevisions=309054
2.27 nbAssignments=2081 nbFailedAssignments=1561 nbBacktracks=489 nbVisitedNodes=4015 nbRestartNogoods=79
2.27 mapSize=430 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=1.176 cpuTime=1.09 mem=17M182
2.72
2.72 search
2.72 run=8 nbConstraintChecks=26135501 nbPropagations=267409 nbRevisions=1004493 nbUselessRevisions=469345
2.72 nbAssignments=2900 nbFailedAssignments=2121 nbBacktracks=745 nbVisitedNodes=5575 nbRestartNogoods=94
2.72 mapSize=644 nbInferences=0 nbTooLargeKeys=0
2.72 => wckTime=1.623 cpuTime=1.54 mem=17M182
3.57
3.57 search
3.57 run=9 nbConstraintChecks=40370240 nbPropagations=413862 nbRevisions=1552455 nbUselessRevisions=724211
3.57 nbAssignments=4677 nbFailedAssignments=3510 nbBacktracks=1129 nbVisitedNodes=9025 nbRestartNogoods=122
3.57 mapSize=984 nbInferences=0 nbTooLargeKeys=0
3.57 => wckTime=2.472 cpuTime=2.38 mem=17M182
3.62
3.62 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=17M182)
4.65
4.65 search
4.65 run=10 nbConstraintChecks=59735257 nbPropagations=622240 nbRevisions=2336991 nbUselessRevisions=1090665
4.65 nbAssignments=6542 nbFailedAssignments=4796 nbBacktracks=1705 nbVisitedNodes=12582 nbRestartNogoods=140
4.65 => wckTime=3.549 cpuTime=3.45 mem=17M182
6.12
6.12 search
6.12 run=11 nbConstraintChecks=86624460 nbPropagations=934759 nbRevisions=3507588 nbUselessRevisions=1635568
6.12 nbAssignments=9768 nbFailedAssignments=7155 nbBacktracks=2569 nbVisitedNodes=18812 nbRestartNogoods=158
6.12 => wckTime=5.02 cpuTime=4.91 mem=17M182
8.70
8.70 search
8.70 run=12 nbConstraintChecks=134629010 nbPropagations=1400518 nbRevisions=5266597 nbUselessRevisions=2457763
8.70 nbAssignments=14366 nbFailedAssignments=10454 nbBacktracks=3866 nbVisitedNodes=27670 nbRestartNogoods=171
8.70 => wckTime=7.603 cpuTime=7.49 mem=17M182
12.03
12.04 search
12.04 run=13 nbConstraintChecks=192642242 nbPropagations=2103360 nbRevisions=7910052 nbUselessRevisions=3689345
12.04 nbAssignments=21969 nbFailedAssignments=16107 nbBacktracks=5812 nbVisitedNodes=42419 nbRestartNogoods=197
12.04 => wckTime=10.938 cpuTime=10.83 mem=17M182
16.82
16.82 search
16.82 run=14 nbConstraintChecks=277188116 nbPropagations=3130176 nbRevisions=11758695 nbUselessRevisions=5480898
16.82 nbAssignments=32279 nbFailedAssignments=23495 nbBacktracks=8731 nbVisitedNodes=62078 nbRestartNogoods=218
16.82 => wckTime=15.724 cpuTime=15.61 mem=17M182
25.67
25.67 search
25.67 run=15 nbConstraintChecks=436642286 nbPropagations=4707283 nbRevisions=17692204 nbUselessRevisions=8243047
25.67 nbAssignments=49049 nbFailedAssignments=35885 nbBacktracks=13109 nbVisitedNodes=94403 nbRestartNogoods=237
25.67 => wckTime=24.574 cpuTime=24.46 mem=17M182
38.24
38.24 search
38.24 run=16 nbConstraintChecks=659655045 nbPropagations=7091669 nbRevisions=26685525 nbUselessRevisions=12427387
38.24 nbAssignments=73690 nbFailedAssignments=53953 nbBacktracks=19677 nbVisitedNodes=141972 nbRestartNogoods=257
38.24 => wckTime=37.142 cpuTime=37.02 mem=17M182
55.46
55.46 search
55.46 run=17 nbConstraintChecks=962494911 nbPropagations=10669538 nbRevisions=40113280 nbUselessRevisions=18672990
55.46 nbAssignments=112209 nbFailedAssignments=82616 nbBacktracks=29529 nbVisitedNodes=216076 nbRestartNogoods=280
55.46 => wckTime=54.361 cpuTime=54.22 mem=17M182
82.91
82.91 search
82.91 run=18 nbConstraintChecks=1451369308 nbPropagations=16062929 nbRevisions=60333410 nbUselessRevisions=28074252
82.91 nbAssignments=168824 nbFailedAssignments=124450 nbBacktracks=44307 nbVisitedNodes=325335 nbRestartNogoods=295
82.91 => wckTime=81.816 cpuTime=81.66 mem=17M182
125.29
125.29 search
125.29 run=19 nbConstraintChecks=2211311223 nbPropagations=24274805 nbRevisions=91069249 nbUselessRevisions=42375469
125.29 nbAssignments=257468 nbFailedAssignments=190922 nbBacktracks=66475 nbVisitedNodes=496472 nbRestartNogoods=309
125.29 => wckTime=124.196 cpuTime=124.01 mem=17M182
190.69
190.69 search
190.69 run=20 nbConstraintChecks=3388170723 nbPropagations=36754800 nbRevisions=137895361 nbUselessRevisions=64212094
190.69 nbAssignments=393100 nbFailedAssignments=293298 nbBacktracks=99728 nbVisitedNodes=758554 nbRestartNogoods=328
190.69 => wckTime=189.589 cpuTime=189.36 mem=17M182
280.61
280.61 search
280.61 run=21 nbConstraintChecks=4979444244 nbPropagations=55224335 nbRevisions=207521532 nbUselessRevisions=96684379
280.61 nbAssignments=584200 nbFailedAssignments=440471 nbBacktracks=143656 nbVisitedNodes=1130527 nbRestartNogoods=333
280.61 => wckTime=279.513 cpuTime=279.22 mem=17M182
280.61
280.61 global
280.61 nbConstraintChecks=4979444244 nbPropagations=55224375 nbRevisions=207521532 nbUselessRevisions=96684379
280.61 nbRestartNogoods=333 solvingWckTime=279.513 solvingCpuTime=279.22 expiredTime=no totalExploration=yes
280.61 nbFoundSolutions=0 globalCpuTime=279.9
280.61 => wckTime=280.298 cpuTime=279.85 mem=17M182
280.61
280.61 s UNSATISFIABLE
280.61 d NODES 584200
280.61 d CHECKS 4979444244
280.61
280.61 totalWckTime=280.374 totalCpuTime=279.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-225327-1168080598 -o ROOT/results/node25/solver-225327-1168080598 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225327-1168080598/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.19 0.69 0.93 3/81 31092
/proc/meminfo: memFree=1649024/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=1784 CPUtime=0
/proc/31091/stat : 31091 (java) D 31089 31091 30875 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156452546 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31091/statm: 446 140 106 14 0 91 0
[startup+0.103807 s]
/proc/loadavg: 0.19 0.69 0.93 3/81 31092
/proc/meminfo: memFree=1649024/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=912760 CPUtime=0.07
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 2774 0 1 0 6 1 0 0 24 0 8 0 156452546 934666240 2520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228190 2520 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.51188 s]
/proc/loadavg: 0.19 0.69 0.93 3/81 31092
/proc/meminfo: memFree=1649024/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915328 CPUtime=0.45
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 7204 0 1 0 41 4 0 0 24 0 8 0 156452546 937295872 6943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228832 6943 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.34002 s]
/proc/loadavg: 0.19 0.69 0.93 4/100 31111
/proc/meminfo: memFree=1555368/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=1.27
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14348 0 1 0 119 8 0 0 25 0 8 0 156452546 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228866 14086 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 17 0 8 0 156452551 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.16
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 359 0 0 0 15 1 0 0 16 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14086 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464
[startup+2.97729 s]
/proc/loadavg: 0.26 0.70 0.93 2/88 31111
/proc/meminfo: memFree=1601992/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=2.89
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14364 0 1 0 281 8 0 0 17 0 8 0 156452546 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14101 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915464
[startup+6.27085 s]
/proc/loadavg: 0.26 0.70 0.93 3/90 31119
/proc/meminfo: memFree=1586872/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=6.18
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14369 0 1 0 610 8 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7429 s]
/proc/loadavg: 0.37 0.71 0.93 2/88 31119
/proc/meminfo: memFree=1601944/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=12.64
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 1256 8 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915464
[startup+25.5831 s]
/proc/loadavg: 0.47 0.72 0.93 2/88 31119
/proc/meminfo: memFree=1602152/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=25.48
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 2539 9 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915464
[startup+51.2755 s]
/proc/loadavg: 0.65 0.74 0.93 2/88 31122
/proc/meminfo: memFree=1605800/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=51.16
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 5107 9 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915464
[startup+102.574 s]
/proc/loadavg: 1.19 0.87 0.97 2/88 31175
/proc/meminfo: memFree=1600416/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=102.41
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 10230 11 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915464
[startup+162.583 s]
/proc/loadavg: 1.14 0.91 0.97 2/88 31223
/proc/meminfo: memFree=1601000/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=162.38
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 16225 13 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 915464
[startup+222.586 s]
/proc/loadavg: 1.05 0.92 0.97 2/88 31234
/proc/meminfo: memFree=1603368/2055920 swapFree=4192812/4192956
[pid=31091] ppid=31089 vsize=915464 CPUtime=222.35
/proc/31091/stat : 31091 (java) R 31089 31091 30875 0 -1 0 14370 0 1 0 22221 14 0 0 25 0 8 0 156452546 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31091/statm: 228866 14105 2513 14 0 215336 0
[pid=31091/tid=31098] ppid=31089 vsize=915464 CPUtime=0.03
/proc/31091/task/31098/stat : 31098 (java) S 31089 31091 30875 0 -1 64 612 0 0 0 3 0 0 0 16 0 8 0 156452551 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31099] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31099/stat : 31099 (java) S 31089 31091 30875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31100] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31100/stat : 31100 (java) S 31089 31091 30875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156452552 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31104] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31104/stat : 31104 (java) S 31089 31091 30875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31105] ppid=31089 vsize=915464 CPUtime=0.19
/proc/31091/task/31105/stat : 31105 (java) S 31089 31091 30875 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31106] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31106/stat : 31106 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31091/tid=31107] ppid=31089 vsize=915464 CPUtime=0
/proc/31091/task/31107/stat : 31107 (java) S 31089 31091 30875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156452555 937435136 14105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 280.678
CPU time (s): 280.36
CPU user time (s): 280.204
CPU system time (s): 0.155976
CPU usage (%): 99.8867
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.204
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14376
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= 6668
involuntary context switches= 7183
runsolver used 0.25696 s user time and 0.769882 s system time
The end
Begin job on node25 on Sat Jan 6 10:50:00 UTC 2007
IDJOB= 225327
IDBENCH= 5845
FILE ID= node25/225327-1168080598
PBS_JOBID= 3476103
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225327-1168080598/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-225327-1168080598 -o ROOT/results/node25/solver-225327-1168080598 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225327-1168080598/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ac0e5fd51cdfeaeb41cf7ea716924ba
RANDOM SEED= 546666439
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.279
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.279
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: 1649440 kB
Buffers: 43864 kB
Cached: 242960 kB
SwapCached: 0 kB
Active: 84348 kB
Inactive: 250916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1649440 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7000 kB
Writeback: 0 kB
Mapped: 67432 kB
Slab: 56288 kB
Committed_AS: 2874360 kB
PageTables: 2144 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= 66548 MiB
End job on node25 on Sat Jan 6 10:54:44 UTC 2007