0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/198760-1168130789/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.58 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=41
0.58 => wckTime=0.176 cpuTime=0.13 mem=8M837
0.58
0.58 predicates being loaded...
0.58
0.58 constraints being loaded...
1.35 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=206531 nbExtensionStructures=173
1.35 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.35 nbSharedBinaryRepresentations=11469 maxDegree=62 maxArity=2
1.35 => wckTime=0.951 cpuTime=0.76 mem=29M316
1.43
1.43 solver IterativeSystematicSolver being built...
1.64 => wckTime=1.241 cpuTime=0.93 mem=20M301
1.86
1.86 preprocessing
1.86 nbConstraintChecks=286865 nbPropagations=4698 nbRevisions=11665 nbUselessRevisions=5969 nbSingletonTests=725
1.86 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=1664 detectedInconsistency=no
1.86 => wckTime=0.217 cpuTime=0.19 mem=20M301
1.93
1.93 search
1.93 run=0 nbConstraintChecks=50942 nbPropagations=5243 nbRevisions=14421 nbUselessRevisions=7484 nbAssignments=46
1.93 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=62 nbRestartNogoods=0 mapSize=4 nbInferences=0
1.93 nbTooLargeKeys=0
1.93 => wckTime=0.284 cpuTime=0.25 mem=21M276
1.96
1.96 search
1.96 run=1 nbConstraintChecks=120983 nbPropagations=11206 nbRevisions=33028 nbUselessRevisions=17422
1.96 nbAssignments=102 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=141 nbRestartNogoods=2 mapSize=12
1.96 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.313 cpuTime=0.27 mem=21M276
1.99
1.99 search
1.99 run=2 nbConstraintChecks=211389 nbPropagations=18001 nbRevisions=57656 nbUselessRevisions=31127
1.99 nbAssignments=175 nbFailedAssignments=59 nbBacktracks=48 nbVisitedNodes=256 nbRestartNogoods=3 mapSize=23
1.99 nbInferences=0 nbTooLargeKeys=0
1.99 => wckTime=0.347 cpuTime=0.3 mem=21M276
2.04
2.04 search
2.04 run=3 nbConstraintChecks=324346 nbPropagations=25799 nbRevisions=90120 nbUselessRevisions=49521
2.04 nbAssignments=273 nbFailedAssignments=105 nbBacktracks=82 nbVisitedNodes=415 nbRestartNogoods=6 mapSize=40
2.04 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.393 cpuTime=0.35 mem=21M276
2.10
2.10 search
2.10 run=4 nbConstraintChecks=489565 nbPropagations=35196 nbRevisions=135141 nbUselessRevisions=75574
2.10 nbAssignments=434 nbFailedAssignments=176 nbBacktracks=133 nbVisitedNodes=643 nbRestartNogoods=15 mapSize=64
2.10 nbInferences=2 nbTooLargeKeys=0
2.10 => wckTime=0.453 cpuTime=0.41 mem=22M250
2.18
2.18 search
2.18 run=5 nbConstraintChecks=671701 nbPropagations=46264 nbRevisions=196649 nbUselessRevisions=111721
2.18 nbAssignments=662 nbFailedAssignments=316 nbBacktracks=209 nbVisitedNodes=1042 nbRestartNogoods=22 mapSize=102
2.18 nbInferences=2 nbTooLargeKeys=0
2.18 => wckTime=0.536 cpuTime=0.48 mem=22M250
2.31
2.31 search
2.31 run=6 nbConstraintChecks=1033286 nbPropagations=60373 nbRevisions=283541 nbUselessRevisions=163442
2.31 nbAssignments=958 nbFailedAssignments=479 nbBacktracks=325 nbVisitedNodes=1562 nbRestartNogoods=29 mapSize=159
2.31 nbInferences=9 nbTooLargeKeys=0
2.31 => wckTime=0.664 cpuTime=0.6 mem=23M224
2.46
2.46 search
2.46 run=7 nbConstraintChecks=1483150 nbPropagations=78034 nbRevisions=402447 nbUselessRevisions=235752
2.46 nbAssignments=1330 nbFailedAssignments=668 nbBacktracks=495 nbVisitedNodes=2204 nbRestartNogoods=37
2.46 mapSize=244 nbInferences=14 nbTooLargeKeys=0
2.46 => wckTime=0.813 cpuTime=0.75 mem=24M198
2.70
2.70 search
2.70 run=8 nbConstraintChecks=2096306 nbPropagations=101061 nbRevisions=563339 nbUselessRevisions=331977
2.70 nbAssignments=1924 nbFailedAssignments=981 nbBacktracks=751 nbVisitedNodes=3234 nbRestartNogoods=48
2.70 mapSize=371 nbInferences=29 nbTooLargeKeys=0
2.70 => wckTime=1.051 cpuTime=0.97 mem=25M172
3.07
3.07 search
3.07 run=9 nbConstraintChecks=3367444 nbPropagations=136267 nbRevisions=818762 nbUselessRevisions=489319
3.07 nbAssignments=2871 nbFailedAssignments=1425 nbBacktracks=1135 nbVisitedNodes=4765 nbRestartNogoods=65
3.07 mapSize=563 nbInferences=63 nbTooLargeKeys=0
3.07 => wckTime=1.425 cpuTime=1.34 mem=27M121
3.61
3.61 search
3.61 run=10 nbConstraintChecks=5163379 nbPropagations=189175 nbRevisions=1216301 nbUselessRevisions=743162
3.61 nbAssignments=4219 nbFailedAssignments=2137 nbBacktracks=1711 nbVisitedNodes=7168 nbRestartNogoods=82
3.61 mapSize=890 nbInferences=108 nbTooLargeKeys=0
3.61 => wckTime=1.967 cpuTime=1.86 mem=31M17
4.48
4.48 search
4.48 run=11 nbConstraintChecks=7498007 nbPropagations=262843 nbRevisions=1819409 nbUselessRevisions=1115202
4.48 nbAssignments=6964 nbFailedAssignments=3975 nbBacktracks=2575 nbVisitedNodes=12168 nbRestartNogoods=100
4.48 mapSize=1323 nbInferences=143 nbTooLargeKeys=0
4.48 => wckTime=2.835 cpuTime=2.72 mem=34M914
5.59
5.59 search
5.59 run=12 nbConstraintChecks=10606564 nbPropagations=369195 nbRevisions=2661515 nbUselessRevisions=1640630
5.59 nbAssignments=9696 nbFailedAssignments=5079 nbBacktracks=3874 nbVisitedNodes=16714 nbRestartNogoods=111
5.59 mapSize=1943 nbInferences=459 nbTooLargeKeys=0
5.59 => wckTime=3.948 cpuTime=3.82 mem=43M681
7.37
7.37 search
7.37 run=13 nbConstraintChecks=15678476 nbPropagations=525847 nbRevisions=3927028 nbUselessRevisions=2441786
7.37 nbAssignments=14463 nbFailedAssignments=7657 nbBacktracks=5821 nbVisitedNodes=25088 nbRestartNogoods=123
7.37 mapSize=2923 nbInferences=684 nbTooLargeKeys=0
7.37 => wckTime=5.728 cpuTime=5.55 mem=21M439
10.06
10.06 search
10.06 run=14 nbConstraintChecks=23770093 nbPropagations=759549 nbRevisions=5893670 nbUselessRevisions=3689171
10.06 nbAssignments=21907 nbFailedAssignments=11953 nbBacktracks=8741 nbVisitedNodes=38337 nbRestartNogoods=146
10.06 mapSize=4374 nbInferences=908 nbTooLargeKeys=0
10.06 => wckTime=8.412 cpuTime=8.21 mem=37M244
14.26
14.26 search
14.26 run=15 nbConstraintChecks=36244157 nbPropagations=1116113 nbRevisions=8814900 nbUselessRevisions=5529558
14.26 nbAssignments=32977 nbFailedAssignments=17524 nbBacktracks=13119 nbVisitedNodes=57741 nbRestartNogoods=166
14.26 mapSize=6540 nbInferences=2013 nbTooLargeKeys=0
14.26 => wckTime=12.617 cpuTime=12.38 mem=63M914
20.46
20.46 search
20.46 run=16 nbConstraintChecks=55096208 nbPropagations=1654636 nbRevisions=13261851 nbUselessRevisions=8354752
20.46 nbAssignments=48996 nbFailedAssignments=25856 nbBacktracks=19687 nbVisitedNodes=85857 nbRestartNogoods=195
20.47 mapSize=9824 nbInferences=3075 nbTooLargeKeys=0
20.47 => wckTime=18.82 cpuTime=18.47 mem=73M527
29.59
29.59 search
29.59 run=17 nbConstraintChecks=83457707 nbPropagations=2462153 nbRevisions=19980716 nbUselessRevisions=12665273
29.59 nbAssignments=73744 nbFailedAssignments=39363 nbBacktracks=29539 nbVisitedNodes=129838 nbRestartNogoods=209
29.59 mapSize=14836 nbInferences=4459 nbTooLargeKeys=0
29.59 => wckTime=27.946 cpuTime=27.46 mem=102M530
43.34
43.34 search
43.34 run=18 nbConstraintChecks=126830690 nbPropagations=3684433 nbRevisions=30275669 nbUselessRevisions=19331993
43.34 nbAssignments=109538 nbFailedAssignments=58952 nbBacktracks=44317 nbVisitedNodes=193360 nbRestartNogoods=210
43.34 mapSize=22402 nbInferences=5880 nbTooLargeKeys=0
43.34 => wckTime=41.696 cpuTime=40.97 mem=130M3
63.74
63.74 search
63.74 run=19 nbConstraintChecks=186338585 nbPropagations=5467711 nbRevisions=45685446 nbUselessRevisions=29276887
63.74 nbAssignments=166151 nbFailedAssignments=91025 nbBacktracks=66485 nbVisitedNodes=293890 nbRestartNogoods=229
63.74 mapSize=33548 nbInferences=8235 nbTooLargeKeys=0
63.74 => wckTime=62.097 cpuTime=61.01 mem=172M542
94.38
94.39 search
94.39 run=20 nbConstraintChecks=275532197 nbPropagations=8098914 nbRevisions=68926355 nbUselessRevisions=44258087
94.39 nbAssignments=250933 nbFailedAssignments=138750 nbBacktracks=99738 nbVisitedNodes=444139 nbRestartNogoods=255
94.39 mapSize=50130 nbInferences=12016 nbTooLargeKeys=0
94.39 => wckTime=92.74 cpuTime=91.23 mem=275M404
138.58
138.58 search
138.58 run=21 nbConstraintChecks=404839423 nbPropagations=11978557 nbRevisions=103603786 nbUselessRevisions=66766383
138.58 nbAssignments=369732 nbFailedAssignments=202998 nbBacktracks=149617 nbVisitedNodes=653023 nbRestartNogoods=285
138.58 mapSize=75176 nbInferences=16679 nbTooLargeKeys=0
138.58 => wckTime=136.937 cpuTime=134.7 mem=390M327
203.66
203.66 search
203.66 run=22 nbConstraintChecks=591719894 nbPropagations=17647116 nbRevisions=155658207 nbUselessRevisions=100821020
203.66 nbAssignments=548384 nbFailedAssignments=301783 nbBacktracks=224435 nbVisitedNodes=968046 nbRestartNogoods=304
203.66 mapSize=112947 nbInferences=21717 nbTooLargeKeys=0
203.66 => wckTime=202.018 cpuTime=198.72 mem=582M815
206.64
206.64 INFO : Stopping hyperNogood (mapSize=114506, nbTooLargekeys=0, mem=600M201)
242.50
242.50 search
242.50 run=23 nbConstraintChecks=735306032 nbPropagations=24703169 nbRevisions=221632184 nbUselessRevisions=144309081
242.50 nbAssignments=686974 nbFailedAssignments=379186 nbBacktracks=285276 nbVisitedNodes=1211393 nbRestartNogoods=323
242.50 => wckTime=240.852 cpuTime=237.2 mem=600M201
242.50
242.50 global
242.50 nbConstraintChecks=735592897 nbPropagations=24707867 nbRevisions=221643849 nbUselessRevisions=144315050
242.50 nbRestartNogoods=323 solvingWckTime=240.853 solvingCpuTime=237.2 expiredTime=no totalExploration=yes
242.50 nbFoundSolutions=0 globalCpuTime=238.18
242.50 => wckTime=242.097 cpuTime=238.13 mem=600M201
242.50
242.50 s UNSATISFIABLE
242.50 d NODES 686974
242.50 d CHECKS 735592897
242.50
242.50 totalWckTime=242.179 totalCpuTime=238.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-198760-1168130789 -o ROOT/results/node13/solver-198760-1168130789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198760-1168130789/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.85 1.97 1.91 4/86 23153
/proc/meminfo: memFree=1384984/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=18540 CPUtime=0
/proc/23152/stat : 23152 (runsolver) R 23150 23152 22787 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161474159 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23152/statm: 4635 279 244 17 0 2626 0
[startup+0.106986 s]
/proc/loadavg: 1.85 1.97 1.91 4/86 23153
/proc/meminfo: memFree=1384984/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=907808 CPUtime=0.05
/proc/23152/stat : 23152 (java) D 23150 23152 22787 0 -1 0 2505 0 1 0 4 1 0 0 17 0 4 0 161474159 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515041 s]
/proc/loadavg: 1.85 1.97 1.91 4/86 23153
/proc/meminfo: memFree=1384984/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915328 CPUtime=0.41
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 6045 0 1 0 37 4 0 0 18 0 8 0 161474159 937295872 5784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228832 5784 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.34115 s]
/proc/loadavg: 1.85 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1350880/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915628 CPUtime=1.22
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 11782 0 1 0 97 25 0 0 24 0 8 0 161474159 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228907 11520 2177 14 0 215377 0
[pid=23152/tid=23154] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 161474166 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 161474166 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161474166 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915628 CPUtime=0.2
/proc/23152/task/23158/stat : 23158 (java) R 23150 23152 22787 0 -1 64 430 0 0 0 20 0 0 0 15 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153140192 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915628 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937603072 11520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915628
[startup+2.99037 s]
/proc/loadavg: 1.85 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1342880/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=2.85
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 13253 0 1 0 258 27 0 0 25 0 8 0 161474159 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074053839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 12989 2541 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.06
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 885 0 0 0 6 0 0 0 17 0 8 0 161474166 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.33
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 495 0 0 0 32 1 0 0 15 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 12989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915720
[startup+6.26981 s]
/proc/loadavg: 1.86 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1332576/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=6.1
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 16789 0 1 0 581 29 0 0 25 0 8 0 161474159 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074052081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 16523 2541 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.06
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 885 0 0 0 6 0 0 0 17 0 8 0 161474166 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.34
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 501 0 0 0 33 1 0 0 15 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 16523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915720
[startup+12.7657 s]
/proc/loadavg: 1.87 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1309088/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=12.54
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 21689 0 1 0 1222 32 0 0 25 0 8 0 161474159 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 21422 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.09
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 4553 0 0 0 8 1 0 0 16 0 8 0 161474166 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.34
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 501 0 0 0 33 1 0 0 15 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 21422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915720
[startup+25.6164 s]
/proc/loadavg: 1.90 1.97 1.91 3/93 23160
/proc/meminfo: memFree=1262368/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=25.27
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 33378 0 1 0 2490 37 0 0 25 0 8 0 161474159 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 33109 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.2
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 16237 0 0 0 13 7 0 0 16 0 8 0 161474166 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 33109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915720
[startup+51.2368 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=1196256/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=50.66
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 49878 0 1 0 5020 46 0 0 25 0 8 0 161474159 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480156 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 49606 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.37
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 32734 0 0 0 22 15 0 0 16 0 8 0 161474166 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 502 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 49606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915720
[startup+102.473 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=1067296/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=101.44
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 82080 0 1 0 10083 61 0 0 25 0 8 0 161474159 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074089111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 81801 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=0.71
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 64928 0 0 0 41 30 0 0 16 0 8 0 161474166 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 503 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 81801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915720
[startup+162.476 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=890208/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=160.92
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 126275 0 1 0 16012 80 0 0 25 0 8 0 161474159 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074089192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 125988 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=1.16
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 109115 0 0 0 68 48 0 0 16 0 8 0 161474166 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 503 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 125988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 915720
[startup+222.494 s]
/proc/loadavg: 2.00 1.99 1.91 3/93 23160
/proc/meminfo: memFree=776096/2055920 swapFree=4192812/4192956
[pid=23152] ppid=23150 vsize=915720 CPUtime=220.39
/proc/23152/stat : 23152 (java) R 23150 23152 22787 0 -1 0 154747 0 1 0 21946 93 0 0 25 0 8 0 161474159 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23152/statm: 228930 154455 2545 14 0 215400 0
[pid=23152/tid=23154] ppid=23150 vsize=915720 CPUtime=1.46
/proc/23152/task/23154/stat : 23154 (java) S 23150 23152 22787 0 -1 64 137582 0 0 0 86 60 0 0 16 0 8 0 161474166 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23155] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23155/stat : 23155 (java) S 23150 23152 22787 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23156] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23156/stat : 23156 (java) S 23150 23152 22787 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161474166 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23157] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23157/stat : 23157 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23158] ppid=23150 vsize=915720 CPUtime=0.35
/proc/23152/task/23158/stat : 23158 (java) S 23150 23152 22787 0 -1 64 503 0 0 0 34 1 0 0 16 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23159] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23159/stat : 23159 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23152/tid=23160] ppid=23150 vsize=915720 CPUtime=0
/proc/23152/task/23160/stat : 23160 (java) S 23150 23152 22787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161474172 937697280 154455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.39
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 242.612
CPU time (s): 240.339
CPU user time (s): 239.306
CPU system time (s): 1.03384
CPU usage (%): 99.0633
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.306
system time used= 1.03384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154755
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= 6601
involuntary context switches= 11389
runsolver used 0.321951 s user time and 0.768883 s system time
The end
Begin job on node13 on Sun Jan 7 00:46:32 UTC 2007
IDJOB= 198760
IDBENCH= 3574
FILE ID= node13/198760-1168130789
PBS_JOBID= 3477728
Free space on /tmp= 66316 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198760-1168130789/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-198760-1168130789 -o ROOT/results/node13/solver-198760-1168130789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198760-1168130789/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ef05de44bc17daaf25b5294ac4693534
RANDOM SEED= 986967758
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.247
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.247
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: 1385400 kB
Buffers: 47312 kB
Cached: 370004 kB
SwapCached: 0 kB
Active: 289212 kB
Inactive: 302444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1385400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2284 kB
Writeback: 0 kB
Mapped: 196684 kB
Slab: 63140 kB
Committed_AS: 4056144 kB
PageTables: 2588 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= 66316 MiB
End job on node13 on Sun Jan 7 00:50:35 UTC 2007