0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/218258-1168251884/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.71
0.71 constraints being loaded...
0.88 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.88 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
0.88 => wckTime=0.556 cpuTime=0.5 mem=43M434
0.96
0.96 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.826 cpuTime=0.64 mem=21M369
1.24
1.24 preprocessing
1.24 nbConstraintChecks=24477 nbValidityChecks=39948 nbPropagations=211 nbRevisions=2099 nbUselessRevisions=1768
1.24 nbSingletonTests=31 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.24 => wckTime=0.089 cpuTime=0.05 mem=21M369
1.30
1.30 search
1.30 run=0 nbConstraintChecks=31189 nbValidityChecks=57182 nbPropagations=594 nbRevisions=6134
1.30 nbUselessRevisions=4874 nbAssignments=35 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=65
1.30 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.149 cpuTime=0.11 mem=22M371
1.37
1.37 search
1.37 run=1 nbConstraintChecks=74731 nbValidityChecks=147120 nbPropagations=1754 nbRevisions=18309
1.37 nbUselessRevisions=14588 nbAssignments=93 nbFailedAssignments=43 nbBacktracks=26 nbVisitedNodes=137
1.37 nbRestartNogoods=7 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.218 cpuTime=0.17 mem=22M371
1.46
1.46 search
1.46 run=2 nbConstraintChecks=129902 nbValidityChecks=256374 nbPropagations=3615 nbRevisions=38579
1.46 nbUselessRevisions=30649 nbAssignments=153 nbFailedAssignments=70 nbBacktracks=48 nbVisitedNodes=236
1.46 nbRestartNogoods=12 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.309 cpuTime=0.25 mem=22M371
1.56
1.56 search
1.56 run=3 nbConstraintChecks=203438 nbValidityChecks=405139 nbPropagations=6369 nbRevisions=70022
1.56 nbUselessRevisions=55523 nbAssignments=238 nbFailedAssignments=120 nbBacktracks=81 nbVisitedNodes=390
1.56 nbRestartNogoods=17 mapSize=67 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.417 cpuTime=0.35 mem=22M371
1.73
1.73 search
1.73 run=4 nbConstraintChecks=328464 nbValidityChecks=658519 nbPropagations=10891 nbRevisions=120899
1.73 nbUselessRevisions=95214 nbAssignments=395 nbFailedAssignments=221 nbBacktracks=133 nbVisitedNodes=684
1.73 nbRestartNogoods=19 mapSize=115 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.582 cpuTime=0.51 mem=22M371
1.96
1.96 search
1.96 run=5 nbConstraintChecks=503595 nbValidityChecks=1005270 nbPropagations=17691 nbRevisions=197717
1.96 nbUselessRevisions=155021 nbAssignments=610 nbFailedAssignments=348 nbBacktracks=208 nbVisitedNodes=1076
1.96 nbRestartNogoods=23 mapSize=187 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.815 cpuTime=0.74 mem=22M371
2.27
2.27 search
2.27 run=6 nbConstraintChecks=740745 nbValidityChecks=1457697 nbPropagations=27809 nbRevisions=309317
2.27 nbUselessRevisions=241540 nbAssignments=912 nbFailedAssignments=533 nbBacktracks=322 nbVisitedNodes=1643
2.27 nbRestartNogoods=29 mapSize=290 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=1.123 cpuTime=1.03 mem=22M371
2.82
2.82 search
2.82 run=7 nbConstraintChecks=1173200 nbValidityChecks=2308387 nbPropagations=43483 nbRevisions=486027
2.82 nbUselessRevisions=378711 nbAssignments=1384 nbFailedAssignments=830 nbBacktracks=492 nbVisitedNodes=2530
2.82 nbRestartNogoods=33 mapSize=448 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=1.671 cpuTime=1.57 mem=22M371
3.48
3.48 search
3.48 run=8 nbConstraintChecks=1689201 nbValidityChecks=3332051 nbPropagations=66691 nbRevisions=743220
3.48 nbUselessRevisions=577963 nbAssignments=2126 nbFailedAssignments=1291 nbBacktracks=748 nbVisitedNodes=3891
3.48 nbRestartNogoods=43 mapSize=687 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=2.337 cpuTime=2.2 mem=22M371
4.44
4.44 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=22M371)
4.55
4.55 search
4.55 run=9 nbConstraintChecks=2589594 nbValidityChecks=5066907 nbPropagations=101460 nbRevisions=1126474
4.55 nbUselessRevisions=874431 nbAssignments=3144 nbFailedAssignments=1912 nbBacktracks=1133 nbVisitedNodes=5774
4.55 nbRestartNogoods=56
4.55 => wckTime=3.402 cpuTime=3.25 mem=22M371
6.26
6.26 search
6.26 run=10 nbConstraintChecks=4031957 nbValidityChecks=7910466 nbPropagations=154135 nbRevisions=1720046
6.26 nbUselessRevisions=1335826 nbAssignments=4766 nbFailedAssignments=2955 nbBacktracks=1709 nbVisitedNodes=8880
6.26 nbRestartNogoods=77
6.26 => wckTime=5.115 cpuTime=4.94 mem=22M371
8.45
8.45 search
8.45 run=11 nbConstraintChecks=5901843 nbValidityChecks=11554513 nbPropagations=233141 nbRevisions=2597745
8.45 nbUselessRevisions=2017224 nbAssignments=6987 nbFailedAssignments=4309 nbBacktracks=2575 nbVisitedNodes=13061
8.45 nbRestartNogoods=85
8.45 => wckTime=7.305 cpuTime=7.11 mem=22M371
11.64
11.64 search
11.64 run=12 nbConstraintChecks=8656709 nbValidityChecks=16841923 nbPropagations=348343 nbRevisions=3880542
11.64 nbUselessRevisions=3013202 nbAssignments=10114 nbFailedAssignments=6134 nbBacktracks=3873 nbVisitedNodes=18873
11.64 nbRestartNogoods=89
11.64 => wckTime=10.496 cpuTime=10.27 mem=22M371
16.84
16.84 search
16.84 run=13 nbConstraintChecks=13053723 nbValidityChecks=25412509 nbPropagations=524476 nbRevisions=5823980
16.84 nbUselessRevisions=4521426 nbAssignments=15081 nbFailedAssignments=9151 nbBacktracks=5821 nbVisitedNodes=28257
16.84 nbRestartNogoods=97
16.84 => wckTime=15.696 cpuTime=15.42 mem=22M371
24.20
24.20 search
24.20 run=14 nbConstraintChecks=19337957 nbValidityChecks=37943418 nbPropagations=779584 nbRevisions=8681011
24.20 nbUselessRevisions=6746615 nbAssignments=23662 nbFailedAssignments=14808 nbBacktracks=8740 nbVisitedNodes=44415
24.20 nbRestartNogoods=118
24.20 => wckTime=23.048 cpuTime=22.7 mem=22M371
33.82
33.82 search
33.82 run=15 nbConstraintChecks=27749053 nbValidityChecks=54101758 nbPropagations=1141562 nbRevisions=12747888
33.82 nbUselessRevisions=9930704 nbAssignments=34223 nbFailedAssignments=20986 nbBacktracks=13119
33.82 nbVisitedNodes=64007 nbRestartNogoods=129
33.82 => wckTime=32.672 cpuTime=32.24 mem=22M371
52.62
52.62 search
52.62 run=16 nbConstraintChecks=43644981 nbValidityChecks=85125164 nbPropagations=1697901 nbRevisions=19173154
52.62 nbUselessRevisions=14980123 nbAssignments=53303 nbFailedAssignments=33495 nbBacktracks=19687
52.62 nbVisitedNodes=100331 nbRestartNogoods=133
52.62 => wckTime=51.47 cpuTime=50.87 mem=22M371
76.02
76.02 search
76.02 run=17 nbConstraintChecks=64033349 nbValidityChecks=124701352 nbPropagations=2499640 nbRevisions=28452071
76.02 nbUselessRevisions=22280913 nbAssignments=78936 nbFailedAssignments=49272 nbBacktracks=29540
76.02 nbVisitedNodes=148174 nbRestartNogoods=155
76.02 => wckTime=74.869 cpuTime=74.05 mem=22M371
114.55
114.55 search
114.55 run=18 nbConstraintChecks=96923521 nbValidityChecks=189003085 nbPropagations=3711644 nbRevisions=42564399
114.55 nbUselessRevisions=33409946 nbAssignments=118622 nbFailedAssignments=74175 nbBacktracks=44318
114.55 nbVisitedNodes=223111 nbRestartNogoods=178
114.55 => wckTime=113.405 cpuTime=112.13 mem=22M371
167.05
167.05 search
167.05 run=19 nbConstraintChecks=144187284 nbValidityChecks=279843493 nbPropagations=5481192 nbRevisions=63050164
167.05 nbUselessRevisions=49583497 nbAssignments=175002 nbFailedAssignments=108382 nbBacktracks=66486
167.05 nbVisitedNodes=328324 nbRestartNogoods=203
167.05 => wckTime=165.906 cpuTime=164.48 mem=22M371
245.38
245.38 search
245.38 run=20 nbConstraintChecks=213703356 nbValidityChecks=414034327 nbPropagations=8083840 nbRevisions=93090807
245.38 nbUselessRevisions=73333098 nbAssignments=258884 nbFailedAssignments=158973 nbBacktracks=99739
245.38 nbVisitedNodes=484741 nbRestartNogoods=229
245.38 => wckTime=244.229 cpuTime=242.62 mem=22M371
261.52
261.52 search
261.52 run=21 nbConstraintChecks=228039845 nbValidityChecks=441372334 nbPropagations=10859497 nbRevisions=125073453
261.52 nbUselessRevisions=98623618 nbAssignments=275130 nbFailedAssignments=168651 nbBacktracks=106308
261.52 nbVisitedNodes=515045 nbRestartNogoods=241
261.52 => wckTime=260.373 cpuTime=258.75 mem=22M371
261.52
261.52 global
261.52 nbConstraintChecks=228064322 nbValidityChecks=441412282 nbPropagations=10859708 nbRevisions=125075552
261.52 nbUselessRevisions=98625386 nbRestartNogoods=241 solvingWckTime=260.374 solvingCpuTime=258.76 expiredTime=no
261.52 totalExploration=yes nbFoundSolutions=0 globalCpuTime=259.47
261.52 => wckTime=261.203 cpuTime=259.41 mem=22M371
261.53
261.53 s UNSATISFIABLE
261.53 d NODES 275130
261.53 d CHECKS 228064322
261.53
261.53 totalWckTime=261.286 totalCpuTime=259.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-218258-1168251884 -o ROOT/results/node2/solver-218258-1168251884 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218258-1168251884/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.08 2.03 2.00 3/95 893
/proc/meminfo: memFree=1646792/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=18540 CPUtime=0
/proc/892/stat : 892 (runsolver) R 890 892 754 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 173584084 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/892/statm: 4635 279 244 17 0 2626 0
[startup+0.102829 s]
/proc/loadavg: 2.08 2.03 2.00 3/95 893
/proc/meminfo: memFree=1646792/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=914988 CPUtime=0.08
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 2967 0 1 0 7 1 0 0 20 0 8 0 173584084 936947712 2713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228747 2713 1419 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512903 s]
/proc/loadavg: 2.08 2.03 2.00 3/95 893
/proc/meminfo: memFree=1646792/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915328 CPUtime=0.49
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 7361 0 1 0 44 5 0 0 18 0 8 0 173584084 937295872 7100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073559997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228832 7100 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34006 s]
/proc/loadavg: 2.15 2.04 2.01 4/102 900
/proc/meminfo: memFree=1588240/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=1.3
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17381 0 1 0 120 10 0 0 24 0 8 0 173584084 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17119 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173584088 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.17
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 353 0 0 0 17 0 0 0 15 0 8 0 173584092 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17119 18446744073709551615 134512640 134570532 4294956464 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.97736 s]
/proc/loadavg: 2.15 2.04 2.01 3/102 900
/proc/meminfo: memFree=1587984/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=2.93
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17399 0 1 0 282 11 0 0 25 0 8 0 173584084 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17135 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 17 0 8 0 173584088 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.21
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 370 0 0 0 21 0 0 0 15 0 8 0 173584092 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.17795 s]
/proc/loadavg: 2.15 2.04 2.01 3/102 900
/proc/meminfo: memFree=1587856/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=6.1
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17415 0 1 0 599 11 0 0 25 0 8 0 173584084 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17149 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 17 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.24
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 385 0 0 0 24 0 0 0 16 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6661 s]
/proc/loadavg: 2.13 2.04 2.01 3/102 900
/proc/meminfo: memFree=1587984/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=12.52
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17416 0 1 0 1241 11 0 0 25 0 8 0 173584084 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17149 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.24
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 385 0 0 0 24 0 0 0 16 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915460
[startup+25.5325 s]
/proc/loadavg: 2.11 2.04 2.01 3/102 900
/proc/meminfo: memFree=1588112/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=25.27
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17416 0 1 0 2516 11 0 0 25 0 8 0 173584084 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17149 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.24
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 385 0 0 0 24 0 0 0 16 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915460
[startup+51.1682 s]
/proc/loadavg: 2.07 2.04 2.01 3/102 900
/proc/meminfo: memFree=1588176/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=50.67
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17416 0 1 0 5055 12 0 0 25 0 8 0 173584084 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17149 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.24
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 385 0 0 0 24 0 0 0 16 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915460
[startup+102.441 s]
/proc/loadavg: 2.03 2.03 2.00 3/102 900
/proc/meminfo: memFree=1588176/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=101.43
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17416 0 1 0 10131 12 0 0 25 0 8 0 173584084 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17149 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.24
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 385 0 0 0 24 0 0 0 16 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915460
[startup+162.452 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 954
/proc/meminfo: memFree=1661560/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=161.12
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17416 0 1 0 16098 14 0 0 25 0 8 0 173584084 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17149 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.24
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 385 0 0 0 24 0 0 0 16 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.12
Current children cumulated vsize (KiB) 915460
[startup+222.542 s]
/proc/loadavg: 2.00 2.02 2.00 3/105 954
/proc/meminfo: memFree=1604536/2055920 swapFree=4191880/4192956
[pid=892] ppid=890 vsize=915460 CPUtime=221.03
/proc/892/stat : 892 (java) R 890 892 754 0 -1 0 17416 0 1 0 22088 15 0 0 25 0 8 0 173584084 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/892/statm: 228865 17149 2527 14 0 215335 0
[pid=892/tid=894] ppid=890 vsize=915460 CPUtime=0.06
/proc/892/task/894/stat : 894 (java) S 890 892 754 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=895] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/895/stat : 895 (java) S 890 892 754 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=896] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/896/stat : 896 (java) S 890 892 754 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173584088 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=897] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/897/stat : 897 (java) S 890 892 754 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173584091 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=898] ppid=890 vsize=915460 CPUtime=0.24
/proc/892/task/898/stat : 898 (java) S 890 892 754 0 -1 64 385 0 0 0 24 0 0 0 16 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=899] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/899/stat : 899 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=892/tid=900] ppid=890 vsize=915460 CPUtime=0
/proc/892/task/900/stat : 900 (java) S 890 892 754 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 173584092 937431040 17149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.03
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 261.582
CPU time (s): 260.024
CPU user time (s): 259.86
CPU system time (s): 0.164974
CPU usage (%): 99.4046
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.859
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17423
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= 6325
involuntary context switches= 14792
runsolver used 0.509922 s user time and 1.11183 s system time
The end
Begin job on node2 on Mon Jan 8 10:24:44 UTC 2007
IDJOB= 218258
IDBENCH= 5218
FILE ID= node2/218258-1168251884
PBS_JOBID= 3481674
Free space on /tmp= 66334 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218258-1168251884/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-218258-1168251884 -o ROOT/results/node2/solver-218258-1168251884 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218258-1168251884/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 250a171edffa100667b673ab21ba4e93
RANDOM SEED= 240857938
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 : 5931.00
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: 1647272 kB
Buffers: 24220 kB
Cached: 103332 kB
SwapCached: 288 kB
Active: 323348 kB
Inactive: 36084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647272 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2952 kB
Writeback: 0 kB
Mapped: 259084 kB
Slab: 33228 kB
Committed_AS: 5099856 kB
PageTables: 2824 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= 66335 MiB
End job on node2 on Mon Jan 8 10:29:06 UTC 2007