0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/221858-1168262826/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=854 maxDegree=23
0.60 maxArity=2
0.60 => wckTime=0.3 cpuTime=0.22 mem=13M794
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.492 cpuTime=0.35 mem=15M99
0.84
0.84 preprocessing
0.84 nbConstraintChecks=51835 nbPropagations=636 nbRevisions=6481 nbUselessRevisions=5716 nbSingletonTests=34
0.84 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.84 => wckTime=0.042 cpuTime=0.03 mem=15M99
0.86
0.86 search
0.86 run=0 nbConstraintChecks=38614 nbPropagations=1102 nbRevisions=14496 nbUselessRevisions=12614 nbAssignments=28
0.86 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.064 cpuTime=0.04 mem=15M99
0.88
0.88 search
0.88 run=1 nbConstraintChecks=98121 nbPropagations=2863 nbRevisions=41163 nbUselessRevisions=35785 nbAssignments=65
0.88 nbFailedAssignments=29 nbBacktracks=25 nbVisitedNodes=116 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.082 cpuTime=0.05 mem=15M99
0.90
0.90 search
0.90 run=2 nbConstraintChecks=174616 nbPropagations=5475 nbRevisions=83946 nbUselessRevisions=72983
0.90 nbAssignments=114 nbFailedAssignments=51 nbBacktracks=48 nbVisitedNodes=206 nbRestartNogoods=9 mapSize=48
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.102 cpuTime=0.07 mem=15M99
0.92
0.92 search
0.92 run=3 nbConstraintChecks=251317 nbPropagations=9075 nbRevisions=143987 nbUselessRevisions=125125
0.92 nbAssignments=179 nbFailedAssignments=76 nbBacktracks=83 nbVisitedNodes=323 nbRestartNogoods=14 mapSize=79
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.122 cpuTime=0.09 mem=15M99
0.95
0.95 search
0.95 run=4 nbConstraintChecks=411502 nbPropagations=14364 nbRevisions=236369 nbUselessRevisions=205031
0.95 nbAssignments=285 nbFailedAssignments=126 nbBacktracks=136 nbVisitedNodes=519 nbRestartNogoods=18 mapSize=130
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.15 cpuTime=0.11 mem=15M99
0.98
0.98 search
0.98 run=5 nbConstraintChecks=614503 nbPropagations=21981 nbRevisions=372829 nbUselessRevisions=322920
0.98 nbAssignments=435 nbFailedAssignments=195 nbBacktracks=211 nbVisitedNodes=795 nbRestartNogoods=22 mapSize=202
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.191 cpuTime=0.15 mem=15M99
1.04
1.04 search
1.04 run=6 nbConstraintChecks=922271 nbPropagations=33070 nbRevisions=577428 nbUselessRevisions=499839
1.04 nbAssignments=665 nbFailedAssignments=305 nbBacktracks=325 nbVisitedNodes=1221 nbRestartNogoods=29 mapSize=313
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.247 cpuTime=0.2 mem=15M99
1.13
1.13 search
1.13 run=7 nbConstraintChecks=1402020 nbPropagations=49506 nbRevisions=886594 nbUselessRevisions=767124
1.13 nbAssignments=1010 nbFailedAssignments=477 nbBacktracks=495 nbVisitedNodes=1868 nbRestartNogoods=35
1.13 mapSize=483 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.334 cpuTime=0.29 mem=15M99
1.25
1.25 search
1.25 run=8 nbConstraintChecks=2009759 nbPropagations=73113 nbRevisions=1334178 nbUselessRevisions=1154395
1.25 nbAssignments=1507 nbFailedAssignments=713 nbBacktracks=751 nbVisitedNodes=2779 nbRestartNogoods=39
1.25 mapSize=736 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.454 cpuTime=0.39 mem=15M99
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M99)
1.42
1.42 search
1.42 run=9 nbConstraintChecks=3009657 nbPropagations=108372 nbRevisions=2010246 nbUselessRevisions=1740121
1.42 nbAssignments=2267 nbFailedAssignments=1083 nbBacktracks=1135 nbVisitedNodes=4205 nbRestartNogoods=46
1.42 => wckTime=0.624 cpuTime=0.57 mem=15M99
1.67
1.67 search
1.67 run=10 nbConstraintChecks=4604143 nbPropagations=161442 nbRevisions=3041143 nbUselessRevisions=2633672
1.67 nbAssignments=3444 nbFailedAssignments=1680 nbBacktracks=1711 nbVisitedNodes=6412 nbRestartNogoods=56
1.67 => wckTime=0.876 cpuTime=0.81 mem=15M99
2.02
2.02 search
2.02 run=11 nbConstraintChecks=6945858 nbPropagations=240506 nbRevisions=4593038 nbUselessRevisions=3978862
2.02 nbAssignments=5182 nbFailedAssignments=2548 nbBacktracks=2575 nbVisitedNodes=9645 nbRestartNogoods=68
2.02 => wckTime=1.23 cpuTime=1.16 mem=15M99
2.52
2.52 search
2.52 run=12 nbConstraintChecks=10346356 nbPropagations=357875 nbRevisions=6902974 nbUselessRevisions=5981147
2.52 nbAssignments=7744 nbFailedAssignments=3807 nbBacktracks=3873 nbVisitedNodes=14401 nbRestartNogoods=76
2.52 => wckTime=1.725 cpuTime=1.65 mem=15M99
3.27
3.27 search
3.27 run=13 nbConstraintChecks=15604701 nbPropagations=534051 nbRevisions=10388189 nbUselessRevisions=9003169
3.27 nbAssignments=11595 nbFailedAssignments=5707 nbBacktracks=5819 nbVisitedNodes=21623 nbRestartNogoods=87
3.27 => wckTime=2.473 cpuTime=2.4 mem=15M99
4.35
4.35 search
4.35 run=14 nbConstraintChecks=23299988 nbPropagations=796206 nbRevisions=15595659 nbUselessRevisions=13519681
4.35 nbAssignments=17340 nbFailedAssignments=8528 nbBacktracks=8738 nbVisitedNodes=32326 nbRestartNogoods=98
4.35 => wckTime=3.555 cpuTime=3.48 mem=15M99
6.01
6.01 search
6.01 run=15 nbConstraintChecks=35163553 nbPropagations=1191035 nbRevisions=23460564 nbUselessRevisions=20341287
6.01 nbAssignments=26121 nbFailedAssignments=12926 nbBacktracks=13117 nbVisitedNodes=48769 nbRestartNogoods=106
6.01 => wckTime=5.213 cpuTime=5.13 mem=15M99
8.66
8.66 search
8.66 run=16 nbConstraintChecks=52926411 nbPropagations=1783809 nbRevisions=35282593 nbUselessRevisions=30594247
8.66 nbAssignments=39224 nbFailedAssignments=19455 nbBacktracks=19686 nbVisitedNodes=73252 nbRestartNogoods=112
8.66 => wckTime=7.867 cpuTime=7.78 mem=15M99
12.68
12.68 search
12.68 run=17 nbConstraintChecks=80118705 nbPropagations=2675378 nbRevisions=53137243 nbUselessRevisions=46082592
12.68 nbAssignments=58757 nbFailedAssignments=29131 nbBacktracks=29538 nbVisitedNodes=109763 nbRestartNogoods=120
12.68 => wckTime=11.883 cpuTime=11.8 mem=15M99
18.58
18.58 search
18.58 run=18 nbConstraintChecks=120044641 nbPropagations=4009374 nbRevisions=79895198 nbUselessRevisions=69295604
18.58 nbAssignments=88048 nbFailedAssignments=43640 nbBacktracks=44316 nbVisitedNodes=164435 nbRestartNogoods=136
18.58 => wckTime=17.788 cpuTime=17.7 mem=15M99
27.55
27.55 search
27.55 run=19 nbConstraintChecks=180292198 nbPropagations=6011139 nbRevisions=120121594 nbUselessRevisions=104203567
27.55 nbAssignments=132121 nbFailedAssignments=65540 nbBacktracks=66484 nbVisitedNodes=246830 nbRestartNogoods=158
27.55 => wckTime=26.752 cpuTime=26.66 mem=15M99
41.05
41.05 search
41.05 run=20 nbConstraintChecks=272004046 nbPropagations=9017571 nbRevisions=180677562 nbUselessRevisions=156756245
41.05 nbAssignments=198362 nbFailedAssignments=98526 nbBacktracks=99736 nbVisitedNodes=370460 nbRestartNogoods=180
41.05 => wckTime=40.257 cpuTime=40.16 mem=15M99
61.49
61.49 search
61.49 run=21 nbConstraintChecks=410702911 nbPropagations=13542923 nbRevisions=271928328 nbUselessRevisions=235943992
61.49 nbAssignments=297917 nbFailedAssignments=148198 nbBacktracks=149614 nbVisitedNodes=556779 nbRestartNogoods=194
61.49 => wckTime=60.693 cpuTime=60.59 mem=15M99
92.20
92.20 search
92.20 run=22 nbConstraintChecks=619102843 nbPropagations=20341120 nbRevisions=409403608 nbUselessRevisions=355285261
92.20 nbAssignments=446727 nbFailedAssignments=222186 nbBacktracks=224432 nbVisitedNodes=835025 nbRestartNogoods=211
92.20 => wckTime=91.405 cpuTime=91.29 mem=15M99
138.68
138.68 search
138.68 run=23 nbConstraintChecks=935475749 nbPropagations=30579090 nbRevisions=616995363 nbUselessRevisions=535521672
138.68 nbAssignments=671551 nbFailedAssignments=334779 nbBacktracks=336659 nbVisitedNodes=1255602 nbRestartNogoods=222
138.68 => wckTime=137.89 cpuTime=137.76 mem=15M99
209.39
209.39 search
209.39 run=24 nbConstraintChecks=1419834608 nbPropagations=46010095 nbRevisions=931250453 nbUselessRevisions=808423697
209.39 nbAssignments=1007893 nbFailedAssignments=502775 nbBacktracks=505002 nbVisitedNodes=1885374
209.39 nbRestartNogoods=234
209.39 => wckTime=208.596 cpuTime=208.45 mem=15M99
228.71
228.71 search
228.71 run=25 nbConstraintChecks=1553685331 nbPropagations=62848562 nbRevisions=1274724143
228.71 nbUselessRevisions=1106720127 nbAssignments=1098163 nbFailedAssignments=548071 nbBacktracks=549977
228.71 nbVisitedNodes=2054601 nbRestartNogoods=248
228.71 => wckTime=227.913 cpuTime=227.76 mem=15M99
228.71
228.71 global
228.71 nbConstraintChecks=1553737166 nbPropagations=62849198 nbRevisions=1274730624 nbUselessRevisions=1106725843
228.71 nbRestartNogoods=248 solvingWckTime=227.914 solvingCpuTime=227.76 expiredTime=no totalExploration=yes
228.71 nbFoundSolutions=0 globalCpuTime=228.16
228.71 => wckTime=228.409 cpuTime=228.11 mem=15M99
228.71
228.71 s UNSATISFIABLE
228.71 d NODES 1098163
228.71 d CHECKS 1553737166
228.71
228.71 totalWckTime=228.487 totalCpuTime=228.16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-221858-1168262826 -o ROOT/results/node9/solver-221858-1168262826 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221858-1168262826/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.01 1.00 1.00 2/78 23195
/proc/meminfo: memFree=1797424/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=72 CPUtime=0
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 174677704 73728 2 18446744073709551615 0 0 4294956875 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/23194/statm: 41 8 4 14 0 1 0
[startup+0.105141 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 23195
/proc/meminfo: memFree=1797424/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=914988 CPUtime=0.08
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 3036 0 1 0 6 2 0 0 22 0 8 0 174677704 936947712 2782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228747 2782 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513182 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 23195
/proc/meminfo: memFree=1797424/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915328 CPUtime=0.48
/proc/23194/stat : 23194 (java) S 23192 23194 21772 0 -1 0 7013 0 1 0 43 5 0 0 16 0 8 0 174677704 937295872 6752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228832 6752 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33427 s]
/proc/loadavg: 1.01 1.00 1.00 3/85 23202
/proc/meminfo: memFree=1773432/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=1.32
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8726 0 1 0 125 7 0 0 16 0 8 0 174677704 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8464 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.22
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.97146 s]
/proc/loadavg: 1.01 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773240/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=2.95
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8745 0 1 0 288 7 0 0 17 0 8 0 174677704 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23194/statm: 228863 8482 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8482 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+6.27183 s]
/proc/loadavg: 1.01 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773112/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=6.24
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8755 0 1 0 617 7 0 0 17 0 8 0 174677704 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8491 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452
[startup+12.7474 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773120/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=12.71
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8761 0 1 0 1264 7 0 0 24 0 8 0 174677704 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8496 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
[startup+25.5988 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=25.56
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8763 0 1 0 2549 7 0 0 25 0 8 0 174677704 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8498 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915452
[startup+51.2817 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=51.23
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8768 0 1 0 5116 7 0 0 25 0 8 0 174677704 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8503 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8503 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915452
[startup+102.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=102.47
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8773 0 1 0 10240 7 0 0 25 0 8 0 174677704 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8508 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8508 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915452
[startup+162.634 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1773056/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=162.55
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8776 0 1 0 16248 7 0 0 25 0 8 0 174677704 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8511 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.55
Current children cumulated vsize (KiB) 915452
[startup+222.733 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 23202
/proc/meminfo: memFree=1772992/2055920 swapFree=4191880/4192956
[pid=23194] ppid=23192 vsize=915452 CPUtime=222.64
/proc/23194/stat : 23194 (java) R 23192 23194 21772 0 -1 0 8778 0 1 0 22256 8 0 0 25 0 8 0 174677704 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23194/statm: 228863 8513 2524 14 0 215333 0
[pid=23194/tid=23196] ppid=23192 vsize=915452 CPUtime=0.03
/proc/23194/task/23196/stat : 23196 (java) S 23192 23194 21772 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 174677708 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23194/tid=23197] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23197/stat : 23197 (java) S 23192 23194 21772 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23198] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23198/stat : 23198 (java) S 23192 23194 21772 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174677708 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23199] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23199/stat : 23199 (java) S 23192 23194 21772 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23200] ppid=23192 vsize=915452 CPUtime=0.23
/proc/23194/task/23200/stat : 23200 (java) S 23192 23194 21772 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23201] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23201/stat : 23201 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23194/tid=23202] ppid=23192 vsize=915452 CPUtime=0
/proc/23194/task/23202/stat : 23202 (java) S 23192 23194 21772 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174677712 937422848 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.64
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 228.739
CPU time (s): 228.635
CPU user time (s): 228.545
CPU system time (s): 0.089986
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.545
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8870
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= 5473
involuntary context switches= 788
runsolver used 0.233964 s user time and 0.58691 s system time
The end
Begin job on node9 on Mon Jan 8 13:27:06 UTC 2007
IDJOB= 221858
IDBENCH= 5470
FILE ID= node9/221858-1168262826
PBS_JOBID= 3482414
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-49021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221858-1168262826/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-221858-1168262826 -o ROOT/results/node9/solver-221858-1168262826 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221858-1168262826/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 018906158a3534888a95e4e4a84176ab
RANDOM SEED= 153359645
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.231
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.231
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: 1797776 kB
Buffers: 48876 kB
Cached: 108068 kB
SwapCached: 408 kB
Active: 122940 kB
Inactive: 76976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1797776 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 54488 kB
Slab: 43580 kB
Committed_AS: 4951460 kB
PageTables: 1932 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= 66547 MiB
End job on node9 on Mon Jan 8 13:30:54 UTC 2007