0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/213273-1168225545/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.128 cpuTime=0.11 mem=7M50
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
0.70 nbConstraints=600 nbConvertedConstraints=201 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.70 nbSharedExtensionStructures=199 nbConflictsStructures=3 nbSharedConflictsStructures=597
0.70 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=398 maxDegree=4 maxArity=3
0.70 => wckTime=0.381 cpuTime=0.28 mem=11M926
0.74
0.74 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.62 cpuTime=0.45 mem=18M763
1.02
1.02 preprocessing
1.02 nbConstraintChecks=1383 nbValidityChecks=162 nbPropagations=1278 nbRevisions=1193 nbUselessRevisions=782
1.02 nbSingletonTests=491 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
1.02 => wckTime=0.085 cpuTime=0.06 mem=18M763
1.06
1.06 search
1.06 run=0 nbConstraintChecks=374 nbValidityChecks=62 nbPropagations=1480 nbRevisions=1506 nbUselessRevisions=929
1.06 nbAssignments=129 nbFailedAssignments=5 nbBacktracks=12 nbVisitedNodes=139 nbRestartNogoods=0 mapSize=7
1.06 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.129 cpuTime=0.1 mem=18M763
1.10
1.10 search
1.10 run=1 nbConstraintChecks=1081 nbValidityChecks=421 nbPropagations=3438 nbRevisions=3771
1.10 nbUselessRevisions=2305 nbAssignments=418 nbFailedAssignments=12 nbBacktracks=42 nbVisitedNodes=289
1.10 nbRestartNogoods=2 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.166 cpuTime=0.13 mem=18M763
1.14
1.14 search
1.14 run=2 nbConstraintChecks=2191 nbValidityChecks=963 nbPropagations=6125 nbRevisions=7182
1.14 nbUselessRevisions=4411 nbAssignments=881 nbFailedAssignments=19 nbBacktracks=65 nbVisitedNodes=452
1.14 nbRestartNogoods=5 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.209 cpuTime=0.17 mem=18M763
1.20
1.20 search
1.20 run=3 nbConstraintChecks=3625 nbValidityChecks=1751 nbPropagations=9779 nbRevisions=12137
1.20 nbUselessRevisions=7526 nbAssignments=1513 nbFailedAssignments=25 nbBacktracks=102 nbVisitedNodes=643
1.20 nbRestartNogoods=9 mapSize=31 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.265 cpuTime=0.21 mem=18M763
1.25
1.25 search
1.25 run=4 nbConstraintChecks=5133 nbValidityChecks=2719 nbPropagations=14444 nbRevisions=18797
1.25 nbUselessRevisions=11676 nbAssignments=2116 nbFailedAssignments=37 nbBacktracks=164 nbVisitedNodes=871
1.25 nbRestartNogoods=12 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.314 cpuTime=0.26 mem=18M763
1.30
1.30 search
1.30 run=5 nbConstraintChecks=6514 nbValidityChecks=3526 nbPropagations=19930 nbRevisions=26931
1.30 nbUselessRevisions=16615 nbAssignments=2495 nbFailedAssignments=54 nbBacktracks=277 nbVisitedNodes=1123
1.30 nbRestartNogoods=15 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.362 cpuTime=0.3 mem=18M763
1.33
1.33 search
1.33 run=6 nbConstraintChecks=7633 nbValidityChecks=4191 nbPropagations=26042 nbRevisions=36142
1.33 nbUselessRevisions=22027 nbAssignments=2675 nbFailedAssignments=74 nbBacktracks=391 nbVisitedNodes=1324
1.33 nbRestartNogoods=18 mapSize=107 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.392 cpuTime=0.33 mem=18M763
1.37
1.37 search
1.37 run=7 nbConstraintChecks=9089 nbValidityChecks=5141 nbPropagations=32914 nbRevisions=46858
1.37 nbUselessRevisions=28178 nbAssignments=2931 nbFailedAssignments=100 nbBacktracks=561 nbVisitedNodes=1633
1.37 nbRestartNogoods=20 mapSize=158 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.433 cpuTime=0.37 mem=18M763
1.43
1.43 search
1.43 run=8 nbConstraintChecks=13097 nbValidityChecks=8103 nbPropagations=41931 nbRevisions=61937
1.43 nbUselessRevisions=36528 nbAssignments=3315 nbFailedAssignments=179 nbBacktracks=819 nbVisitedNodes=2127
1.43 nbRestartNogoods=22 mapSize=296 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.492 cpuTime=0.42 mem=18M763
1.51
1.51 search
1.51 run=9 nbConstraintChecks=20109 nbValidityChecks=12929 nbPropagations=54723 nbRevisions=84307
1.51 nbUselessRevisions=48334 nbAssignments=3882 nbFailedAssignments=335 nbBacktracks=1206 nbVisitedNodes=2979
1.51 nbRestartNogoods=27 mapSize=587 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.576 cpuTime=0.5 mem=19M738
1.63
1.63 search
1.63 run=10 nbConstraintChecks=32095 nbValidityChecks=21029 nbPropagations=74213 nbRevisions=118941
1.63 nbUselessRevisions=65611 nbAssignments=4690 nbFailedAssignments=541 nbBacktracks=1792 nbVisitedNodes=4197
1.63 nbRestartNogoods=30 mapSize=990 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.697 cpuTime=0.61 mem=19M738
1.65
1.65 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=19M738)
1.76
1.76 search
1.76 run=11 nbConstraintChecks=46061 nbValidityChecks=31596 nbPropagations=101830 nbRevisions=169322
1.76 nbUselessRevisions=90330 nbAssignments=5807 nbFailedAssignments=779 nbBacktracks=2657 nbVisitedNodes=5789
1.76 nbRestartNogoods=34
1.76 => wckTime=0.82 cpuTime=0.73 mem=19M738
1.93
1.93 search
1.93 run=12 nbConstraintChecks=66686 nbValidityChecks=46133 nbPropagations=140750 nbRevisions=241511
1.93 nbUselessRevisions=125344 nbAssignments=7584 nbFailedAssignments=1227 nbBacktracks=3955 nbVisitedNodes=8416
1.93 nbRestartNogoods=39
1.93 => wckTime=0.999 cpuTime=0.91 mem=19M738
2.19
2.19 search
2.20 run=13 nbConstraintChecks=97411 nbValidityChecks=67479 nbPropagations=196859 nbRevisions=346030
2.20 nbUselessRevisions=175279 nbAssignments=10153 nbFailedAssignments=1814 nbBacktracks=5909 nbVisitedNodes=12047
2.20 nbRestartNogoods=48
2.20 => wckTime=1.259 cpuTime=1.17 mem=19M738
2.55
2.55 search
2.55 run=14 nbConstraintChecks=154885 nbValidityChecks=117176 nbPropagations=285263 nbRevisions=528237
2.55 nbUselessRevisions=269722 nbAssignments=13877 nbFailedAssignments=2574 nbBacktracks=8830 nbVisitedNodes=17262
2.55 nbRestartNogoods=53
2.55 => wckTime=1.613 cpuTime=1.52 mem=19M738
3.14
3.14 search
3.14 run=15 nbConstraintChecks=274878 nbValidityChecks=231003 nbPropagations=440938 nbRevisions=884571
3.14 nbUselessRevisions=468385 nbAssignments=19691 nbFailedAssignments=3936 nbBacktracks=13208 nbVisitedNodes=25666
3.14 nbRestartNogoods=59
3.14 => wckTime=2.207 cpuTime=2.11 mem=19M738
3.96
3.96 search
3.96 run=16 nbConstraintChecks=412371 nbValidityChecks=354963 nbPropagations=674959 nbRevisions=1430910
3.96 nbUselessRevisions=776784 nbAssignments=28305 nbFailedAssignments=5788 nbBacktracks=19778 nbVisitedNodes=37825
3.96 nbRestartNogoods=69
3.96 => wckTime=3.027 cpuTime=2.93 mem=19M738
5.13
5.13 search
5.13 run=17 nbConstraintChecks=575577 nbValidityChecks=487628 nbPropagations=997643 nbRevisions=2169196
5.13 nbUselessRevisions=1186542 nbAssignments=40944 nbFailedAssignments=8532 nbBacktracks=29635 nbVisitedNodes=55552
5.13 nbRestartNogoods=80
5.13 => wckTime=4.19 cpuTime=4.09 mem=19M738
6.89
6.89 search
6.89 run=18 nbConstraintChecks=824793 nbValidityChecks=677093 nbPropagations=1460911 nbRevisions=3191678
6.89 nbUselessRevisions=1738096 nbAssignments=59846 nbFailedAssignments=12574 nbBacktracks=44420
6.89 nbVisitedNodes=82431 nbRestartNogoods=88
6.89 => wckTime=5.959 cpuTime=5.86 mem=19M738
9.72
9.72 search
9.72 run=19 nbConstraintChecks=1260168 nbValidityChecks=1006171 nbPropagations=2172608 nbRevisions=4699014
9.72 nbUselessRevisions=2519409 nbAssignments=88831 nbFailedAssignments=19272 nbBacktracks=66590
9.72 nbVisitedNodes=124133 nbRestartNogoods=97
9.72 => wckTime=8.785 cpuTime=8.68 mem=19M738
13.99
13.99 search
13.99 run=20 nbConstraintChecks=1963573 nbValidityChecks=1630577 nbPropagations=3282405 nbRevisions=7152290
13.99 nbUselessRevisions=3841510 nbAssignments=132371 nbFailedAssignments=29506 nbBacktracks=99842
13.99 nbVisitedNodes=187793 nbRestartNogoods=109
13.99 => wckTime=13.056 cpuTime=12.95 mem=19M738
20.48
20.48 search
20.48 run=21 nbConstraintChecks=3249231 nbValidityChecks=2871662 nbPropagations=5145741 nbRevisions=11470285
20.48 nbUselessRevisions=6255868 nbAssignments=195353 nbFailedAssignments=42302 nbBacktracks=149721
20.48 nbVisitedNodes=276203 nbRestartNogoods=125
20.48 => wckTime=19.542 cpuTime=19.43 mem=19M738
29.35
29.35 search
29.35 run=22 nbConstraintChecks=4499822 nbValidityChecks=3883556 nbPropagations=7716782 nbRevisions=17259136
29.35 nbUselessRevisions=9421652 nbAssignments=289753 nbFailedAssignments=61711 nbBacktracks=224539
29.35 nbVisitedNodes=407912 nbRestartNogoods=144
29.35 => wckTime=28.418 cpuTime=28.32 mem=19M738
41.34
41.34 search
41.34 run=23 nbConstraintChecks=6109736 nbValidityChecks=5312051 nbPropagations=11219734 nbRevisions=25232988
41.34 nbUselessRevisions=13820732 nbAssignments=423801 nbFailedAssignments=83443 nbBacktracks=336766
41.34 nbVisitedNodes=582024 nbRestartNogoods=151
41.34 => wckTime=40.401 cpuTime=40.26 mem=19M738
62.28
62.28 search
62.28 run=24 nbConstraintChecks=9600112 nbValidityChecks=8411325 nbPropagations=16710086 nbRevisions=37893312
62.28 nbUselessRevisions=20873014 nbAssignments=639282 nbFailedAssignments=130466 nbBacktracks=505107
62.28 nbVisitedNodes=888611 nbRestartNogoods=173
62.28 => wckTime=61.348 cpuTime=61.2 mem=19M738
91.94
91.95 search
91.95 run=25 nbConstraintChecks=13665598 nbValidityChecks=11570700 nbPropagations=24503486 nbRevisions=55320341
91.95 nbUselessRevisions=30355128 nbAssignments=960772 nbFailedAssignments=199272 nbBacktracks=757619
91.95 nbVisitedNodes=1341866 nbRestartNogoods=188
91.95 => wckTime=91.009 cpuTime=90.83 mem=19M738
135.90
135.90 search
135.90 run=26 nbConstraintChecks=20102389 nbValidityChecks=16734443 nbPropagations=35992358 nbRevisions=80536489
135.90 nbUselessRevisions=43867515 nbAssignments=1434338 nbFailedAssignments=293984 nbBacktracks=1136386
135.90 nbVisitedNodes=1997620 nbRestartNogoods=196
135.90 => wckTime=134.963 cpuTime=134.74 mem=19M738
202.40
202.40 search
202.40 run=27 nbConstraintChecks=32938371 nbValidityChecks=28554200 nbPropagations=55100439 nbRevisions=123415037
202.40 nbUselessRevisions=67231733 nbAssignments=2080798 nbFailedAssignments=429725 nbBacktracks=1646676
202.40 nbVisitedNodes=2899930 nbRestartNogoods=209
202.40 => wckTime=201.464 cpuTime=201.05 mem=19M738
202.40
202.40 global
202.40 nbConstraintChecks=32939754 nbValidityChecks=28554362 nbPropagations=55101717 nbRevisions=123416230
202.40 nbUselessRevisions=67232515 nbRestartNogoods=209 solvingWckTime=201.466 solvingCpuTime=201.05 expiredTime=no
202.40 totalExploration=no nbFoundSolutions=1 globalCpuTime=201.55
202.40 => wckTime=202.087 cpuTime=201.5 mem=19M738
202.41
202.41 s SATISFIABLE
202.41 v 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0
202.41 d NODES 2080798
202.41 d CHECKS 32939754
202.41
202.41 totalWckTime=202.163 totalCpuTime=201.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-213273-1168225545 -o ROOT/results/node55/solver-213273-1168225545 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213273-1168225545/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.39 1.29 1.66 3/68 26040
/proc/meminfo: memFree=1841400/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=1500 CPUtime=0
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 87 0 0 0 0 0 0 0 19 0 1 0 170953591 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6812867 0 0 4096 0 0 0 0 17 1 0 0
/proc/26039/statm: 375 69 55 14 0 8 0
[startup+0.105362 s]
/proc/loadavg: 0.39 1.29 1.66 3/68 26040
/proc/meminfo: memFree=1841400/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=913068 CPUtime=0.08
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 2869 0 1 0 6 2 0 0 23 0 8 0 170953591 934981632 2615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228267 2616 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.517373 s]
/proc/loadavg: 0.39 1.29 1.66 3/68 26040
/proc/meminfo: memFree=1841400/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915328 CPUtime=0.48
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 6442 0 1 0 43 5 0 0 16 0 8 0 170953591 937295872 6181 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944131 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26039/statm: 228832 6181 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34045 s]
/proc/loadavg: 0.39 1.29 1.66 2/75 26089
/proc/meminfo: memFree=1813376/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=1.31
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9739 0 1 0 122 9 0 0 16 0 8 0 170953591 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26039/statm: 228893 9477 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.24
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 426 0 0 0 23 1 0 0 16 0 8 0 170953600 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9477 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915572
[startup+2.9776 s]
/proc/loadavg: 0.39 1.29 1.66 2/75 26089
/proc/meminfo: memFree=1812608/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=2.93
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9843 0 1 0 284 9 0 0 18 0 8 0 170953591 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9579 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 17 0 8 0 170953596 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915572
[startup+6.26693 s]
/proc/loadavg: 0.52 1.30 1.67 3/88 26103
/proc/meminfo: memFree=1800280/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=6.23
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9853 0 1 0 613 10 0 0 25 0 8 0 170953591 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9588 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915572
[startup+12.7536 s]
/proc/loadavg: 0.63 1.31 1.67 3/88 26103
/proc/meminfo: memFree=1800088/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=12.71
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9859 0 1 0 1261 10 0 0 25 0 8 0 170953591 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9594 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9594 18446744073709551615 134512640 134570532 4294956480 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) 915572
[startup+25.6218 s]
/proc/loadavg: 0.94 1.34 1.67 3/88 26103
/proc/meminfo: memFree=1799768/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=25.57
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9866 0 1 0 2547 10 0 0 25 0 8 0 170953591 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911834 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9601 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9601 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915572
[startup+51.2343 s]
/proc/loadavg: 1.30 1.39 1.68 3/88 26103
/proc/meminfo: memFree=1799576/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=51.14
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9872 0 1 0 5104 10 0 0 25 0 8 0 170953591 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073901663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9607 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915572
[startup+102.454 s]
/proc/loadavg: 1.69 1.48 1.69 3/88 26103
/proc/meminfo: memFree=1799512/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=102.32
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9878 0 1 0 10222 10 0 0 25 0 8 0 170953591 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9613 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915572
[startup+162.537 s]
/proc/loadavg: 1.89 1.58 1.71 3/88 26103
/proc/meminfo: memFree=1799512/2055920 swapFree=4192192/4192956
[pid=26039] ppid=26037 vsize=915572 CPUtime=162.36
/proc/26039/stat : 26039 (java) R 26037 26039 25966 0 -1 0 9881 0 1 0 16225 11 0 0 25 0 8 0 170953591 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26039/statm: 228893 9616 2543 14 0 215363 0
[pid=26039/tid=26056] ppid=26037 vsize=915572 CPUtime=0.03
/proc/26039/task/26056/stat : 26056 (java) S 26037 26039 25966 0 -1 64 235 0 0 0 3 0 0 0 16 0 8 0 170953596 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26059] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26059/stat : 26059 (java) S 26037 26039 25966 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170953597 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26060] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26060/stat : 26060 (java) S 26037 26039 25966 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170953597 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26077] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26077/stat : 26077 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26078] ppid=26037 vsize=915572 CPUtime=0.26
/proc/26039/task/26078/stat : 26078 (java) S 26037 26039 25966 0 -1 64 440 0 0 0 25 1 0 0 16 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26079] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26079/stat : 26079 (java) S 26037 26039 25966 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26039/tid=26080] ppid=26037 vsize=915572 CPUtime=0
/proc/26039/task/26080/stat : 26080 (java) S 26037 26039 25966 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170953600 937545728 9616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.36
Current children cumulated vsize (KiB) 915572
Child status: 0
Real time (s): 202.462
CPU time (s): 202.063
CPU user time (s): 201.944
CPU system time (s): 0.118981
CPU usage (%): 99.8031
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.944
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9975
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= 5109
involuntary context switches= 5579
runsolver used 0.26296 s user time and 0.611906 s system time
The end
Begin job on node55 on Mon Jan 8 03:05:48 UTC 2007
IDJOB= 213273
IDBENCH= 4835
FILE ID= node55/213273-1168225545
PBS_JOBID= 3481044
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-2-0-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213273-1168225545/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-213273-1168225545 -o ROOT/results/node55/solver-213273-1168225545 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213273-1168225545/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c6075b2af286ce7888ebbe173302d2e2
RANDOM SEED= 197251565
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.218
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 : 5931.00
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.218
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: 1841880 kB
Buffers: 36508 kB
Cached: 101176 kB
SwapCached: 424 kB
Active: 82920 kB
Inactive: 75372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1841880 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 29364 kB
Slab: 41540 kB
Committed_AS: 3619876 kB
PageTables: 1572 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= 66563 MiB
End job on node55 on Mon Jan 8 03:09:23 UTC 2007