0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/229869-1168312568/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.55
0.55 constraints being loaded...
0.69 nbConstraints=472 nbRelationTypes=472 nbExtensionStructures=472 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=472 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2543 maxDegree=29
0.69 maxArity=2
0.69 => wckTime=0.377 cpuTime=0.29 mem=17M696
0.73
0.73 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.575 cpuTime=0.41 mem=15M590
0.94
0.94 preprocessing
0.94 nbConstraintChecks=109372 nbPropagations=1208 nbRevisions=10362 nbUselessRevisions=8913 nbSingletonTests=64
0.94 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.057 cpuTime=0.03 mem=15M590
0.97
0.97 search
0.97 run=0 nbConstraintChecks=43710 nbPropagations=1756 nbRevisions=17065 nbUselessRevisions=14466 nbAssignments=27
0.97 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.086 cpuTime=0.05 mem=15M590
0.99
0.99 search
0.99 run=1 nbConstraintChecks=103252 nbPropagations=4210 nbRevisions=43135 nbUselessRevisions=36453
0.99 nbAssignments=64 nbFailedAssignments=16 nbBacktracks=28 nbVisitedNodes=97 nbRestartNogoods=1 mapSize=21
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.107 cpuTime=0.06 mem=15M590
1.01
1.01 search
1.01 run=2 nbConstraintChecks=168034 nbPropagations=7496 nbRevisions=79784 nbUselessRevisions=67145
1.01 nbAssignments=113 nbFailedAssignments=29 nbBacktracks=55 nbVisitedNodes=169 nbRestartNogoods=4 mapSize=40
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.121 cpuTime=0.07 mem=15M590
1.02
1.02 search
1.02 run=3 nbConstraintChecks=257106 nbPropagations=11912 nbRevisions=131735 nbUselessRevisions=110457
1.03 nbAssignments=174 nbFailedAssignments=46 nbBacktracks=90 nbVisitedNodes=266 nbRestartNogoods=5 mapSize=69
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.139 cpuTime=0.09 mem=15M590
1.06
1.06 search
1.06 run=4 nbConstraintChecks=435904 nbPropagations=18369 nbRevisions=212911 nbUselessRevisions=177543
1.06 nbAssignments=270 nbFailedAssignments=79 nbBacktracks=144 nbVisitedNodes=422 nbRestartNogoods=7 mapSize=114
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.17 cpuTime=0.13 mem=15M590
1.10
1.10 search
1.10 run=5 nbConstraintChecks=635705 nbPropagations=27313 nbRevisions=330379 nbUselessRevisions=274373
1.10 nbAssignments=397 nbFailedAssignments=119 nbBacktracks=220 nbVisitedNodes=635 nbRestartNogoods=11 mapSize=175
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.211 cpuTime=0.16 mem=15M590
1.15
1.15 search
1.15 run=6 nbConstraintChecks=907745 nbPropagations=39661 nbRevisions=499181 nbUselessRevisions=413779
1.15 nbAssignments=595 nbFailedAssignments=190 nbBacktracks=334 nbVisitedNodes=957 nbRestartNogoods=16 mapSize=263
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.26 cpuTime=0.21 mem=15M590
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1319882 nbPropagations=57344 nbRevisions=749042 nbUselessRevisions=619801
1.22 nbAssignments=859 nbFailedAssignments=275 nbBacktracks=504 nbVisitedNodes=1398 nbRestartNogoods=20 mapSize=390
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.333 cpuTime=0.28 mem=15M590
1.35
1.35 search
1.35 run=8 nbConstraintChecks=2037056 nbPropagations=83989 nbRevisions=1138047 nbUselessRevisions=940477
1.35 nbAssignments=1309 nbFailedAssignments=458 nbBacktracks=760 nbVisitedNodes=2172 nbRestartNogoods=23
1.35 mapSize=607 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.46 cpuTime=0.4 mem=15M590
1.53
1.53 search
1.53 run=9 nbConstraintChecks=3142780 nbPropagations=123049 nbRevisions=1709259 nbUselessRevisions=1408927
1.53 nbAssignments=1944 nbFailedAssignments=681 nbBacktracks=1144 nbVisitedNodes=3214 nbRestartNogoods=26
1.53 mapSize=912 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.639 cpuTime=0.57 mem=15M590
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=15M590)
1.77
1.77 search
1.78 run=10 nbConstraintChecks=4756228 nbPropagations=181322 nbRevisions=2575111 nbUselessRevisions=2117810
1.78 nbAssignments=2899 nbFailedAssignments=1047 nbBacktracks=1723 nbVisitedNodes=4852 nbRestartNogoods=30
1.78 => wckTime=0.889 cpuTime=0.81 mem=15M590
2.10
2.10 search
2.10 run=11 nbConstraintChecks=6957874 nbPropagations=266151 nbRevisions=3847455 nbUselessRevisions=3160283
2.10 nbAssignments=4245 nbFailedAssignments=1519 nbBacktracks=2589 nbVisitedNodes=7139 nbRestartNogoods=38
2.10 => wckTime=1.21 cpuTime=1.12 mem=15M590
2.61
2.61 search
2.61 run=12 nbConstraintChecks=10583394 nbPropagations=392828 nbRevisions=5782819 nbUselessRevisions=4750779
2.61 nbAssignments=6431 nbFailedAssignments=2396 nbBacktracks=3888 nbVisitedNodes=10900 nbRestartNogoods=43
2.61 => wckTime=1.719 cpuTime=1.63 mem=15M590
3.30
3.30 search
3.30 run=13 nbConstraintChecks=15247209 nbPropagations=578435 nbRevisions=8639876 nbUselessRevisions=7102579
3.30 nbAssignments=9534 nbFailedAssignments=3542 nbBacktracks=5834 nbVisitedNodes=16168 nbRestartNogoods=49
3.30 => wckTime=2.412 cpuTime=2.32 mem=15M590
4.48
4.48 search
4.48 run=14 nbConstraintChecks=23752279 nbPropagations=861189 nbRevisions=13007849 nbUselessRevisions=10689956
4.48 nbAssignments=14351 nbFailedAssignments=5429 nbBacktracks=8754 nbVisitedNodes=24515 nbRestartNogoods=58
4.48 => wckTime=3.593 cpuTime=3.5 mem=15M590
6.03
6.03 search
6.03 run=15 nbConstraintChecks=34606547 nbPropagations=1273646 nbRevisions=19377333 nbUselessRevisions=15919153
6.03 nbAssignments=21319 nbFailedAssignments=7988 nbBacktracks=13133 nbVisitedNodes=36192 nbRestartNogoods=67
6.03 => wckTime=5.144 cpuTime=5.05 mem=15M590
8.49
8.49 search
8.49 run=16 nbConstraintChecks=52089563 nbPropagations=1890077 nbRevisions=28941536 nbUselessRevisions=23774913
8.49 nbAssignments=31813 nbFailedAssignments=11884 nbBacktracks=19701 nbVisitedNodes=54100 nbRestartNogoods=74
8.49 => wckTime=7.606 cpuTime=7.51 mem=16M565
12.19
12.19 search
12.19 run=17 nbConstraintChecks=78293459 nbPropagations=2813183 nbRevisions=43186672 nbUselessRevisions=35454790
12.19 nbAssignments=47541 nbFailedAssignments=17749 nbBacktracks=29555 nbVisitedNodes=80776 nbRestartNogoods=88
12.19 => wckTime=11.303 cpuTime=11.21 mem=16M565
17.96
17.96 search
17.96 run=18 nbConstraintChecks=118885489 nbPropagations=4212755 nbRevisions=64931307 nbUselessRevisions=53320915
17.96 nbAssignments=71540 nbFailedAssignments=26958 nbBacktracks=44335 nbVisitedNodes=121906 nbRestartNogoods=97
17.96 => wckTime=17.07 cpuTime=16.97 mem=16M565
25.84
25.84 search
25.84 run=19 nbConstraintChecks=172385341 nbPropagations=6281195 nbRevisions=97031913 nbUselessRevisions=79729682
25.84 nbAssignments=106928 nbFailedAssignments=40146 nbBacktracks=66505 nbVisitedNodes=182235 nbRestartNogoods=109
25.84 => wckTime=24.951 cpuTime=24.85 mem=16M565
38.90
38.90 search
38.90 run=20 nbConstraintChecks=264660528 nbPropagations=9415600 nbRevisions=146056242 nbUselessRevisions=120080226
38.90 nbAssignments=160989 nbFailedAssignments=60944 nbBacktracks=99762 nbVisitedNodes=275250 nbRestartNogoods=124
38.90 => wckTime=38.01 cpuTime=37.87 mem=16M565
58.40
58.40 search
58.40 run=21 nbConstraintChecks=402468393 nbPropagations=14166841 nbRevisions=220122591 nbUselessRevisions=180953347
58.40 nbAssignments=242769 nbFailedAssignments=92836 nbBacktracks=149641 nbVisitedNodes=416088 nbRestartNogoods=132
58.40 => wckTime=57.514 cpuTime=57.37 mem=16M565
88.56
88.56 search
88.56 run=22 nbConstraintChecks=619646030 nbPropagations=21375133 nbRevisions=333435007 nbUselessRevisions=274171509
88.56 nbAssignments=365087 nbFailedAssignments=140328 nbBacktracks=224459 nbVisitedNodes=627298 nbRestartNogoods=152
88.56 => wckTime=87.678 cpuTime=87.49 mem=16M565
128.70
128.70 search
128.70 run=23 nbConstraintChecks=897466131 nbPropagations=31963014 nbRevisions=498262844 nbUselessRevisions=409644568
128.70 nbAssignments=540953 nbFailedAssignments=203957 nbBacktracks=336686 nbVisitedNodes=924535 nbRestartNogoods=169
128.70 => wckTime=127.811 cpuTime=127.58 mem=16M565
194.83
194.83 search
194.83 run=24 nbConstraintChecks=1358974539 nbPropagations=47985573 nbRevisions=750830408 nbUselessRevisions=617837385
194.83 nbAssignments=818140 nbFailedAssignments=312794 nbBacktracks=505027 nbVisitedNodes=1403627 nbRestartNogoods=179
194.83 => wckTime=193.944 cpuTime=193.66 mem=16M565
223.20
223.20 search
223.20 run=25 nbConstraintChecks=1559007871 nbPropagations=66384559 nbRevisions=1039266726
223.20 nbUselessRevisions=855304561 nbAssignments=940192 nbFailedAssignments=356870 nbBacktracks=582953
223.20 nbVisitedNodes=1610004 nbRestartNogoods=196
223.20 => wckTime=222.314 cpuTime=221.99 mem=16M565
223.20
223.20 global
223.20 nbConstraintChecks=1559117243 nbPropagations=66385767 nbRevisions=1039277088 nbUselessRevisions=855313474
223.20 nbRestartNogoods=196 solvingWckTime=222.315 solvingCpuTime=221.99 expiredTime=no totalExploration=no
223.20 nbFoundSolutions=1 globalCpuTime=222.45
223.20 => wckTime=222.893 cpuTime=222.41 mem=16M565
223.20
223.20 s SATISFIABLE
223.21 v 13 6 20 10 5 16 8 14 12 19 4 21 21 11 18 14 16 2 17 22 18 21 4 17 15 0 21 15 6 2 10 8 18 7 2 20 21 17 4 15 2 6 8 4 12 9 18 20 21 10
223.21 d NODES 940192
223.21 d CHECKS 1559117243
223.21
223.21 totalWckTime=222.971 totalCpuTime=222.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-229869-1168312568 -o ROOT/results/node47/solver-229869-1168312568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229869-1168312568/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.93 1.99 1.99 4/75 523
/proc/meminfo: memFree=1583336/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=172 CPUtime=0
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 179656093 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10519332 0 0 4096 0 0 0 0 17 0 0 0
/proc/522/statm: 43 24 18 14 0 3 0
[startup+0.108217 s]
/proc/loadavg: 1.93 1.99 1.99 4/75 523
/proc/meminfo: memFree=1583336/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=914988 CPUtime=0.08
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 2977 0 1 0 7 1 0 0 22 0 8 0 179656093 936947712 2723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228747 2724 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516258 s]
/proc/loadavg: 1.93 1.99 1.99 4/75 523
/proc/meminfo: memFree=1583336/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915328 CPUtime=0.48
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 7166 0 1 0 44 4 0 0 25 0 8 0 179656093 937295872 6905 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228832 6905 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33935 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 530
/proc/meminfo: memFree=1555824/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=1.3
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9644 0 1 0 124 6 0 0 25 0 8 0 179656093 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9382 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.21
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 384 0 0 0 20 1 0 0 15 0 8 0 179656101 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.99052 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 530
/proc/meminfo: memFree=1555760/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=2.95
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9660 0 1 0 289 6 0 0 25 0 8 0 179656093 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9397 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 399 0 0 0 23 1 0 0 15 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.26987 s]
/proc/loadavg: 1.94 1.99 1.99 3/82 530
/proc/meminfo: memFree=1555696/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=6.22
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9661 0 1 0 616 6 0 0 25 0 8 0 179656093 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9397 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7676 s]
/proc/loadavg: 1.94 1.99 1.99 3/82 530
/proc/meminfo: memFree=1555696/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=12.72
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9661 0 1 0 1266 6 0 0 25 0 8 0 179656093 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9397 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.6249 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 530
/proc/meminfo: memFree=1555696/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=25.58
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9661 0 1 0 2551 7 0 0 25 0 8 0 179656093 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9397 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 179656101 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915460
[startup+51.2597 s]
/proc/loadavg: 1.97 1.99 1.99 4/82 530
/proc/meminfo: memFree=1555696/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=51.17
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9663 0 1 0 5110 7 0 0 25 0 8 0 179656093 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871442 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9398 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 179656101 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915460
[startup+102.52 s]
/proc/loadavg: 2.03 2.00 2.00 3/82 530
/proc/meminfo: memFree=1555696/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=102.39
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9663 0 1 0 10232 7 0 0 25 0 8 0 179656093 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821433 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9398 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 179656101 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915460
[startup+162.536 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 532
/proc/meminfo: memFree=1555504/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=162.35
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9664 0 1 0 16228 7 0 0 25 0 8 0 179656093 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9399 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 179656101 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.35
Current children cumulated vsize (KiB) 915460
[startup+222.549 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 532
/proc/meminfo: memFree=1555632/2055920 swapFree=4183980/4192956
[pid=522] ppid=520 vsize=915460 CPUtime=222.28
/proc/522/stat : 522 (java) R 520 522 31117 0 -1 0 9664 0 1 0 22221 7 0 0 25 0 8 0 179656093 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/522/statm: 228865 9399 2524 14 0 215335 0
[pid=522/tid=524] ppid=520 vsize=915460 CPUtime=0.03
/proc/522/task/524/stat : 524 (java) S 520 522 31117 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 179656098 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=525] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/525/stat : 525 (java) S 520 522 31117 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179656098 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=526] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/526/stat : 526 (java) S 520 522 31117 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179656098 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=527] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/527/stat : 527 (java) S 520 522 31117 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 179656101 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=528] ppid=520 vsize=915460 CPUtime=0.24
/proc/522/task/528/stat : 528 (java) S 520 522 31117 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 179656101 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=529] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/529/stat : 529 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 179656102 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=522/tid=530] ppid=520 vsize=915460 CPUtime=0
/proc/522/task/530/stat : 530 (java) S 520 522 31117 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179656102 937431040 9399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 223.252
CPU time (s): 222.955
CPU user time (s): 222.874
CPU system time (s): 0.080987
CPU usage (%): 99.8672
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.874
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9673
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= 5748
involuntary context switches= 6904
runsolver used 0.375942 s user time and 0.625904 s system time
The end
Begin job on node47 on Tue Jan 9 03:16:08 UTC 2007
IDJOB= 229869
IDBENCH= 6373
FILE ID= node47/229869-1168312568
PBS_JOBID= 3502355
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229869-1168312568/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-229869-1168312568 -o ROOT/results/node47/solver-229869-1168312568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229869-1168312568/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5196a80ce89877f30295c5678721b41d
RANDOM SEED= 479702701
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.240
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.240
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: 1583816 kB
Buffers: 61184 kB
Cached: 332756 kB
SwapCached: 3452 kB
Active: 140056 kB
Inactive: 274576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583816 kB
SwapTotal: 4192956 kB
SwapFree: 4183980 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 27588 kB
Slab: 42600 kB
Committed_AS: 3978604 kB
PageTables: 1872 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= 66556 MiB
End job on node47 on Tue Jan 9 03:19:52 UTC 2007