0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/247399-1168392260/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
4.15
4.15 INFO : Contraction of relations, mem = 103M220
6.64
6.64 constraints being loaded...
10.64 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
10.64 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=8
10.64 => wckTime=10.321 cpuTime=8.2 mem=228M223
11.75
11.75 solver IterativeSystematicSolver being built...
11.92 => wckTime=11.599 cpuTime=8.34 mem=143M971
11.98
11.98 preprocessing
11.98 nbConstraintChecks=5246 nbValidityChecks=8981 nbPropagations=58 nbRevisions=1080 nbUselessRevisions=1034
11.98 nbSingletonTests=22 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
11.98 => wckTime=0.053 cpuTime=0.05 mem=143M971
12.04
12.04 search
12.04 run=0 nbConstraintChecks=11642 nbValidityChecks=17321 nbPropagations=184 nbRevisions=3164
12.04 nbUselessRevisions=2870 nbAssignments=26 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=41
12.04 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
12.04 => wckTime=0.113 cpuTime=0.1 mem=143M971
12.10
12.10 search
12.10 run=1 nbConstraintChecks=27093 nbValidityChecks=42165 nbPropagations=550 nbRevisions=9446
12.10 nbUselessRevisions=8493 nbAssignments=64 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=105
12.10 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
12.10 => wckTime=0.176 cpuTime=0.16 mem=143M971
12.19
12.19 search
12.19 run=2 nbConstraintChecks=49814 nbValidityChecks=77157 nbPropagations=1188 nbRevisions=20188
12.19 nbUselessRevisions=17978 nbAssignments=118 nbFailedAssignments=48 nbBacktracks=50 nbVisitedNodes=195
12.19 nbRestartNogoods=6 mapSize=42 nbInferences=0 nbTooLargeKeys=0
12.19 => wckTime=0.262 cpuTime=0.23 mem=143M971
12.28
12.28 search
12.28 run=3 nbConstraintChecks=75909 nbValidityChecks=117883 nbPropagations=2153 nbRevisions=36218
12.28 nbUselessRevisions=32087 nbAssignments=185 nbFailedAssignments=75 nbBacktracks=83 nbVisitedNodes=305
12.28 nbRestartNogoods=7 mapSize=65 nbInferences=0 nbTooLargeKeys=0
12.28 => wckTime=0.355 cpuTime=0.31 mem=143M971
12.39
12.39 search
12.39 run=4 nbConstraintChecks=111870 nbValidityChecks=171821 nbPropagations=3548 nbRevisions=59033
12.39 nbUselessRevisions=52129 nbAssignments=271 nbFailedAssignments=103 nbBacktracks=135 nbVisitedNodes=441
12.39 nbRestartNogoods=11 mapSize=100 nbInferences=0 nbTooLargeKeys=0
12.39 => wckTime=0.464 cpuTime=0.42 mem=143M971
12.58
12.58 search
12.58 run=5 nbConstraintChecks=172202 nbValidityChecks=264409 nbPropagations=5678 nbRevisions=93517
12.58 nbUselessRevisions=82279 nbAssignments=423 nbFailedAssignments=169 nbBacktracks=214 nbVisitedNodes=694
12.58 nbRestartNogoods=14 mapSize=158 nbInferences=0 nbTooLargeKeys=0
12.58 => wckTime=0.656 cpuTime=0.6 mem=143M971
12.86
12.86 search
12.86 run=6 nbConstraintChecks=265882 nbValidityChecks=405484 nbPropagations=8945 nbRevisions=145961
12.86 nbUselessRevisions=127873 nbAssignments=635 nbFailedAssignments=259 nbBacktracks=329 nbVisitedNodes=1051
12.86 nbRestartNogoods=19 mapSize=237 nbInferences=0 nbTooLargeKeys=0
12.86 => wckTime=0.939 cpuTime=0.88 mem=143M971
13.37
13.37 search
13.37 run=7 nbConstraintChecks=448238 nbValidityChecks=673323 nbPropagations=14206 nbRevisions=230299
13.37 nbUselessRevisions=200885 nbAssignments=966 nbFailedAssignments=414 nbBacktracks=501 nbVisitedNodes=1643
13.37 nbRestartNogoods=28 mapSize=375 nbInferences=0 nbTooLargeKeys=0
13.37 => wckTime=1.447 cpuTime=1.39 mem=143M971
14.11
14.11 search
14.11 run=8 nbConstraintChecks=708667 nbValidityChecks=1058747 nbPropagations=22367 nbRevisions=360539
14.11 nbUselessRevisions=313612 nbAssignments=1450 nbFailedAssignments=635 nbBacktracks=759 nbVisitedNodes=2504
14.11 nbRestartNogoods=30 mapSize=576 nbInferences=0 nbTooLargeKeys=0
14.11 => wckTime=2.19 cpuTime=2.12 mem=143M971
15.11
15.11 search
15.11 run=9 nbConstraintChecks=1058261 nbValidityChecks=1574266 nbPropagations=34536 nbRevisions=553754
15.11 nbUselessRevisions=480711 nbAssignments=2128 nbFailedAssignments=923 nbBacktracks=1143 nbVisitedNodes=3666
15.11 nbRestartNogoods=33 mapSize=868 nbInferences=0 nbTooLargeKeys=0
15.11 => wckTime=3.187 cpuTime=3.09 mem=143M971
15.52
15.52 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=143M971)
16.42
16.42 search
16.42 run=10 nbConstraintChecks=1526862 nbValidityChecks=2259327 nbPropagations=52080 nbRevisions=829731
16.42 nbUselessRevisions=719185 nbAssignments=3101 nbFailedAssignments=1313 nbBacktracks=1719 nbVisitedNodes=5296
16.42 nbRestartNogoods=41
16.42 => wckTime=4.496 cpuTime=4.39 mem=143M971
18.46
18.46 search
18.46 run=11 nbConstraintChecks=2254453 nbValidityChecks=3323232 nbPropagations=78239 nbRevisions=1234343
18.46 nbUselessRevisions=1067944 nbAssignments=4608 nbFailedAssignments=1919 nbBacktracks=2583 nbVisitedNodes=7814
18.46 nbRestartNogoods=49
18.46 => wckTime=6.539 cpuTime=6.41 mem=143M971
21.37
21.37 search
21.37 run=12 nbConstraintChecks=3274190 nbValidityChecks=4802018 nbPropagations=116550 nbRevisions=1817750
21.37 nbUselessRevisions=1569543 nbAssignments=6752 nbFailedAssignments=2760 nbBacktracks=3881 nbVisitedNodes=11419
21.37 nbRestartNogoods=56
21.37 => wckTime=9.442 cpuTime=9.3 mem=143M971
25.83
25.83 search
25.83 run=13 nbConstraintChecks=4902730 nbValidityChecks=7206546 nbPropagations=174095 nbRevisions=2692716
25.83 nbUselessRevisions=2321935 nbAssignments=10135 nbFailedAssignments=4188 nbBacktracks=5830 nbVisitedNodes=17242
25.83 nbRestartNogoods=61
25.83 => wckTime=13.906 cpuTime=13.74 mem=143M971
32.41
32.41 search
32.41 run=14 nbConstraintChecks=7272793 nbValidityChecks=10671934 nbPropagations=259697 nbRevisions=3987089
32.41 nbUselessRevisions=3433926 nbAssignments=15063 nbFailedAssignments=6191 nbBacktracks=8749 nbVisitedNodes=25624
32.41 nbRestartNogoods=70
32.41 => wckTime=20.49 cpuTime=20.29 mem=144M623
42.56
42.56 search
42.56 run=15 nbConstraintChecks=10883231 nbValidityChecks=15893335 nbPropagations=387422 nbRevisions=5909091
42.56 nbUselessRevisions=5084659 nbAssignments=22294 nbFailedAssignments=9035 nbBacktracks=13128 nbVisitedNodes=37868
42.56 nbRestartNogoods=80
42.56 => wckTime=30.634 cpuTime=30.37 mem=144M623
57.25
57.25 search
57.25 run=16 nbConstraintChecks=16193321 nbValidityChecks=23609675 nbPropagations=577115 nbRevisions=8755523
57.25 nbUselessRevisions=7529417 nbAssignments=33303 nbFailedAssignments=13441 nbBacktracks=19697
57.25 nbVisitedNodes=56525 nbRestartNogoods=89
57.25 => wckTime=45.325 cpuTime=44.99 mem=144M623
79.64
79.64 search
79.64 run=17 nbConstraintChecks=24786363 nbValidityChecks=36081499 nbPropagations=866331 nbRevisions=13090388
79.64 nbUselessRevisions=11248381 nbAssignments=50516 nbFailedAssignments=20796 nbBacktracks=29549
79.64 nbVisitedNodes=86193 nbRestartNogoods=94
79.64 => wckTime=67.713 cpuTime=67.32 mem=144M623
112.12
112.12 search
112.12 run=18 nbConstraintChecks=37057697 nbValidityChecks=53907754 nbPropagations=1297831 nbRevisions=19562657
112.12 nbUselessRevisions=16804164 nbAssignments=75401 nbFailedAssignments=30895 nbBacktracks=44329
112.12 nbVisitedNodes=128511 nbRestartNogoods=107
112.12 => wckTime=100.198 cpuTime=99.46 mem=144M623
119.33
119.33 search
119.33 run=19 nbConstraintChecks=39776978 nbValidityChecks=57847272 nbPropagations=1761137 nbRevisions=26508201
119.33 nbUselessRevisions=22765494 nbAssignments=80842 nbFailedAssignments=33107 nbBacktracks=47538
119.33 nbVisitedNodes=137808 nbRestartNogoods=117
119.33 => wckTime=107.403 cpuTime=106.59 mem=144M623
119.33
119.33 global
119.33 nbConstraintChecks=39782224 nbValidityChecks=57856253 nbPropagations=1761195 nbRevisions=26509281
119.33 nbUselessRevisions=22766528 nbRestartNogoods=117 solvingWckTime=107.405 solvingCpuTime=106.59 expiredTime=no
119.33 totalExploration=no nbFoundSolutions=1 globalCpuTime=114.98
119.33 => wckTime=119.006 cpuTime=114.93 mem=144M623
119.33
119.33 s SATISFIABLE
119.33 v 3 1 2 0 4 2 4 0 1 1 4 1 3 1 3 4 3 0 1 4
119.33 d NODES 80842
119.33 d CHECKS 39782224
119.33
119.33 totalWckTime=119.088 totalCpuTime=114.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-247399-1168392260 -o ROOT/results/node14/solver-247399-1168392260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247399-1168392260/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: 2.02 1.67 1.29 4/87 5593
/proc/meminfo: memFree=1563272/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=18540 CPUtime=0
/proc/5592/stat : 5592 (runsolver) R 5590 5592 5332 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187620979 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5592/statm: 4635 279 244 17 0 2626 0
[startup+0.103121 s]
/proc/loadavg: 2.02 1.67 1.29 4/87 5593
/proc/meminfo: memFree=1563272/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=913228 CPUtime=0.07
/proc/5592/stat : 5592 (java) S 5590 5592 5332 0 -1 0 2904 0 1 0 6 1 0 0 18 0 8 0 187620979 935145472 2650 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228307 2650 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.515157 s]
/proc/loadavg: 2.02 1.67 1.29 4/87 5593
/proc/meminfo: memFree=1563272/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915328 CPUtime=0.48
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 9389 0 1 0 42 6 0 0 18 0 8 0 187620979 937295872 9128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582786 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228832 9128 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34423 s]
/proc/loadavg: 2.02 1.67 1.29 3/94 5600
/proc/meminfo: memFree=1492880/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915328 CPUtime=1.31
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 19905 0 1 0 120 11 0 0 25 0 8 0 187620979 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228832 19643 2147 14 0 215302 0
[pid=5592/tid=5594] ppid=5590 vsize=915328 CPUtime=0.04
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 3493 0 0 0 3 1 0 0 16 0 8 0 187620984 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 187620984 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187620984 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915328 CPUtime=0.07
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 304 0 0 0 7 0 0 0 16 0 8 0 187620987 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937295872 19643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.9834 s]
/proc/loadavg: 2.02 1.67 1.29 3/94 5600
/proc/meminfo: memFree=1469584/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915328 CPUtime=2.95
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 28358 0 1 0 277 18 0 0 25 0 8 0 187620979 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228832 28093 2147 14 0 215302 0
[pid=5592/tid=5594] ppid=5590 vsize=915328 CPUtime=0.21
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 11941 0 0 0 15 6 0 0 16 0 8 0 187620984 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 187620984 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187620984 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915328 CPUtime=0.07
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 187620987 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915328 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937295872 28093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915328
[startup+6.26971 s]
/proc/loadavg: 2.02 1.68 1.29 3/94 5600
/proc/meminfo: memFree=1431184/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=6.2
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 40254 0 1 0 594 26 0 0 25 0 8 0 187620979 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 38409 2153 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=1.08
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 23823 0 0 0 96 12 0 0 22 0 8 0 187620984 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.08
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 187620987 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 38409 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915400
[startup+12.7633 s]
/proc/loadavg: 2.02 1.68 1.29 3/94 5600
/proc/meminfo: memFree=1323872/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=12.65
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64109 0 1 0 1227 38 0 0 25 0 8 0 187620979 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759566 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 62257 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 17 0 8 0 187620984 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.22
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 371 0 0 0 21 1 0 0 15 0 8 0 187620987 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915400
[startup+25.6425 s]
/proc/loadavg: 2.01 1.70 1.30 3/94 5600
/proc/meminfo: memFree=1323808/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=25.48
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64130 0 1 0 2509 39 0 0 25 0 8 0 187620979 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 62274 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.25
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 389 0 0 0 24 1 0 0 15 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915400
[startup+51.28 s]
/proc/loadavg: 2.01 1.72 1.32 3/94 5600
/proc/meminfo: memFree=1323552/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=50.97
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64131 0 1 0 5058 39 0 0 25 0 8 0 187620979 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5592/statm: 228850 62274 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.25
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915400
[startup+102.536 s]
/proc/loadavg: 2.06 1.76 1.36 3/101 6115
/proc/meminfo: memFree=1018208/2055920 swapFree=4158768/4192956
[pid=5592] ppid=5590 vsize=915400 CPUtime=101.88
/proc/5592/stat : 5592 (java) R 5590 5592 5332 0 -1 0 64131 0 1 0 10141 47 0 0 25 0 8 0 187620979 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779593 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5592/statm: 228850 62274 2532 14 0 215320 0
[pid=5592/tid=5594] ppid=5590 vsize=915400 CPUtime=3.06
/proc/5592/task/5594/stat : 5594 (java) S 5590 5592 5332 0 -1 64 47143 0 0 0 283 23 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5595] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5595/stat : 5595 (java) S 5590 5592 5332 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5596] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5596/stat : 5596 (java) S 5590 5592 5332 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187620984 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5597] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5597/stat : 5597 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5598] ppid=5590 vsize=915400 CPUtime=0.25
/proc/5592/task/5598/stat : 5598 (java) S 5590 5592 5332 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 187620987 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5599] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5599/stat : 5599 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5592/tid=5600] ppid=5590 vsize=915400 CPUtime=0
/proc/5592/task/5600/stat : 5600 (java) S 5590 5592 5332 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 187620988 937369600 62274 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 119.399
CPU time (s): 118.565
CPU user time (s): 118.056
CPU system time (s): 0.508922
CPU usage (%): 99.3012
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.056
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64139
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= 3612
involuntary context switches= 5093
runsolver used 0.138978 s user time and 0.417936 s system time
The end
Begin job on node14 on Wed Jan 10 01:24:20 UTC 2007
IDJOB= 247399
IDBENCH= 11123
FILE ID= node14/247399-1168392260
PBS_JOBID= 3522774
Free space on /tmp= 66526 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247399-1168392260/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-247399-1168392260 -o ROOT/results/node14/solver-247399-1168392260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247399-1168392260/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a89165accfc02d89a8e045a0f4b7d6c6
RANDOM SEED= 40501426
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.227
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.227
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: 1563688 kB
Buffers: 60384 kB
Cached: 303372 kB
SwapCached: 3240 kB
Active: 296552 kB
Inactive: 133980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1563688 kB
SwapTotal: 4192956 kB
SwapFree: 4158768 kB
Dirty: 23756 kB
Writeback: 0 kB
Mapped: 74584 kB
Slab: 46512 kB
Committed_AS: 6976076 kB
PageTables: 2280 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= 66370 MiB
End job on node14 on Wed Jan 10 01:26:20 UTC 2007