0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208730-1168189612/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.68
0.68 constraints being loaded...
0.83 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.83 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.83 => wckTime=0.515 cpuTime=0.45 mem=43M486
0.91
0.91 solver IterativeSystematicSolver being built...
1.07 => wckTime=0.756 cpuTime=0.59 mem=21M379
1.16
1.16 preprocessing
1.16 nbConstraintChecks=19669 nbValidityChecks=34918 nbPropagations=190 nbRevisions=1797 nbUselessRevisions=1520
1.16 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.16 => wckTime=0.084 cpuTime=0.04 mem=21M379
1.22
1.22 search
1.22 run=0 nbConstraintChecks=27520 nbValidityChecks=61124 nbPropagations=603 nbRevisions=6332
1.22 nbUselessRevisions=5105 nbAssignments=41 nbFailedAssignments=26 nbBacktracks=10 nbVisitedNodes=77
1.22 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.142 cpuTime=0.09 mem=22M381
1.29
1.29 search
1.29 run=1 nbConstraintChecks=72333 nbValidityChecks=157428 nbPropagations=1907 nbRevisions=19951
1.29 nbUselessRevisions=15591 nbAssignments=99 nbFailedAssignments=65 nbBacktracks=25 nbVisitedNodes=188
1.29 nbRestartNogoods=6 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.215 cpuTime=0.16 mem=22M381
1.36
1.36 search
1.36 run=2 nbConstraintChecks=116006 nbValidityChecks=251040 nbPropagations=3996 nbRevisions=41438
1.36 nbUselessRevisions=31982 nbAssignments=161 nbFailedAssignments=99 nbBacktracks=47 nbVisitedNodes=300
1.36 nbRestartNogoods=10 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.282 cpuTime=0.22 mem=22M381
1.44
1.44 search
1.44 run=3 nbConstraintChecks=172672 nbValidityChecks=373546 nbPropagations=7107 nbRevisions=74166
1.44 nbUselessRevisions=57105 nbAssignments=256 nbFailedAssignments=155 nbBacktracks=80 nbVisitedNodes=471
1.44 nbRestartNogoods=14 mapSize=74 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.364 cpuTime=0.29 mem=22M381
1.56
1.56 search
1.56 run=4 nbConstraintChecks=267477 nbValidityChecks=578632 nbPropagations=11621 nbRevisions=123224
1.56 nbUselessRevisions=95094 nbAssignments=395 nbFailedAssignments=238 nbBacktracks=130 nbVisitedNodes=726
1.56 nbRestartNogoods=21 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.484 cpuTime=0.41 mem=22M381
1.74
1.74 search
1.74 run=5 nbConstraintChecks=411962 nbValidityChecks=874565 nbPropagations=18469 nbRevisions=197999
1.74 nbUselessRevisions=153303 nbAssignments=602 nbFailedAssignments=350 nbBacktracks=206 nbVisitedNodes=1088
1.74 nbRestartNogoods=27 mapSize=192 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.668 cpuTime=0.59 mem=22M381
2.00
2.00 search
2.00 run=6 nbConstraintChecks=609016 nbValidityChecks=1285901 nbPropagations=28709 nbRevisions=309911
2.00 nbUselessRevisions=240214 nbAssignments=884 nbFailedAssignments=514 nbBacktracks=319 nbVisitedNodes=1606
2.01 nbRestartNogoods=32 mapSize=296 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.929 cpuTime=0.84 mem=22M381
2.59
2.59 search
2.60 run=7 nbConstraintChecks=1099510 nbValidityChecks=2261804 nbPropagations=45221 nbRevisions=497070
2.60 nbUselessRevisions=385076 nbAssignments=1453 nbFailedAssignments=908 nbBacktracks=489 nbVisitedNodes=2720
2.60 nbRestartNogoods=35 mapSize=463 nbInferences=0 nbTooLargeKeys=0
2.60 => wckTime=1.519 cpuTime=1.41 mem=22M381
3.12
3.12 search
3.12 run=8 nbConstraintChecks=1519714 nbValidityChecks=3120325 nbPropagations=69496 nbRevisions=762724
3.12 nbUselessRevisions=590550 nbAssignments=2023 nbFailedAssignments=1218 nbBacktracks=746 nbVisitedNodes=3784
3.12 nbRestartNogoods=40 mapSize=710 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=2.04 cpuTime=1.92 mem=22M381
3.77
3.77 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=22M381)
3.84
3.84 search
3.84 run=9 nbConstraintChecks=2137232 nbValidityChecks=4449704 nbPropagations=104258 nbRevisions=1151924
3.84 nbUselessRevisions=894395 nbAssignments=2995 nbFailedAssignments=1800 nbBacktracks=1130 nbVisitedNodes=5599
3.84 nbRestartNogoods=43
3.84 => wckTime=2.765 cpuTime=2.63 mem=22M381
5.11
5.11 search
5.11 run=10 nbConstraintChecks=3221033 nbValidityChecks=6710764 nbPropagations=156649 nbRevisions=1737946
5.11 nbUselessRevisions=1350941 nbAssignments=4476 nbFailedAssignments=2701 nbBacktracks=1706 nbVisitedNodes=8384
5.11 nbRestartNogoods=50
5.11 => wckTime=4.039 cpuTime=3.88 mem=22M381
8.10
8.10 search
8.10 run=11 nbConstraintChecks=5905565 nbValidityChecks=12178963 nbPropagations=242259 nbRevisions=2734043
8.10 nbUselessRevisions=2124661 nbAssignments=7645 nbFailedAssignments=5004 nbBacktracks=2570 nbVisitedNodes=14538
8.10 nbRestartNogoods=56
8.10 => wckTime=7.025 cpuTime=6.83 mem=22M381
10.79
10.79 search
10.79 run=12 nbConstraintChecks=8283004 nbValidityChecks=17084713 nbPropagations=369103 nbRevisions=4156813
10.79 nbUselessRevisions=3225592 nbAssignments=10825 nbFailedAssignments=6883 nbBacktracks=3867 nbVisitedNodes=20503
10.79 nbRestartNogoods=64
10.79 => wckTime=9.717 cpuTime=9.51 mem=22M381
15.12
15.12 search
15.12 run=13 nbConstraintChecks=12054696 nbValidityChecks=24925818 nbPropagations=558777 nbRevisions=6262140
15.12 nbUselessRevisions=4853687 nbAssignments=15879 nbFailedAssignments=9986 nbBacktracks=5813 nbVisitedNodes=30033
15.12 nbRestartNogoods=70
15.12 => wckTime=14.042 cpuTime=13.79 mem=22M381
23.50
23.50 search
23.50 run=14 nbConstraintChecks=19496355 nbValidityChecks=40212384 nbPropagations=849293 nbRevisions=9565914
23.50 nbUselessRevisions=7410377 nbAssignments=24981 nbFailedAssignments=16164 nbBacktracks=8734 nbVisitedNodes=47559
23.50 nbRestartNogoods=84
23.50 => wckTime=22.421 cpuTime=22.1 mem=22M381
34.24
34.24 search
34.24 run=15 nbConstraintChecks=28971909 nbValidityChecks=59812652 nbPropagations=1292657 nbRevisions=14567341
34.24 nbUselessRevisions=11279797 nbAssignments=37226 nbFailedAssignments=24026 nbBacktracks=13112
34.24 nbVisitedNodes=70871 nbRestartNogoods=98
34.24 => wckTime=33.159 cpuTime=32.73 mem=22M381
47.64
47.64 search
47.64 run=16 nbConstraintChecks=40425895 nbValidityChecks=85088566 nbPropagations=1946826 nbRevisions=21750814
47.64 nbUselessRevisions=16823201 nbAssignments=55580 nbFailedAssignments=35808 nbBacktracks=19680
47.64 nbVisitedNodes=105430 nbRestartNogoods=123
47.64 => wckTime=46.562 cpuTime=45.99 mem=22M381
72.65
72.65 search
72.65 run=17 nbConstraintChecks=62260475 nbValidityChecks=130640478 nbPropagations=2917741 nbRevisions=32379676
72.65 nbUselessRevisions=24985506 nbAssignments=81189 nbFailedAssignments=51562 nbBacktracks=29533
72.65 nbVisitedNodes=153676 nbRestartNogoods=133
72.65 => wckTime=71.577 cpuTime=70.77 mem=22M381
104.59
104.59 search
104.59 run=18 nbConstraintChecks=89900640 nbValidityChecks=189129935 nbPropagations=4337517 nbRevisions=47721301
104.59 nbUselessRevisions=36728352 nbAssignments=116099 nbFailedAssignments=71691 nbBacktracks=44311
104.59 nbVisitedNodes=219026 nbRestartNogoods=138
104.59 => wckTime=103.514 cpuTime=102.42 mem=22M381
152.39
152.39 search
152.39 run=19 nbConstraintChecks=131263605 nbValidityChecks=278552531 nbPropagations=6463681 nbRevisions=70526107
152.39 nbUselessRevisions=54190826 nbAssignments=173279 nbFailedAssignments=106698 nbBacktracks=66479
152.39 nbVisitedNodes=326664 nbRestartNogoods=148
152.39 => wckTime=151.31 cpuTime=149.77 mem=22M381
222.91
222.91 search
222.91 run=20 nbConstraintChecks=192474431 nbValidityChecks=407710808 nbPropagations=9579027 nbRevisions=103607827
222.91 nbUselessRevisions=79438415 nbAssignments=249244 nbFailedAssignments=149405 nbBacktracks=99733
222.91 nbVisitedNodes=468039 nbRestartNogoods=159
222.91 => wckTime=221.835 cpuTime=219.63 mem=22M381
261.49
261.49 search
261.49 run=21 nbConstraintChecks=225931273 nbValidityChecks=478272690 nbPropagations=13233488 nbRevisions=142365981
261.49 nbUselessRevisions=109013255 nbAssignments=291371 nbFailedAssignments=173515 nbBacktracks=117730
261.49 nbVisitedNodes=546586 nbRestartNogoods=190
261.49 => wckTime=260.413 cpuTime=257.83 mem=22M381
261.49
261.49 global
261.49 nbConstraintChecks=225950942 nbValidityChecks=478307608 nbPropagations=13233678 nbRevisions=142367778
261.49 nbUselessRevisions=109014775 nbRestartNogoods=190 solvingWckTime=260.414 solvingCpuTime=257.83 expiredTime=no
261.49 totalExploration=no nbFoundSolutions=1 globalCpuTime=258.48
261.49 => wckTime=261.173 cpuTime=258.43 mem=22M381
261.49
261.49 s SATISFIABLE
261.49 v 17 5 4 2 5 11 19 10 13 1 15 5 0 7 8 1 14 18 18 10
261.49 d NODES 291371
261.49 d CHECKS 225950942
261.49
261.49 totalWckTime=261.255 totalCpuTime=258.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-208730-1168189612 -o ROOT/results/node62/solver-208730-1168189612 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208730-1168189612/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.92 0.99 1.18 2/69 4884
/proc/meminfo: memFree=1506864/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=1784 CPUtime=0
/proc/4883/stat : 4883 (java) D 4877 4883 4741 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 167358967 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4883/statm: 446 136 102 14 0 91 0
[startup+0.107162 s]
/proc/loadavg: 0.92 0.99 1.18 2/69 4884
/proc/meminfo: memFree=1506864/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=914988 CPUtime=0.08
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 2981 0 1 0 7 1 0 0 19 0 8 0 167358967 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4883/statm: 228747 2729 1424 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515245 s]
/proc/loadavg: 0.92 0.99 1.18 2/69 4884
/proc/meminfo: memFree=1506864/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=915328 CPUtime=0.48
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 7596 0 1 0 44 4 0 0 18 0 8 0 167358967 937295872 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 228832 7335 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33741 s]
/proc/loadavg: 1.01 1.01 1.18 4/88 4906
/proc/meminfo: memFree=1430232/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=1.29
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17411 0 1 0 120 9 0 0 24 0 8 0 167358967 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17149 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.17
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 358 0 0 0 16 1 0 0 15 0 8 0 167358975 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916484
[startup+2.98173 s]
/proc/loadavg: 1.01 1.01 1.18 3/88 4906
/proc/meminfo: memFree=1426776/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=2.91
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17430 0 1 0 282 9 0 0 25 0 8 0 167358967 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17166 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 17 0 8 0 167358971 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.2
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 375 0 0 0 19 1 0 0 16 0 8 0 167358975 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 916484
[startup+6.27538 s]
/proc/loadavg: 1.01 1.01 1.18 3/88 4906
/proc/meminfo: memFree=1426592/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=6.17
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17438 0 1 0 607 10 0 0 25 0 8 0 167358967 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17173 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.21
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 916484
[startup+12.7557 s]
/proc/loadavg: 1.16 1.04 1.19 3/88 4906
/proc/meminfo: memFree=1426592/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=12.59
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17438 0 1 0 1249 10 0 0 25 0 8 0 167358967 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17173 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.21
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 916484
[startup+25.6202 s]
/proc/loadavg: 1.29 1.07 1.20 3/88 4906
/proc/meminfo: memFree=1426784/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=25.32
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17440 0 1 0 2522 10 0 0 25 0 8 0 167358967 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17174 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.21
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 916484
[startup+51.2383 s]
/proc/loadavg: 1.53 1.14 1.22 3/88 4906
/proc/meminfo: memFree=1426848/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=50.71
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17440 0 1 0 5060 11 0 0 25 0 8 0 167358967 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17174 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.21
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 916484
[startup+102.464 s]
/proc/loadavg: 1.81 1.29 1.26 3/88 4906
/proc/meminfo: memFree=1426912/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=101.45
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17440 0 1 0 10134 11 0 0 25 0 8 0 167358967 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609022 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17174 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.21
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 916484
[startup+162.552 s]
/proc/loadavg: 1.93 1.41 1.30 4/88 4906
/proc/meminfo: memFree=1426912/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=160.98
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17440 0 1 0 16086 12 0 0 25 0 8 0 167358967 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738876 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17174 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.21
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 916484
[startup+222.632 s]
/proc/loadavg: 1.97 1.52 1.34 3/88 4906
/proc/meminfo: memFree=1426848/2055920 swapFree=4192812/4192956
[pid=4883] ppid=4877 vsize=916484 CPUtime=220.5
/proc/4883/stat : 4883 (java) R 4877 4883 4741 0 -1 0 17440 0 1 0 22038 12 0 0 25 0 8 0 167358967 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744591 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4883/statm: 229121 17174 2527 14 0 215591 0
[pid=4883/tid=4893] ppid=4877 vsize=916484 CPUtime=0.06
/proc/4883/task/4893/stat : 4893 (java) S 4877 4883 4741 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 167358971 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4894] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4894/stat : 4894 (java) S 4877 4883 4741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4895] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4895/stat : 4895 (java) S 4877 4883 4741 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167358972 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4899] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4899/stat : 4899 (java) S 4877 4883 4741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4900] ppid=4877 vsize=916484 CPUtime=0.21
/proc/4883/task/4900/stat : 4900 (java) S 4877 4883 4741 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4883/tid=4901] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4901/stat : 4901 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4883/tid=4902] ppid=4877 vsize=916484 CPUtime=0
/proc/4883/task/4902/stat : 4902 (java) S 4877 4883 4741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167358975 938479616 17174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 261.536
CPU time (s): 259.01
CPU user time (s): 258.872
CPU system time (s): 0.137979
CPU usage (%): 99.0339
Max. virtual memory (cumulated for all children) (KiB): 916484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.872
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17447
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= 6405
involuntary context switches= 14713
runsolver used 0.309952 s user time and 0.78288 s system time
The end
Begin job on node62 on Sun Jan 7 17:06:52 UTC 2007
IDJOB= 208730
IDBENCH= 4431
FILE ID= node62/208730-1168189612
PBS_JOBID= 3479306
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208730-1168189612/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-208730-1168189612 -o ROOT/results/node62/solver-208730-1168189612 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208730-1168189612/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 797058f4a10aa6568e5c0d6665fa4ebe
RANDOM SEED= 441326094
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1507352 kB
Buffers: 45996 kB
Cached: 426604 kB
SwapCached: 0 kB
Active: 205536 kB
Inactive: 287084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1507352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4696 kB
Writeback: 0 kB
Mapped: 30184 kB
Slab: 41532 kB
Committed_AS: 3326096 kB
PageTables: 1684 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= 66552 MiB
End job on node62 on Sun Jan 7 17:11:14 UTC 2007