0.32
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/202581-1168152568/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.66 nbConstraints=334 nbRelationTypes=334 nbExtensionStructures=334 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=334 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2807 maxDegree=23
0.66 maxArity=2
0.66 => wckTime=0.331 cpuTime=0.24 mem=12M803
0.70
0.70 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.543 cpuTime=0.38 mem=15M8
0.93
0.93 preprocessing
0.93 nbConstraintChecks=64033 nbPropagations=873 nbRevisions=6589 nbUselessRevisions=5367 nbSingletonTests=46
0.93 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.054 cpuTime=0.03 mem=15M8
0.95
0.95 search
0.95 run=0 nbConstraintChecks=31153 nbPropagations=1322 nbRevisions=11568 nbUselessRevisions=9439 nbAssignments=29
0.95 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.078 cpuTime=0.05 mem=15M8
0.97
0.97 search
0.97 run=1 nbConstraintChecks=64733 nbPropagations=3151 nbRevisions=29108 nbUselessRevisions=23815 nbAssignments=58
0.97 nbFailedAssignments=17 nbBacktracks=28 nbVisitedNodes=89 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.098 cpuTime=0.06 mem=15M8
0.99
0.99 search
0.99 run=2 nbConstraintChecks=136042 nbPropagations=6041 nbRevisions=61023 nbUselessRevisions=49910
0.99 nbAssignments=104 nbFailedAssignments=34 nbBacktracks=51 nbVisitedNodes=172 nbRestartNogoods=3 mapSize=44
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.118 cpuTime=0.08 mem=15M8
1.01
1.01 search
1.01 run=3 nbConstraintChecks=246709 nbPropagations=10442 nbRevisions=112738 nbUselessRevisions=92054
1.01 nbAssignments=175 nbFailedAssignments=63 nbBacktracks=86 nbVisitedNodes=298 nbRestartNogoods=6 mapSize=77
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.14 cpuTime=0.1 mem=15M8
1.05
1.05 search
1.05 run=4 nbConstraintChecks=372009 nbPropagations=16703 nbRevisions=189400 nbUselessRevisions=154518
1.05 nbAssignments=271 nbFailedAssignments=101 nbBacktracks=137 nbVisitedNodes=464 nbRestartNogoods=9 mapSize=123
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.17 cpuTime=0.12 mem=15M8
1.09
1.09 search
1.09 run=5 nbConstraintChecks=571863 nbPropagations=25756 nbRevisions=303650 nbUselessRevisions=247370
1.09 nbAssignments=415 nbFailedAssignments=164 nbBacktracks=212 nbVisitedNodes=717 nbRestartNogoods=15 mapSize=186
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.213 cpuTime=0.16 mem=15M8
1.16
1.16 search
1.16 run=6 nbConstraintChecks=842680 nbPropagations=38753 nbRevisions=470778 nbUselessRevisions=382963
1.16 nbAssignments=639 nbFailedAssignments=259 nbBacktracks=325 nbVisitedNodes=1092 nbRestartNogoods=22 mapSize=284
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.282 cpuTime=0.22 mem=15M8
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1310011 nbPropagations=58112 nbRevisions=723513 nbUselessRevisions=587129
1.25 nbAssignments=973 nbFailedAssignments=417 nbBacktracks=495 nbVisitedNodes=1690 nbRestartNogoods=25 mapSize=433
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.372 cpuTime=0.3 mem=15M8
1.37
1.38 search
1.38 run=8 nbConstraintChecks=1936559 nbPropagations=86466 nbRevisions=1104028 nbUselessRevisions=894741
1.38 nbAssignments=1462 nbFailedAssignments=643 nbBacktracks=752 nbVisitedNodes=2553 nbRestartNogoods=34
1.38 mapSize=654 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.5 cpuTime=0.42 mem=15M8
1.57
1.57 search
1.57 run=9 nbConstraintChecks=2903863 nbPropagations=128795 nbRevisions=1681900 nbUselessRevisions=1363406
1.57 nbAssignments=2180 nbFailedAssignments=971 nbBacktracks=1136 nbVisitedNodes=3844 nbRestartNogoods=44
1.57 mapSize=995 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.69 cpuTime=0.6 mem=15M8
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M8)
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4219329 nbPropagations=189444 nbRevisions=2515052 nbUselessRevisions=2038469
1.79 nbAssignments=3167 nbFailedAssignments=1374 nbBacktracks=1713 nbVisitedNodes=5573 nbRestartNogoods=48
1.79 => wckTime=0.918 cpuTime=0.82 mem=15M8
2.14
2.14 search
2.14 run=11 nbConstraintChecks=6351813 nbPropagations=280180 nbRevisions=3756674 nbUselessRevisions=3041371
2.14 nbAssignments=4746 nbFailedAssignments=2080 nbBacktracks=2579 nbVisitedNodes=8377 nbRestartNogoods=53
2.14 => wckTime=1.27 cpuTime=1.16 mem=15M8
2.68
2.68 search
2.68 run=12 nbConstraintChecks=9531673 nbPropagations=415943 nbRevisions=5635503 nbUselessRevisions=4561864
2.68 nbAssignments=7103 nbFailedAssignments=3132 nbBacktracks=3877 nbVisitedNodes=12567 nbRestartNogoods=60
2.68 => wckTime=1.809 cpuTime=1.69 mem=15M8
3.48
3.48 search
3.48 run=13 nbConstraintChecks=14278252 nbPropagations=620080 nbRevisions=8474133 nbUselessRevisions=6861472
3.48 nbAssignments=10630 nbFailedAssignments=4707 nbBacktracks=5824 nbVisitedNodes=18875 nbRestartNogoods=64
3.48 => wckTime=2.606 cpuTime=2.48 mem=15M8
4.65
4.65 search
4.65 run=14 nbConstraintChecks=21377778 nbPropagations=923944 nbRevisions=12672503 nbUselessRevisions=10251910
4.65 nbAssignments=15857 nbFailedAssignments=7007 nbBacktracks=8744 nbVisitedNodes=28155 nbRestartNogoods=74
4.65 => wckTime=3.775 cpuTime=3.64 mem=15M8
6.25
6.25 search
6.25 run=15 nbConstraintChecks=31106684 nbPropagations=1364662 nbRevisions=18797356 nbUselessRevisions=15206248
6.25 nbAssignments=23229 nbFailedAssignments=9993 nbBacktracks=13122 nbVisitedNodes=41027 nbRestartNogoods=85
6.25 => wckTime=5.376 cpuTime=5.23 mem=15M8
8.88
8.88 search
8.88 run=16 nbConstraintChecks=47208357 nbPropagations=2033300 nbRevisions=28081090 nbUselessRevisions=22715023
8.88 nbAssignments=34836 nbFailedAssignments=15023 nbBacktracks=19693 nbVisitedNodes=61672 nbRestartNogoods=93
8.88 => wckTime=8.01 cpuTime=7.84 mem=15M8
12.64
12.64 search
12.64 run=17 nbConstraintChecks=69776503 nbPropagations=3022463 nbRevisions=41887369 nbUselessRevisions=33894377
12.64 nbAssignments=52026 nbFailedAssignments=22352 nbBacktracks=29545 nbVisitedNodes=91970 nbRestartNogoods=104
12.64 => wckTime=11.765 cpuTime=11.55 mem=15M8
18.57
18.57 search
18.57 run=18 nbConstraintChecks=105483768 nbPropagations=4519064 nbRevisions=62775869 nbUselessRevisions=50805716
18.57 nbAssignments=78320 nbFailedAssignments=33862 nbBacktracks=44323 nbVisitedNodes=138909 nbRestartNogoods=114
18.57 => wckTime=17.695 cpuTime=17.43 mem=15M984
27.50
27.50 search
27.50 run=19 nbConstraintChecks=160190365 nbPropagations=6770839 nbRevisions=94116658 nbUselessRevisions=76124232
27.50 nbAssignments=117790 nbFailedAssignments=51159 nbBacktracks=66491 nbVisitedNodes=208836 nbRestartNogoods=120
27.50 => wckTime=26.624 cpuTime=26.27 mem=15M984
40.46
40.46 search
40.46 run=20 nbConstraintChecks=239319036 nbPropagations=10108855 nbRevisions=140944560 nbUselessRevisions=114032088
40.46 nbAssignments=175744 nbFailedAssignments=75854 nbBacktracks=99744 nbVisitedNodes=311396 nbRestartNogoods=137
40.46 => wckTime=39.581 cpuTime=39.11 mem=15M984
59.81
59.81 search
59.81 run=21 nbConstraintChecks=356314377 nbPropagations=15104741 nbRevisions=210654144 nbUselessRevisions=170444969
59.81 nbAssignments=263010 nbFailedAssignments=113235 nbBacktracks=149624 nbVisitedNodes=465678 nbRestartNogoods=145
59.81 => wckTime=58.936 cpuTime=58.3 mem=15M984
88.90
88.90 search
88.90 run=22 nbConstraintChecks=532761931 nbPropagations=22554065 nbRevisions=315050114 nbUselessRevisions=254996348
88.90 nbAssignments=393424 nbFailedAssignments=168821 nbBacktracks=224444 nbVisitedNodes=695892 nbRestartNogoods=154
88.90 => wckTime=88.027 cpuTime=87.12 mem=15M984
133.15
133.15 search
133.15 run=23 nbConstraintChecks=802877707 nbPropagations=33743200 nbRevisions=471891429 nbUselessRevisions=381986733
133.15 nbAssignments=589216 nbFailedAssignments=252379 nbBacktracks=336672 nbVisitedNodes=1041567 nbRestartNogoods=160
133.15 => wckTime=132.276 cpuTime=130.96 mem=15M984
200.70
200.70 search
200.70 run=24 nbConstraintChecks=1215780057 nbPropagations=50595359 nbRevisions=709162413 nbUselessRevisions=574219022
200.70 nbAssignments=884415 nbFailedAssignments=379229 nbBacktracks=505015 nbVisitedNodes=1563537 nbRestartNogoods=175
200.70 => wckTime=199.824 cpuTime=197.89 mem=15M984
253.77
253.77 search
253.77 run=25 nbConstraintChecks=1540622406 nbPropagations=71855482 nbRevisions=1009460297
253.77 nbUselessRevisions=817563267 nbAssignments=1117687 nbFailedAssignments=478920 nbBacktracks=638597
253.77 nbVisitedNodes=1974671 nbRestartNogoods=188
253.77 => wckTime=252.892 cpuTime=250.47 mem=15M984
253.77
253.77 global
253.77 nbConstraintChecks=1540686439 nbPropagations=71856355 nbRevisions=1009466886 nbUselessRevisions=817568634
253.77 nbRestartNogoods=188 solvingWckTime=252.893 solvingCpuTime=250.47 expiredTime=no totalExploration=yes
253.77 nbFoundSolutions=0 globalCpuTime=250.9
253.77 => wckTime=253.44 cpuTime=250.85 mem=15M984
253.77
253.77 s UNSATISFIABLE
253.77 d NODES 1117687
253.77 d CHECKS 1540686439
253.77
253.77 totalWckTime=253.526 totalCpuTime=250.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-202581-1168152568 -o ROOT/results/node22/solver-202581-1168152568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202581-1168152568/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 1.01 1.32 4/83 32223
/proc/meminfo: memFree=1011432/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=1784 CPUtime=0
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 163651232 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32221/statm: 446 136 102 14 0 91 0
[startup+0.104627 s]
/proc/loadavg: 0.92 1.01 1.32 4/83 32223
/proc/meminfo: memFree=1011432/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=913228 CPUtime=0.08
/proc/32221/stat : 32221 (java) S 32218 32221 32113 0 -1 0 2899 0 1 0 7 1 0 0 18 0 8 0 163651232 935145472 2645 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228307 2645 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.512688 s]
/proc/loadavg: 0.92 1.01 1.32 4/83 32223
/proc/meminfo: memFree=1011432/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915328 CPUtime=0.48
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 6628 0 1 0 45 3 0 0 18 0 8 0 163651232 937295872 6367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073555194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228832 6367 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33481 s]
/proc/loadavg: 0.92 1.01 1.32 4/101 32254
/proc/meminfo: memFree=916240/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=1.29
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8717 0 1 0 123 6 0 0 24 0 8 0 163651232 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8455 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 17 0 8 0 163651237 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.22
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 378 0 0 0 22 0 0 0 15 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.98706 s]
/proc/loadavg: 0.92 1.01 1.32 3/102 32255
/proc/meminfo: memFree=912968/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=2.93
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8766 0 1 0 287 6 0 0 25 0 8 0 163651232 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8503 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.25
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 24 1 0 0 15 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8503 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+6.27457 s]
/proc/loadavg: 1.01 1.03 1.32 3/102 32255
/proc/meminfo: memFree=912904/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=6.18
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8773 0 1 0 612 6 0 0 25 0 8 0 163651232 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8510 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915456
[startup+12.7566 s]
/proc/loadavg: 1.23 1.07 1.34 3/102 32255
/proc/meminfo: memFree=912912/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=12.6
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8779 0 1 0 1254 6 0 0 25 0 8 0 163651232 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8515 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915456
[startup+25.6125 s]
/proc/loadavg: 1.35 1.10 1.34 3/102 32255
/proc/meminfo: memFree=913040/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=25.34
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8782 0 1 0 2528 6 0 0 25 0 8 0 163651232 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8518 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915456
[startup+51.2245 s]
/proc/loadavg: 1.57 1.17 1.36 3/102 32255
/proc/meminfo: memFree=913040/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=50.72
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8787 0 1 0 5065 7 0 0 25 0 8 0 163651232 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8523 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915456
[startup+102.442 s]
/proc/loadavg: 1.81 1.30 1.39 3/102 32255
/proc/meminfo: memFree=913040/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=101.47
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8792 0 1 0 10140 7 0 0 25 0 8 0 163651232 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8528 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8528 18446744073709551615 134512640 134570532 4294956480 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.466 s]
/proc/loadavg: 1.93 1.42 1.43 3/102 32255
/proc/meminfo: memFree=913104/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=160.95
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8795 0 1 0 16087 8 0 0 25 0 8 0 163651232 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8531 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 915456
[startup+222.49 s]
/proc/loadavg: 2.09 1.56 1.47 3/102 32255
/proc/meminfo: memFree=889616/2055920 swapFree=4157532/4192956
[pid=32221] ppid=32218 vsize=915456 CPUtime=220.41
/proc/32221/stat : 32221 (java) R 32218 32221 32113 0 -1 0 8797 0 1 0 22033 8 0 0 25 0 8 0 163651232 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32221/statm: 228864 8533 2524 14 0 215334 0
[pid=32221/tid=32237] ppid=32218 vsize=915456 CPUtime=0.03
/proc/32221/task/32237/stat : 32237 (java) S 32218 32221 32113 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163651237 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32240] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32240/stat : 32240 (java) S 32218 32221 32113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163651237 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32241] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32241/stat : 32241 (java) S 32218 32221 32113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163651238 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32245] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32245/stat : 32245 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32246] ppid=32218 vsize=915456 CPUtime=0.26
/proc/32221/task/32246/stat : 32246 (java) S 32218 32221 32113 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32247] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32247/stat : 32247 (java) S 32218 32221 32113 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32221/tid=32248] ppid=32218 vsize=915456 CPUtime=0
/proc/32221/task/32248/stat : 32248 (java) S 32218 32221 32113 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163651241 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.41
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 253.797
CPU time (s): 251.427
CPU user time (s): 251.329
CPU system time (s): 0.097985
CPU usage (%): 99.0662
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.329
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8889
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= 6310
involuntary context switches= 10959
runsolver used 0.32295 s user time and 0.817875 s system time
The end
Begin job on node22 on Sun Jan 7 06:49:28 UTC 2007
IDJOB= 202581
IDBENCH= 3867
FILE ID= node22/202581-1168152568
PBS_JOBID= 3478487
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202581-1168152568/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-202581-1168152568 -o ROOT/results/node22/solver-202581-1168152568 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202581-1168152568/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d4c73cc20c680b56840c44ce0cb31ef5
RANDOM SEED= 236243005
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.279
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.279
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: 1011848 kB
Buffers: 56892 kB
Cached: 868984 kB
SwapCached: 13680 kB
Active: 243456 kB
Inactive: 725304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1011848 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 5648 kB
Writeback: 0 kB
Mapped: 58164 kB
Slab: 60296 kB
Committed_AS: 2853040 kB
PageTables: 2180 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= 66550 MiB
End job on node22 on Sun Jan 7 06:53:42 UTC 2007