0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/218411-1168252606/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.43 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.69
0.69 constraints being loaded...
0.85 nbConstraints=55 nbRelationTypes=55 nbExtensionStructures=55 nbSharedExtensionStructures=0
0.85 nbConflictsStructures=55 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=3
0.85 => wckTime=0.523 cpuTime=0.47 mem=39M631
0.94
0.94 solver IterativeSystematicSolver being built...
1.13 => wckTime=0.808 cpuTime=0.63 mem=20M450
1.21
1.21 preprocessing
1.21 nbConstraintChecks=15693 nbValidityChecks=26240 nbPropagations=152 nbRevisions=1167 nbUselessRevisions=1001
1.21 nbSingletonTests=25 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.21 => wckTime=0.069 cpuTime=0.05 mem=20M450
1.27
1.27 search
1.27 run=0 nbConstraintChecks=21865 nbValidityChecks=43667 nbPropagations=512 nbRevisions=4532
1.27 nbUselessRevisions=3530 nbAssignments=31 nbFailedAssignments=17 nbBacktracks=11 nbVisitedNodes=55
1.27 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.133 cpuTime=0.1 mem=21M434
1.31
1.31 search
1.31 run=1 nbConstraintChecks=46277 nbValidityChecks=89698 nbPropagations=1328 nbRevisions=12344
1.31 nbUselessRevisions=9627 nbAssignments=61 nbFailedAssignments=28 nbBacktracks=28 nbVisitedNodes=107
1.31 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.174 cpuTime=0.13 mem=21M434
1.46
1.46 search
1.46 run=2 nbConstraintChecks=140921 nbValidityChecks=280559 nbPropagations=3370 nbRevisions=33330
1.46 nbUselessRevisions=25581 nbAssignments=181 nbFailedAssignments=121 nbBacktracks=50 nbVisitedNodes=341
1.46 nbRestartNogoods=3 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.328 cpuTime=0.27 mem=21M434
1.56
1.56 search
1.56 run=3 nbConstraintChecks=211746 nbValidityChecks=431639 nbPropagations=6288 nbRevisions=63487
1.56 nbUselessRevisions=48763 nbAssignments=287 nbFailedAssignments=171 nbBacktracks=83 nbVisitedNodes=501
1.56 nbRestartNogoods=12 mapSize=76 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.427 cpuTime=0.36 mem=21M434
1.81
1.81 search
1.81 run=4 nbConstraintChecks=388889 nbValidityChecks=780859 nbPropagations=11394 nbRevisions=117627
1.81 nbUselessRevisions=89887 nbAssignments=487 nbFailedAssignments=316 nbBacktracks=134 nbVisitedNodes=892
1.81 nbRestartNogoods=16 mapSize=127 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.668 cpuTime=0.6 mem=21M434
1.95
1.95 search
1.95 run=5 nbConstraintChecks=508767 nbValidityChecks=1029728 nbPropagations=18124 nbRevisions=189087
1.95 nbUselessRevisions=144408 nbAssignments=663 nbFailedAssignments=412 nbBacktracks=209 nbVisitedNodes=1214
1.95 nbRestartNogoods=21 mapSize=193 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.814 cpuTime=0.74 mem=21M434
2.37
2.37 search
2.37 run=6 nbConstraintChecks=825812 nbValidityChecks=1677461 nbPropagations=29032 nbRevisions=305642
2.37 nbUselessRevisions=232847 nbAssignments=1063 nbFailedAssignments=685 nbBacktracks=322 nbVisitedNodes=1976
2.37 nbRestartNogoods=31 mapSize=302 nbInferences=0 nbTooLargeKeys=0
2.37 => wckTime=1.236 cpuTime=1.14 mem=21M434
2.86
2.86 search
2.86 run=7 nbConstraintChecks=1199637 nbValidityChecks=2449786 nbPropagations=44932 nbRevisions=477819
2.86 nbUselessRevisions=364184 nbAssignments=1551 nbFailedAssignments=990 nbBacktracks=492 nbVisitedNodes=2876
2.86 nbRestartNogoods=39 mapSize=445 nbInferences=0 nbTooLargeKeys=0
2.86 => wckTime=1.723 cpuTime=1.61 mem=21M434
3.82
3.82 search
3.82 run=8 nbConstraintChecks=1919098 nbValidityChecks=3928747 nbPropagations=71017 nbRevisions=754404
3.82 nbUselessRevisions=574458 nbAssignments=2496 nbFailedAssignments=1675 nbBacktracks=750 nbVisitedNodes=4710
3.82 nbRestartNogoods=53 mapSize=696 nbInferences=0 nbTooLargeKeys=0
3.82 => wckTime=2.688 cpuTime=2.55 mem=21M434
4.68
4.68 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=21M434)
4.75
4.75 search
4.75 run=9 nbConstraintChecks=2718948 nbValidityChecks=5576871 nbPropagations=108241 nbRevisions=1150801
4.75 nbUselessRevisions=876377 nbAssignments=3659 nbFailedAssignments=2450 nbBacktracks=1134 nbVisitedNodes=6915
4.75 nbRestartNogoods=57
4.75 => wckTime=3.616 cpuTime=3.47 mem=21M434
6.72
6.72 search
6.72 run=10 nbConstraintChecks=4288967 nbValidityChecks=8755664 nbPropagations=166784 nbRevisions=1773623
6.72 nbUselessRevisions=1350458 nbAssignments=5622 nbFailedAssignments=3834 nbBacktracks=1710 nbVisitedNodes=10723
6.72 nbRestartNogoods=64
6.72 => wckTime=5.58 cpuTime=5.42 mem=21M434
8.76
8.76 search
8.76 run=11 nbConstraintChecks=5988080 nbValidityChecks=12364997 nbPropagations=250956 nbRevisions=2668039
8.76 nbUselessRevisions=2034899 nbAssignments=8252 nbFailedAssignments=5590 nbBacktracks=2574 nbVisitedNodes=15691
8.76 nbRestartNogoods=73
8.76 => wckTime=7.626 cpuTime=7.46 mem=21M434
13.23
13.23 search
13.23 run=12 nbConstraintChecks=9657391 nbValidityChecks=19831763 nbPropagations=383292 nbRevisions=4082538
13.23 nbUselessRevisions=3113453 nbAssignments=13045 nbFailedAssignments=9081 nbBacktracks=3871 nbVisitedNodes=25007
13.23 nbRestartNogoods=84
13.23 => wckTime=12.096 cpuTime=11.9 mem=21M434
17.50
17.50 search
17.50 run=13 nbConstraintChecks=13343751 nbValidityChecks=27754309 nbPropagations=572642 nbRevisions=6104394
17.50 nbUselessRevisions=4659192 nbAssignments=19146 nbFailedAssignments=13232 nbBacktracks=5818 nbVisitedNodes=36625
17.50 nbRestartNogoods=96
17.50 => wckTime=16.367 cpuTime=16.15 mem=21M434
26.88
26.88 search
26.88 run=14 nbConstraintChecks=21141796 nbValidityChecks=43543651 nbPropagations=863458 nbRevisions=9222957
26.88 nbUselessRevisions=7042512 nbAssignments=28800 nbFailedAssignments=19964 nbBacktracks=8739 nbVisitedNodes=55269
26.88 nbRestartNogoods=105
26.88 => wckTime=25.744 cpuTime=25.49 mem=21M434
37.50
37.50 search
37.50 run=15 nbConstraintChecks=30212287 nbValidityChecks=62703757 nbPropagations=1286745 nbRevisions=13785394
37.50 nbUselessRevisions=10542065 nbAssignments=42702 nbFailedAssignments=29483 nbBacktracks=13118
37.50 nbVisitedNodes=81832 nbRestartNogoods=107
37.50 => wckTime=36.367 cpuTime=36.05 mem=21M434
58.13
58.13 search
58.13 run=16 nbConstraintChecks=47282781 nbValidityChecks=96874486 nbPropagations=1931029 nbRevisions=20770218
58.13 nbUselessRevisions=15895153 nbAssignments=62722 nbFailedAssignments=42930 nbBacktracks=19687
58.13 nbVisitedNodes=120362 nbRestartNogoods=114
58.13 => wckTime=56.997 cpuTime=56.58 mem=21M434
82.72
82.73 search
82.73 run=17 nbConstraintChecks=67997817 nbValidityChecks=138345281 nbPropagations=2849195 nbRevisions=30830005
82.73 nbUselessRevisions=23656913 nbAssignments=88070 nbFailedAssignments=58414 nbBacktracks=29540
82.73 nbVisitedNodes=168017 nbRestartNogoods=123
82.73 => wckTime=81.589 cpuTime=81.06 mem=21M434
122.75
122.75 search
122.75 run=18 nbConstraintChecks=102341290 nbValidityChecks=206957303 nbPropagations=4200128 nbRevisions=45750778
122.75 nbUselessRevisions=35208462 nbAssignments=128686 nbFailedAssignments=84239 nbBacktracks=44318
122.75 nbVisitedNodes=244813 nbRestartNogoods=145
122.75 => wckTime=121.614 cpuTime=120.88 mem=21M434
185.67
185.67 search
185.67 run=19 nbConstraintChecks=157803334 nbValidityChecks=319273237 nbPropagations=6281808 nbRevisions=68730041
185.67 nbUselessRevisions=52965065 nbAssignments=198214 nbFailedAssignments=131583 nbBacktracks=66488
185.67 nbVisitedNodes=378237 nbRestartNogoods=181
185.67 => wckTime=184.532 cpuTime=183.47 mem=21M434
249.15
249.15 search
249.15 run=20 nbConstraintChecks=213632307 nbValidityChecks=428765638 nbPropagations=9052483 nbRevisions=99469202
249.15 nbUselessRevisions=76779081 nbAssignments=261579 nbFailedAssignments=171020 nbBacktracks=90410
249.15 nbVisitedNodes=497754 nbRestartNogoods=202
249.15 => wckTime=248.015 cpuTime=246.59 mem=21M434
249.15
249.15 global
249.15 nbConstraintChecks=213648000 nbValidityChecks=428791878 nbPropagations=9052635 nbRevisions=99470369
249.15 nbUselessRevisions=76780082 nbRestartNogoods=202 solvingWckTime=248.016 solvingCpuTime=246.59 expiredTime=no
249.15 totalExploration=yes nbFoundSolutions=0 globalCpuTime=247.27
249.15 => wckTime=248.827 cpuTime=247.22 mem=21M434
249.16
249.16 s UNSATISFIABLE
249.16 d NODES 261579
249.16 d CHECKS 213648000
249.16
249.16 totalWckTime=248.914 totalCpuTime=247.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-218411-1168252606 -o ROOT/results/node39/solver-218411-1168252606 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218411-1168252606/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: 2.25 1.83 1.47 4/81 21280
/proc/meminfo: memFree=1523600/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=18540 CPUtime=0
/proc/21279/stat : 21279 (runsolver) R 21277 21279 20720 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173660314 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21279/statm: 4635 279 244 17 0 2626 0
[startup+0.107898 s]
/proc/loadavg: 2.25 1.83 1.47 4/81 21280
/proc/meminfo: memFree=1523600/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=914988 CPUtime=0.09
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 2989 0 1 0 7 2 0 0 17 0 8 0 173660314 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515935 s]
/proc/loadavg: 2.25 1.83 1.47 4/81 21280
/proc/meminfo: memFree=1523600/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915328 CPUtime=0.49
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 7328 0 1 0 44 5 0 0 18 0 8 0 173660314 937295872 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228832 7067 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33901 s]
/proc/loadavg: 2.25 1.83 1.47 3/88 21287
/proc/meminfo: memFree=1469656/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=1.3
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16206 0 1 0 119 11 0 0 24 0 8 0 173660314 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228865 15944 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 16 0 8 0 173660319 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.16
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 354 0 0 0 16 0 0 0 15 0 8 0 173660323 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15944 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.99216 s]
/proc/loadavg: 2.31 1.85 1.48 4/88 21287
/proc/meminfo: memFree=1467928/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=2.95
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16228 0 1 0 283 12 0 0 25 0 8 0 173660314 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228865 15965 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 17 0 8 0 173660319 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.22
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 375 0 0 0 21 1 0 0 16 0 8 0 173660323 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.2785 s]
/proc/loadavg: 2.31 1.85 1.48 3/88 21287
/proc/meminfo: memFree=1463968/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=6.2
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16236 0 1 0 608 12 0 0 25 0 8 0 173660314 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228865 15971 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 16 0 8 0 173660319 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.23
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 173660323 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915460
[startup+12.7629 s]
/proc/loadavg: 2.34 1.87 1.49 3/88 21287
/proc/meminfo: memFree=1457440/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=12.65
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16238 0 1 0 1253 12 0 0 25 0 8 0 173660314 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073611516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228865 15972 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 17 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.24
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
[startup+25.5751 s]
/proc/loadavg: 2.37 1.89 1.50 4/88 21287
/proc/meminfo: memFree=1449568/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=25.4
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16238 0 1 0 2528 12 0 0 25 0 8 0 173660314 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073721269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228865 15972 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.24
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915460
[startup+51.2494 s]
/proc/loadavg: 2.44 1.95 1.53 4/88 21287
/proc/meminfo: memFree=1434336/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=50.95
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16238 0 1 0 5083 12 0 0 25 0 8 0 173660314 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073606644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21279/statm: 228865 15972 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.24
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460
[startup+102.543 s]
/proc/loadavg: 2.69 2.09 1.60 4/88 21287
/proc/meminfo: memFree=1409568/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=101.98
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16238 0 1 0 10186 12 0 0 25 0 8 0 173660314 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21279/statm: 228865 15972 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.24
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 915460
[startup+162.547 s]
/proc/loadavg: 2.73 2.21 1.67 4/88 21287
/proc/meminfo: memFree=1391392/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=161.67
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16238 0 1 0 16155 12 0 0 25 0 8 0 173660314 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21279/statm: 228865 15972 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.24
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 915460
[startup+222.558 s]
/proc/loadavg: 2.75 2.31 1.74 4/88 21287
/proc/meminfo: memFree=1373280/2055920 swapFree=4187312/4192956
[pid=21279] ppid=21277 vsize=915460 CPUtime=221.37
/proc/21279/stat : 21279 (java) R 21277 21279 20720 0 -1 0 16238 0 1 0 22125 12 0 0 25 0 8 0 173660314 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21279/statm: 228865 15972 2527 14 0 215335 0
[pid=21279/tid=21281] ppid=21277 vsize=915460 CPUtime=0.07
/proc/21279/task/21281/stat : 21281 (java) S 21277 21279 20720 0 -1 64 1649 0 0 0 7 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21282] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21282/stat : 21282 (java) S 21277 21279 20720 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21283] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21283/stat : 21283 (java) S 21277 21279 20720 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173660319 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21284] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21284/stat : 21284 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173660322 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21285] ppid=21277 vsize=915460 CPUtime=0.24
/proc/21279/task/21285/stat : 21285 (java) S 21277 21279 20720 0 -1 64 384 0 0 0 23 1 0 0 16 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21286] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21286/stat : 21286 (java) S 21277 21279 20720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21279/tid=21287] ppid=21277 vsize=915460 CPUtime=0
/proc/21279/task/21287/stat : 21287 (java) S 21277 21279 20720 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173660323 937431040 15972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 249.204
CPU time (s): 247.837
CPU user time (s): 247.696
CPU system time (s): 0.140978
CPU usage (%): 99.4516
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.696
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16245
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= 6064
involuntary context switches= 8100
runsolver used 0.320951 s user time and 0.809876 s system time
The end
Begin job on node39 on Mon Jan 8 10:36:46 UTC 2007
IDJOB= 218411
IDBENCH= 5234
FILE ID= node39/218411-1168252606
PBS_JOBID= 3481938
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218411-1168252606/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-218411-1168252606 -o ROOT/results/node39/solver-218411-1168252606 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218411-1168252606/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0c3b4069edc151aea481b3cb28cbb69f
RANDOM SEED= 339641239
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.236
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.236
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: 1524848 kB
Buffers: 39172 kB
Cached: 101608 kB
SwapCached: 1408 kB
Active: 404676 kB
Inactive: 70140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1524848 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 12360 kB
Writeback: 0 kB
Mapped: 347840 kB
Slab: 40780 kB
Committed_AS: 3935756 kB
PageTables: 2472 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= 66551 MiB
End job on node39 on Mon Jan 8 10:40:57 UTC 2007