0.28
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/218412-1168079634/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.38 => wckTime=0.091 cpuTime=0.09 mem=6M951
0.38
0.38 relations being loaded...
0.61
0.61 constraints being loaded...
0.75 nbConstraints=55 nbRelationTypes=55 nbExtensionStructures=55 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=55 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=3
0.75 => wckTime=0.465 cpuTime=0.43 mem=39M631
0.83
0.83 solver IterativeSystematicSolver being built...
0.98 => wckTime=0.69 cpuTime=0.56 mem=20M712
0.98
0.98 preprocessing
0.98 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.98 detectedInconsistency=no
0.98 => wckTime=0.0020 cpuTime=0.0 mem=20M712
1.10
1.10 search
1.10 run=0 nbConstraintChecks=41485 nbValidityChecks=78157 nbPropagations=569 nbRevisions=5544
1.10 nbUselessRevisions=4224 nbAssignments=38 nbFailedAssignments=24 nbBacktracks=10 nbVisitedNodes=72
1.10 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.12 cpuTime=0.09 mem=20M712
1.15
1.15 search
1.15 run=1 nbConstraintChecks=75120 nbValidityChecks=141328 nbPropagations=1565 nbRevisions=15651
1.15 nbUselessRevisions=12025 nbAssignments=82 nbFailedAssignments=47 nbBacktracks=25 nbVisitedNodes=151
1.15 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.168 cpuTime=0.13 mem=20M712
1.25
1.25 search
1.25 run=2 nbConstraintChecks=148146 nbValidityChecks=292072 nbPropagations=3542 nbRevisions=36263
1.25 nbUselessRevisions=27866 nbAssignments=180 nbFailedAssignments=119 nbBacktracks=47 nbVisitedNodes=340
1.25 nbRestartNogoods=10 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.274 cpuTime=0.22 mem=20M712
1.37
1.37 search
1.37 run=3 nbConstraintChecks=235158 nbValidityChecks=480718 nbPropagations=6850 nbRevisions=70258
1.37 nbUselessRevisions=53947 nbAssignments=309 nbFailedAssignments=212 nbBacktracks=80 nbVisitedNodes=585
1.37 nbRestartNogoods=14 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.387 cpuTime=0.33 mem=20M712
1.53
1.53 search
1.53 run=4 nbConstraintChecks=373851 nbValidityChecks=757896 nbPropagations=11936 nbRevisions=123884
1.53 nbUselessRevisions=95011 nbAssignments=483 nbFailedAssignments=331 nbBacktracks=131 nbVisitedNodes=916
1.53 nbRestartNogoods=18 mapSize=123 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.545 cpuTime=0.49 mem=20M712
1.80
1.80 search
1.80 run=5 nbConstraintChecks=600792 nbValidityChecks=1220428 nbPropagations=20073 nbRevisions=210277
1.80 nbUselessRevisions=160678 nbAssignments=772 nbFailedAssignments=542 nbBacktracks=207 nbVisitedNodes=1479
1.80 nbRestartNogoods=25 mapSize=197 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.822 cpuTime=0.76 mem=20M712
2.05
2.05 search
2.05 run=6 nbConstraintChecks=816759 nbValidityChecks=1677229 nbPropagations=31241 nbRevisions=329474
2.05 nbUselessRevisions=251618 nbAssignments=1139 nbFailedAssignments=791 nbBacktracks=323 nbVisitedNodes=2165
2.05 nbRestartNogoods=26 mapSize=300 nbInferences=0 nbTooLargeKeys=0
2.05 => wckTime=1.071 cpuTime=1.0 mem=20M712
2.59
2.59 search
2.59 run=7 nbConstraintChecks=1261215 nbValidityChecks=2577928 nbPropagations=48397 nbRevisions=513207
2.59 nbUselessRevisions=391369 nbAssignments=1685 nbFailedAssignments=1161 nbBacktracks=495 nbVisitedNodes=3222
2.59 nbRestartNogoods=27 mapSize=468 nbInferences=0 nbTooLargeKeys=0
2.59 => wckTime=1.608 cpuTime=1.52 mem=20M712
3.37
3.38 search
3.38 run=8 nbConstraintChecks=1941200 nbValidityChecks=4001262 nbPropagations=75373 nbRevisions=797511
3.38 nbUselessRevisions=607080 nbAssignments=2639 nbFailedAssignments=1853 nbBacktracks=752 nbVisitedNodes=5069
3.38 nbRestartNogoods=30 mapSize=719 nbInferences=0 nbTooLargeKeys=0
3.38 => wckTime=2.395 cpuTime=2.3 mem=20M712
4.25
4.25 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=20M712)
4.34
4.34 search
4.34 run=9 nbConstraintChecks=2846342 nbValidityChecks=5841199 nbPropagations=114231 nbRevisions=1214446
4.34 nbUselessRevisions=923535 nbAssignments=3850 nbFailedAssignments=2675 nbBacktracks=1137 nbVisitedNodes=7380
4.34 nbRestartNogoods=39
4.34 => wckTime=3.357 cpuTime=3.26 mem=20M712
6.00
6.00 search
6.00 run=10 nbConstraintChecks=4340164 nbValidityChecks=8754266 nbPropagations=172091 nbRevisions=1836100
6.00 nbUselessRevisions=1397093 nbAssignments=5482 nbFailedAssignments=3727 nbBacktracks=1713 nbVisitedNodes=10504
6.00 nbRestartNogoods=46
6.00 => wckTime=5.019 cpuTime=4.89 mem=20M712
7.87
7.87 search
7.87 run=11 nbConstraintChecks=6051750 nbValidityChecks=12382514 nbPropagations=255619 nbRevisions=2729772
7.87 nbUselessRevisions=2080649 nbAssignments=8157 nbFailedAssignments=5533 nbBacktracks=2578 nbVisitedNodes=15576
7.87 nbRestartNogoods=53
7.87 => wckTime=6.889 cpuTime=6.76 mem=21M680
11.92
11.92 search
11.92 run=12 nbConstraintChecks=9730904 nbValidityChecks=19884266 nbPropagations=387342 nbRevisions=4143230
11.92 nbUselessRevisions=3157898 nbAssignments=12962 nbFailedAssignments=9036 nbBacktracks=3876 nbVisitedNodes=24918
11.92 nbRestartNogoods=76
11.92 => wckTime=10.944 cpuTime=10.81 mem=21M680
15.88
15.88 search
15.88 run=13 nbConstraintChecks=13378614 nbValidityChecks=27830471 nbPropagations=576899 nbRevisions=6168706
15.88 nbUselessRevisions=4707443 nbAssignments=19289 nbFailedAssignments=13412 nbBacktracks=5822 nbVisitedNodes=36975
15.88 nbRestartNogoods=91
15.88 => wckTime=14.9 cpuTime=14.77 mem=21M680
25.07
25.07 search
25.07 run=14 nbConstraintChecks=21808486 nbValidityChecks=44699436 nbPropagations=873478 nbRevisions=9348993
25.07 nbUselessRevisions=7134423 nbAssignments=29336 nbFailedAssignments=20534 nbBacktracks=8742 nbVisitedNodes=56482
25.07 nbRestartNogoods=106
25.07 => wckTime=24.095 cpuTime=23.95 mem=21M680
36.71
36.71 search
36.71 run=15 nbConstraintChecks=32524872 nbValidityChecks=66361391 nbPropagations=1311411 nbRevisions=14083743
36.71 nbUselessRevisions=10753297 nbAssignments=42374 nbFailedAssignments=29189 nbBacktracks=13120
36.71 nbVisitedNodes=81514 nbRestartNogoods=119
36.71 => wckTime=35.732 cpuTime=35.57 mem=21M680
54.18
54.18 search
54.18 run=16 nbConstraintChecks=48543761 nbValidityChecks=99506957 nbPropagations=1969459 nbRevisions=21209155
54.18 nbUselessRevisions=16203143 nbAssignments=64312 nbFailedAssignments=44554 nbBacktracks=19688
54.18 nbVisitedNodes=123825 nbRestartNogoods=134
54.18 => wckTime=53.198 cpuTime=53.01 mem=21M680
77.84
77.84 search
77.84 run=17 nbConstraintChecks=70195209 nbValidityChecks=142800269 nbPropagations=2901929 nbRevisions=31429028
77.84 nbUselessRevisions=24082695 nbAssignments=90054 nbFailedAssignments=60439 nbBacktracks=29542
77.84 nbVisitedNodes=172279 nbRestartNogoods=152
77.84 => wckTime=76.86 cpuTime=76.65 mem=21M680
113.03
113.03 search
113.03 run=18 nbConstraintChecks=102708475 nbValidityChecks=206716084 nbPropagations=4252190 nbRevisions=46300433
113.03 nbUselessRevisions=35591398 nbAssignments=127403 nbFailedAssignments=83005 nbBacktracks=44321
113.03 nbVisitedNodes=242514 nbRestartNogoods=181
113.03 => wckTime=112.05 cpuTime=111.79 mem=21M680
175.75
175.75 search
175.75 run=19 nbConstraintChecks=160311587 nbValidityChecks=321843371 nbPropagations=6334833 nbRevisions=69140681
175.75 nbUselessRevisions=53205304 nbAssignments=195057 nbFailedAssignments=128487 nbBacktracks=66489
175.75 nbVisitedNodes=371669 nbRestartNogoods=188
175.75 => wckTime=174.773 cpuTime=174.47 mem=21M680
251.02
251.02 search
251.02 run=20 nbConstraintChecks=229144813 nbValidityChecks=457351589 nbPropagations=9300248 nbRevisions=101582915
251.02 nbUselessRevisions=78288247 nbAssignments=264300 nbFailedAssignments=169989 nbBacktracks=94231
251.02 nbVisitedNodes=501939 nbRestartNogoods=205
251.02 => wckTime=250.039 cpuTime=249.63 mem=21M680
251.02
251.02 global
251.02 nbConstraintChecks=229144813 nbValidityChecks=457351589 nbPropagations=9300268 nbRevisions=101582915
251.02 nbUselessRevisions=78288247 nbRestartNogoods=205 solvingWckTime=250.04 solvingCpuTime=249.63 expiredTime=no
251.02 totalExploration=yes nbFoundSolutions=0 globalCpuTime=250.23
251.02 => wckTime=250.733 cpuTime=250.19 mem=21M680
251.02
251.02 s UNSATISFIABLE
251.02 d NODES 264300
251.02 d CHECKS 229144813
251.02
251.02 totalWckTime=250.81 totalCpuTime=250.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-218412-1168079634 -o ROOT/results/node12/solver-218412-1168079634 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218412-1168079634/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: 1.86 1.99 1.95 4/93 21954
/proc/meminfo: memFree=1582624/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=1788 CPUtime=0
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 156358416 1830912 159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21953/statm: 446 160 125 14 0 91 0
[startup+0.106598 s]
/proc/loadavg: 1.86 1.99 1.95 4/93 21954
/proc/meminfo: memFree=1582624/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=914988 CPUtime=0.09
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 3112 0 1 0 8 1 0 0 23 0 8 0 156358416 936947712 2858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228747 2860 1468 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514671 s]
/proc/loadavg: 1.86 1.99 1.95 4/93 21954
/proc/meminfo: memFree=1582624/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915328 CPUtime=0.49
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 8380 0 1 0 44 5 0 0 25 0 8 0 156358416 937295872 8119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228832 8119 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33582 s]
/proc/loadavg: 1.86 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528808/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=1.32
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16195 0 1 0 123 9 0 0 25 0 8 0 156358416 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15932 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.16
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 360 0 0 0 16 0 0 0 15 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.97611 s]
/proc/loadavg: 1.86 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=2.96
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16212 0 1 0 286 10 0 0 25 0 8 0 156358416 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15948 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 17 0 8 0 156358420 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.27475 s]
/proc/loadavg: 1.87 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528552/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=6.23
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16220 0 1 0 613 10 0 0 25 0 8 0 156358416 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611482 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15954 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7519 s]
/proc/loadavg: 1.88 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528552/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=12.71
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 1261 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460
[startup+25.6222 s]
/proc/loadavg: 1.91 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528616/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=25.56
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 2546 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073725492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
[startup+51.2448 s]
/proc/loadavg: 1.94 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=51.14
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 5104 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915460
[startup+102.508 s]
/proc/loadavg: 1.97 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528744/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=102.35
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 10225 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606701 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915460
[startup+162.531 s]
/proc/loadavg: 1.99 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=162.32
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 16221 11 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606691 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 915460
[startup+222.549 s]
/proc/loadavg: 1.99 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=222.26
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 22215 11 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 251.048
CPU time (s): 250.719
CPU user time (s): 250.596
CPU system time (s): 0.122981
CPU usage (%): 99.869
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.596
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16229
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= 6146
involuntary context switches= 8780
runsolver used 0.328949 s user time and 0.792879 s system time
The end
Begin job on node12 on Sat Jan 6 10:33:54 UTC 2007
IDJOB= 218412
IDBENCH= 5234
FILE ID= node12/218412-1168079634
PBS_JOBID= 3475824
Free space on /tmp= 66315 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 mac.xml 1 XSax /tmp/evaluation/218412-1168079634/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-218412-1168079634 -o ROOT/results/node12/solver-218412-1168079634 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218412-1168079634/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0c3b4069edc151aea481b3cb28cbb69f
RANDOM SEED= 665139291
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.265
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.265
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: 1583104 kB
Buffers: 34432 kB
Cached: 262940 kB
SwapCached: 4684 kB
Active: 158472 kB
Inactive: 233284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583104 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2940 kB
Writeback: 0 kB
Mapped: 114132 kB
Slab: 65764 kB
Committed_AS: 4765392 kB
PageTables: 2248 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= 66315 MiB
End job on node12 on Sat Jan 6 10:38:07 UTC 2007