0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=esac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/198460-1168128450/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=16 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.46 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
0.55 nbConstraints=120 nbConvertedConstraints=120 nbConvertConstraintsChecks=225 nbExtensionStructures=1
0.55 nbSharedExtensionStructures=119 nbConflictsStructures=1 nbSharedConflictsStructures=119
0.55 nbSharedBinaryRepresentations=15 maxDegree=15 maxArity=2
0.55 => wckTime=0.191 cpuTime=0.15 mem=7M959
0.59
0.59 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.391 cpuTime=0.29 mem=13M332
0.78
0.78 preprocessing
0.78 nbConstraintChecks=2480 nbPropagations=280 nbRevisions=240 nbUselessRevisions=0 nbSingletonTests=28
0.78 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.78 => wckTime=0.026 cpuTime=0.02 mem=13M332
0.79
0.79 search
0.80 run=0 nbConstraintChecks=1519 nbPropagations=502 nbRevisions=491 nbUselessRevisions=24 nbAssignments=31
0.80 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.041 cpuTime=0.03 mem=14M324
0.81
0.81 search
0.81 run=1 nbConstraintChecks=3163 nbPropagations=1268 nbRevisions=1285 nbUselessRevisions=79 nbAssignments=72
0.81 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=121 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.053 cpuTime=0.03 mem=14M324
0.82
0.82 search
0.82 run=2 nbConstraintChecks=4974 nbPropagations=2362 nbRevisions=2455 nbUselessRevisions=170 nbAssignments=126
0.82 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=215 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.064 cpuTime=0.04 mem=14M324
0.83
0.83 search
0.83 run=3 nbConstraintChecks=6989 nbPropagations=3864 nbRevisions=4081 nbUselessRevisions=299 nbAssignments=199
0.83 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=343 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.077 cpuTime=0.05 mem=14M324
0.84
0.84 search
0.84 run=4 nbConstraintChecks=9330 nbPropagations=5907 nbRevisions=6290 nbUselessRevisions=466 nbAssignments=302
0.84 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=525 nbRestartNogoods=16 mapSize=131 nbInferences=6
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.089 cpuTime=0.06 mem=14M324
0.86
0.86 search
0.86 run=5 nbConstraintChecks=12209 nbPropagations=8706 nbRevisions=9254 nbUselessRevisions=662 nbAssignments=453
0.86 nbFailedAssignments=155 nbBacktracks=206 nbVisitedNodes=787 nbRestartNogoods=20 mapSize=206 nbInferences=23
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.103 cpuTime=0.07 mem=14M324
0.87
0.87 search
0.87 run=6 nbConstraintChecks=15784 nbPropagations=12570 nbRevisions=13225 nbUselessRevisions=863 nbAssignments=674
0.87 nbFailedAssignments=225 nbBacktracks=320 nbVisitedNodes=1174 nbRestartNogoods=23 mapSize=320 nbInferences=49
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.119 cpuTime=0.08 mem=14M324
0.89
0.89 search
0.89 run=7 nbConstraintChecks=20554 nbPropagations=17974 nbRevisions=18660 nbUselessRevisions=1070
0.89 nbAssignments=999 nbFailedAssignments=333 nbBacktracks=490 nbVisitedNodes=1750 nbRestartNogoods=28 mapSize=490
0.89 nbInferences=84 nbTooLargeKeys=0
0.89 => wckTime=0.138 cpuTime=0.1 mem=14M324
0.93
0.93 search
0.93 run=8 nbConstraintChecks=28826 nbPropagations=25898 nbRevisions=26438 nbUselessRevisions=1299
0.93 nbAssignments=1518 nbFailedAssignments=481 nbBacktracks=746 nbVisitedNodes=2645 nbRestartNogoods=36
0.93 mapSize=746 nbInferences=176 nbTooLargeKeys=0
0.93 => wckTime=0.176 cpuTime=0.12 mem=14M324
0.96
0.96 search
0.96 run=9 nbConstraintChecks=39419 nbPropagations=37575 nbRevisions=37590 nbUselessRevisions=1539
0.96 nbAssignments=2312 nbFailedAssignments=690 nbBacktracks=1130 nbVisitedNodes=4046 nbRestartNogoods=44
0.96 mapSize=1130 nbInferences=365 nbTooLargeKeys=0
0.96 => wckTime=0.207 cpuTime=0.14 mem=14M324
1.00
1.00 search
1.00 run=10 nbConstraintChecks=60249 nbPropagations=55807 nbRevisions=54400 nbUselessRevisions=1813
1.00 nbAssignments=3642 nbFailedAssignments=955 nbBacktracks=1706 nbVisitedNodes=6313 nbRestartNogoods=52
1.00 mapSize=1706 nbInferences=807 nbTooLargeKeys=0
1.00 => wckTime=0.245 cpuTime=0.17 mem=14M324
1.04
1.04 search
1.04 run=11 nbConstraintChecks=90611 nbPropagations=84210 nbRevisions=79881 nbUselessRevisions=2176
1.04 nbAssignments=5701 nbFailedAssignments=1322 nbBacktracks=2570 nbVisitedNodes=9877 nbRestartNogoods=58
1.04 mapSize=2570 nbInferences=1601 nbTooLargeKeys=0
1.04 => wckTime=0.288 cpuTime=0.22 mem=14M324
1.11
1.11 search
1.11 run=12 nbConstraintChecks=141068 nbPropagations=129213 nbRevisions=119140 nbUselessRevisions=2585
1.11 nbAssignments=8973 nbFailedAssignments=1842 nbBacktracks=3868 nbVisitedNodes=15573 nbRestartNogoods=70
1.11 mapSize=3868 nbInferences=3015 nbTooLargeKeys=0
1.11 => wckTime=0.36 cpuTime=0.28 mem=14M324
1.23
1.23 search
1.23 run=13 nbConstraintChecks=212492 nbPropagations=199385 nbRevisions=178893 nbUselessRevisions=3035
1.23 nbAssignments=14003 nbFailedAssignments=2563 nbBacktracks=5814 nbVisitedNodes=24398 nbRestartNogoods=76
1.23 mapSize=5814 nbInferences=5368 nbTooLargeKeys=0
1.23 => wckTime=0.475 cpuTime=0.39 mem=14M324
1.42
1.42 search
1.42 run=14 nbConstraintChecks=363267 nbPropagations=317683 nbRevisions=276451 nbUselessRevisions=3497
1.42 nbAssignments=22905 nbFailedAssignments=3374 nbBacktracks=8733 nbVisitedNodes=40084 nbRestartNogoods=85
1.42 mapSize=8733 nbInferences=10530 nbTooLargeKeys=0
1.42 => wckTime=0.667 cpuTime=0.58 mem=15M364
1.72
1.72 search
1.72 run=15 nbConstraintChecks=596953 nbPropagations=509881 nbRevisions=431695 nbUselessRevisions=4021
1.72 nbAssignments=36539 nbFailedAssignments=4465 nbBacktracks=13112 nbVisitedNodes=63994 nbRestartNogoods=96
1.72 mapSize=13112 nbInferences=18654 nbTooLargeKeys=0
1.72 => wckTime=0.965 cpuTime=0.88 mem=15M364
2.26
2.26 search
2.26 run=16 nbConstraintChecks=1105779 nbPropagations=845381 nbRevisions=696960 nbUselessRevisions=4550
2.27 nbAssignments=60786 nbFailedAssignments=5477 nbBacktracks=19681 nbVisitedNodes=106847 nbRestartNogoods=111
2.27 mapSize=19681 nbInferences=35274 nbTooLargeKeys=0
2.27 => wckTime=1.512 cpuTime=1.41 mem=16M339
3.06
3.06 search
3.06 run=17 nbConstraintChecks=1826810 nbPropagations=1387639 nbRevisions=1120937 nbUselessRevisions=5130
3.06 nbAssignments=96294 nbFailedAssignments=7050 nbBacktracks=29533 nbVisitedNodes=169455 nbRestartNogoods=128
3.06 mapSize=29533 nbInferences=59288 nbTooLargeKeys=0
3.06 => wckTime=2.311 cpuTime=2.21 mem=18M290
4.33
4.33 search
4.33 run=18 nbConstraintChecks=3003268 nbPropagations=2257788 nbRevisions=1796059 nbUselessRevisions=5850
4.33 nbAssignments=151534 nbFailedAssignments=9063 nbBacktracks=44312 nbVisitedNodes=267159 nbRestartNogoods=137
4.33 mapSize=44312 nbInferences=97726 nbTooLargeKeys=0
4.33 => wckTime=3.581 cpuTime=3.48 mem=20M240
6.54
6.54 search
6.54 run=19 nbConstraintChecks=5217171 nbPropagations=3702273 nbRevisions=2911443 nbUselessRevisions=7185
6.54 nbAssignments=243066 nbFailedAssignments=11066 nbBacktracks=66480 nbVisitedNodes=430000 nbRestartNogoods=152
6.54 mapSize=66480 nbInferences=165054 nbTooLargeKeys=0
6.54 => wckTime=5.786 cpuTime=5.66 mem=24M141
10.32
10.32 search
10.32 run=20 nbConstraintChecks=9119632 nbPropagations=6104432 nbRevisions=4762191 nbUselessRevisions=8520
10.32 nbAssignments=389672 nbFailedAssignments=13221 nbBacktracks=99732 nbVisitedNodes=691950 nbRestartNogoods=170
10.32 mapSize=99732 nbInferences=276166 nbTooLargeKeys=0
10.32 => wckTime=9.562 cpuTime=9.4 mem=31M41
17.18
17.18 search
17.18 run=21 nbConstraintChecks=17184104 nbPropagations=10257930 nbRevisions=7976451 nbUselessRevisions=9855
17.18 nbAssignments=635711 nbFailedAssignments=15416 nbBacktracks=149611 nbVisitedNodes=1136146 nbRestartNogoods=198
17.18 mapSize=149611 nbInferences=470028 nbTooLargeKeys=0
17.18 => wckTime=16.429 cpuTime=16.21 mem=40M792
30.00
30.00 search
30.00 run=22 nbConstraintChecks=34418582 nbPropagations=17667773 nbRevisions=13770229 nbUselessRevisions=11190
30.00 nbAssignments=1051104 nbFailedAssignments=17555 nbBacktracks=224429 nbVisitedNodes=1894174 nbRestartNogoods=210
30.00 mapSize=224429 nbInferences=808420 nbTooLargeKeys=0
30.00 => wckTime=29.247 cpuTime=28.72 mem=27M175
46.69
46.69 search
46.69 run=23 nbConstraintChecks=55794345 nbPropagations=29421982 nbRevisions=22972749 nbUselessRevisions=13109
46.69 nbAssignments=1635190 nbFailedAssignments=21264 nbBacktracks=336656 nbVisitedNodes=2953650 nbRestartNogoods=236
46.69 mapSize=336656 nbInferences=1276478 nbTooLargeKeys=0
46.69 => wckTime=45.941 cpuTime=45.25 mem=50M814
82.84
82.84 search
82.84 run=24 nbConstraintChecks=110639282 nbPropagations=50469783 nbRevisions=39648749 nbUselessRevisions=15156
82.84 nbAssignments=2714949 nbFailedAssignments=22486 nbBacktracks=504998 nbVisitedNodes=4945926 nbRestartNogoods=255
82.84 mapSize=504998 nbInferences=2186642 nbTooLargeKeys=0
82.84 => wckTime=82.086 cpuTime=80.77 mem=68M900
133.27
133.27 search
133.27 run=25 nbConstraintChecks=183053431 nbPropagations=84441708 nbRevisions=66644419 nbUselessRevisions=17315
133.27 nbAssignments=4271323 nbFailedAssignments=23981 nbBacktracks=757510 nbVisitedNodes=7807486 nbRestartNogoods=276
133.27 mapSize=757509 nbInferences=3488933 nbTooLargeKeys=0
133.27 => wckTime=132.518 cpuTime=130.23 mem=66M712
172.51
172.51 search
172.51 run=26 nbConstraintChecks=245298739 nbPropagations=128388177 nbRevisions=101725836 nbUselessRevisions=19513
172.51 nbAssignments=5379467 nbFailedAssignments=24403 nbBacktracks=920430 nbVisitedNodes=9861202 nbRestartNogoods=296
172.51 mapSize=920397 nbInferences=4433709 nbTooLargeKeys=0
172.51 => wckTime=171.754 cpuTime=168.78 mem=94M5
172.51
172.51 global
172.51 nbConstraintChecks=245301219 nbPropagations=128388457 nbRevisions=101726076 nbUselessRevisions=19513
172.51 nbRestartNogoods=296 solvingWckTime=171.755 solvingCpuTime=168.78 expiredTime=no totalExploration=yes
172.51 nbFoundSolutions=0 globalCpuTime=169.11
172.51 => wckTime=172.149 cpuTime=169.07 mem=94M5
172.51
172.51 s UNSATISFIABLE
172.51 d NODES 5379467
172.51 d CHECKS 245301219
172.51
172.51 totalWckTime=172.23 totalCpuTime=169.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-198460-1168128450 -o ROOT/results/node15/solver-198460-1168128450 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198460-1168128450/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.82 1.94 1.85 2/87 1301
/proc/meminfo: memFree=1766520/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=18540 CPUtime=0
/proc/1300/stat : 1300 (runsolver) R 1298 1300 537 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161239992 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1300/statm: 4635 279 244 17 0 2626 0
[startup+0.103132 s]
/proc/loadavg: 1.82 1.94 1.85 2/87 1301
/proc/meminfo: memFree=1766520/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=907676 CPUtime=0.04
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 2317 0 1 0 3 1 0 0 16 0 4 0 161239992 929460224 2064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155061896 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 226919 2064 1159 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.5132 s]
/proc/loadavg: 1.82 1.94 1.85 2/87 1301
/proc/meminfo: memFree=1766520/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915328 CPUtime=0.43
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 6199 0 1 0 40 3 0 0 18 0 8 0 161239992 937295872 5938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228832 5938 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.34034 s]
/proc/loadavg: 1.82 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1743232/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=1.25
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 8644 0 1 0 119 6 0 0 24 0 8 0 161239992 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073701760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 8382 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 161240000 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.18
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 362 0 0 0 18 0 0 0 15 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915456
[startup+2.97762 s]
/proc/loadavg: 1.82 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1741120/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=2.88
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 9420 0 1 0 282 6 0 0 25 0 8 0 161239992 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 9156 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 17 0 8 0 161240000 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 363 0 0 0 19 0 0 0 15 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 9156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915456
[startup+6.27619 s]
/proc/loadavg: 1.83 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1734784/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=6.14
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 10860 0 1 0 607 7 0 0 25 0 8 0 161239992 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 10596 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 161240000 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 365 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 10596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456
[startup+12.7523 s]
/proc/loadavg: 1.85 1.94 1.85 3/94 1308
/proc/meminfo: memFree=1723904/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=12.57
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 13444 0 1 0 1248 9 0 0 25 0 8 0 161239992 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 13180 2541 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.02
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 161240000 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161240001 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 365 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 13180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456
[startup+25.6085 s]
/proc/loadavg: 1.88 1.95 1.85 3/94 1308
/proc/meminfo: memFree=1694400/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=25.32
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 20739 0 1 0 2520 12 0 0 25 0 8 0 161239992 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 20474 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.21
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 3743 0 0 0 20 1 0 0 16 0 8 0 161240000 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 365 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 20474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915456
[startup+51.2409 s]
/proc/loadavg: 1.92 1.95 1.85 4/94 1308
/proc/meminfo: memFree=1694336/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=50.71
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 20744 0 1 0 5059 12 0 0 25 0 8 0 161239992 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 20478 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.21
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 3743 0 0 0 20 1 0 0 16 0 8 0 161240000 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 366 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 20478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456
[startup+102.46 s]
/proc/loadavg: 2.04 1.97 1.86 3/94 1308
/proc/meminfo: memFree=1657664/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=101.47
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 29878 0 1 0 10130 17 0 0 25 0 8 0 161239992 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 29610 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=0.78
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 12875 0 0 0 73 5 0 0 16 0 8 0 161240000 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 366 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 29610 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915456
[startup+162.518 s]
/proc/loadavg: 2.01 1.97 1.87 3/94 1308
/proc/meminfo: memFree=1624000/2055920 swapFree=4174172/4192956
[pid=1300] ppid=1298 vsize=915456 CPUtime=160.98
/proc/1300/stat : 1300 (java) R 1298 1300 537 0 -1 0 38273 0 1 0 16077 21 0 0 25 0 8 0 161239992 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1300/statm: 228864 38003 2545 14 0 215334 0
[pid=1300/tid=1302] ppid=1298 vsize=915456 CPUtime=1.35
/proc/1300/task/1302/stat : 1302 (java) S 1298 1300 537 0 -1 64 21268 0 0 0 127 8 0 0 16 0 8 0 161240000 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1303] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1303/stat : 1303 (java) S 1298 1300 537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1304] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1304/stat : 1304 (java) S 1298 1300 537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161240001 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1305] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1305/stat : 1305 (java) S 1298 1300 537 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1306] ppid=1298 vsize=915456 CPUtime=0.19
/proc/1300/task/1306/stat : 1306 (java) S 1298 1300 537 0 -1 64 366 0 0 0 19 0 0 0 16 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1307] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1307/stat : 1307 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1300/tid=1308] ppid=1298 vsize=915456 CPUtime=0
/proc/1300/task/1308/stat : 1308 (java) S 1298 1300 537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161240004 937426944 38003 18446744073709551615 134512640 134570532 4294956464 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) 915456
Child status: 0
Real time (s): 172.597
CPU time (s): 170.919
CPU user time (s): 170.681
CPU system time (s): 0.237963
CPU usage (%): 99.0275
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.681
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38280
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= 4505
involuntary context switches= 10707
runsolver used 0.239963 s user time and 0.538918 s system time
The end
Begin job on node15 on Sun Jan 7 00:07:31 UTC 2007
IDJOB= 198460
IDBENCH= 3557
FILE ID= node15/198460-1168128450
PBS_JOBID= 3477691
Free space on /tmp= 66284 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198460-1168128450/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-198460-1168128450 -o ROOT/results/node15/solver-198460-1168128450 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198460-1168128450/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 29b240a472ae76f566c2f73ece61891e
RANDOM SEED= 739811297
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.276
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.276
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: 1767000 kB
Buffers: 4780 kB
Cached: 199812 kB
SwapCached: 5800 kB
Active: 200500 kB
Inactive: 41452 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1767000 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 48588 kB
Slab: 31688 kB
Committed_AS: 4486384 kB
PageTables: 2360 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= 66284 MiB
End job on node15 on Sun Jan 7 00:10:24 UTC 2007