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/239744-1168367374/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.47 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.47 => wckTime=0.153 cpuTime=0.11 mem=7M894
0.47
0.47 relations being loaded...
0.48
0.48 constraints being loaded...
0.85 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.85 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.85 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.85 => wckTime=0.528 cpuTime=0.37 mem=23M497
0.92
0.92 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.79 cpuTime=0.53 mem=18M158
1.28
1.28 preprocessing
1.28 nbConstraintChecks=85237 nbPropagations=2256 nbRevisions=24356 nbUselessRevisions=19656 nbSingletonTests=439
1.28 nbEffectiveSingletonTests=0 nbESACBranches=15 nbRemovedValues=2690 detectedInconsistency=no
1.28 => wckTime=0.168 cpuTime=0.13 mem=18M158
1.33
1.33 search
1.33 run=0 nbConstraintChecks=9497 nbPropagations=2622 nbRevisions=30569 nbUselessRevisions=25212 nbAssignments=52
1.33 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0 mapSize=2 nbInferences=0
1.33 nbTooLargeKeys=0
1.33 => wckTime=0.213 cpuTime=0.16 mem=19M150
1.37
1.37 search
1.37 run=1 nbConstraintChecks=27604 nbPropagations=6372 nbRevisions=71913 nbUselessRevisions=59890
1.37 nbAssignments=227 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=139 nbRestartNogoods=5 mapSize=5
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.258 cpuTime=0.2 mem=19M150
1.40
1.40 search
1.40 run=2 nbConstraintChecks=40866 nbPropagations=10713 nbRevisions=122103 nbUselessRevisions=102468
1.40 nbAssignments=318 nbFailedAssignments=14 nbBacktracks=61 nbVisitedNodes=234 nbRestartNogoods=8 mapSize=15
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.289 cpuTime=0.23 mem=19M150
1.44
1.44 search
1.44 run=3 nbConstraintChecks=55117 nbPropagations=15857 nbRevisions=181201 nbUselessRevisions=152959
1.44 nbAssignments=467 nbFailedAssignments=19 nbBacktracks=97 nbVisitedNodes=335 nbRestartNogoods=10 mapSize=17
1.44 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.324 cpuTime=0.27 mem=19M150
1.50
1.50 search
1.50 run=4 nbConstraintChecks=89050 nbPropagations=22793 nbRevisions=261545 nbUselessRevisions=222450
1.50 nbAssignments=796 nbFailedAssignments=27 nbBacktracks=149 nbVisitedNodes=450 nbRestartNogoods=15 mapSize=28
1.50 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.389 cpuTime=0.33 mem=19M150
1.55
1.55 search
1.55 run=5 nbConstraintChecks=109495 nbPropagations=30542 nbRevisions=355213 nbUselessRevisions=303729
1.55 nbAssignments=938 nbFailedAssignments=43 nbBacktracks=240 nbVisitedNodes=618 nbRestartNogoods=17 mapSize=52
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.435 cpuTime=0.37 mem=19M150
1.60
1.60 search
1.60 run=6 nbConstraintChecks=131867 nbPropagations=39161 nbRevisions=463218 nbUselessRevisions=397572
1.60 nbAssignments=1091 nbFailedAssignments=64 nbBacktracks=353 nbVisitedNodes=812 nbRestartNogoods=19 mapSize=91
1.60 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.482 cpuTime=0.42 mem=19M150
1.67
1.68 search
1.68 run=7 nbConstraintChecks=177242 nbPropagations=49419 nbRevisions=601594 nbUselessRevisions=518410
1.68 nbAssignments=1346 nbFailedAssignments=90 nbBacktracks=544 nbVisitedNodes=1123 nbRestartNogoods=21 mapSize=144
1.68 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.562 cpuTime=0.49 mem=19M150
1.78
1.78 search
1.78 run=8 nbConstraintChecks=241136 nbPropagations=61861 nbRevisions=783217 nbUselessRevisions=677818
1.78 nbAssignments=1688 nbFailedAssignments=122 nbBacktracks=805 nbVisitedNodes=1526 nbRestartNogoods=24
1.78 mapSize=202 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.667 cpuTime=0.59 mem=20M125
1.96
1.96 search
1.96 run=9 nbConstraintChecks=360628 nbPropagations=78022 nbRevisions=1049180 nbUselessRevisions=913103
1.96 nbAssignments=2186 nbFailedAssignments=194 nbBacktracks=1198 nbVisitedNodes=2167 nbRestartNogoods=29
1.96 mapSize=335 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.842 cpuTime=0.75 mem=20M125
2.15
2.15 search
2.15 run=10 nbConstraintChecks=478239 nbPropagations=98095 nbRevisions=1395529 nbUselessRevisions=1220166
2.15 nbAssignments=2852 nbFailedAssignments=256 nbBacktracks=1774 nbVisitedNodes=2943 nbRestartNogoods=34
2.15 mapSize=441 nbInferences=0 nbTooLargeKeys=0
2.15 => wckTime=1.035 cpuTime=0.93 mem=20M125
2.43
2.43 search
2.43 run=11 nbConstraintChecks=674481 nbPropagations=124672 nbRevisions=1877749 nbUselessRevisions=1649124
2.43 nbAssignments=3899 nbFailedAssignments=369 nbBacktracks=2656 nbVisitedNodes=4184 nbRestartNogoods=38
2.43 mapSize=655 nbInferences=0 nbTooLargeKeys=0
2.43 => wckTime=1.313 cpuTime=1.2 mem=21M100
2.78
2.78 search
2.78 run=12 nbConstraintChecks=908430 nbPropagations=159152 nbRevisions=2523430 nbUselessRevisions=2225226
2.78 nbAssignments=5358 nbFailedAssignments=485 nbBacktracks=3954 nbVisitedNodes=5878 nbRestartNogoods=41
2.78 mapSize=884 nbInferences=0 nbTooLargeKeys=0
2.78 => wckTime=1.669 cpuTime=1.56 mem=22M75
2.97
2.97 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=22M75)
3.29
3.29 search
3.29 run=13 nbConstraintChecks=1301928 nbPropagations=206802 nbRevisions=3437084 nbUselessRevisions=3040936
3.29 nbAssignments=7565 nbFailedAssignments=718 nbBacktracks=5902 nbVisitedNodes=8513 nbRestartNogoods=45
3.29 => wckTime=2.178 cpuTime=2.06 mem=22M75
4.03
4.03 search
4.03 run=14 nbConstraintChecks=1954293 nbPropagations=275482 nbRevisions=4797344 nbUselessRevisions=4257680
4.03 nbAssignments=10855 nbFailedAssignments=1063 nbBacktracks=8829 nbVisitedNodes=12499 nbRestartNogoods=50
4.03 => wckTime=2.919 cpuTime=2.79 mem=22M75
5.30
5.30 search
5.30 run=15 nbConstraintChecks=3149019 nbPropagations=382323 nbRevisions=6993907 nbUselessRevisions=6229143
5.30 nbAssignments=15908 nbFailedAssignments=1700 nbBacktracks=13215 nbVisitedNodes=18778 nbRestartNogoods=53
5.30 => wckTime=4.184 cpuTime=4.04 mem=22M75
7.41
7.41 search
7.41 run=16 nbConstraintChecks=5305831 nbPropagations=556086 nbRevisions=10706951 nbUselessRevisions=9571626
7.41 nbAssignments=23586 nbFailedAssignments=2765 nbBacktracks=19791 nbVisitedNodes=28592 nbRestartNogoods=60
7.41 => wckTime=6.294 cpuTime=6.13 mem=22M75
10.74
10.74 search
10.74 run=17 nbConstraintChecks=8681195 nbPropagations=836916 nbRevisions=16786112 nbUselessRevisions=15048763
10.74 nbAssignments=35126 nbFailedAssignments=4393 nbBacktracks=29643 nbVisitedNodes=43397 nbRestartNogoods=65
10.74 => wckTime=9.63 cpuTime=9.44 mem=22M75
13.78
13.78 search
13.78 run=18 nbConstraintChecks=11769495 nbPropagations=1217502 nbRevisions=25011033 nbUselessRevisions=22459798
13.78 nbAssignments=46092 nbFailedAssignments=6154 nbBacktracks=38315 nbVisitedNodes=57660 nbRestartNogoods=75
13.78 => wckTime=12.666 cpuTime=12.44 mem=22M75
13.78
13.78 global
13.78 nbConstraintChecks=11854732 nbPropagations=1219758 nbRevisions=25035389 nbUselessRevisions=22479454
13.78 nbRestartNogoods=75 solvingWckTime=12.667 solvingCpuTime=12.44 expiredTime=no totalExploration=no
13.78 nbFoundSolutions=1 globalCpuTime=13.03
13.78 => wckTime=13.461 cpuTime=12.97 mem=22M75
13.79
13.79 s SATISFIABLE
13.79 v 19 16 12 0 17 5 1 4 2 6 10 8 9 13 15 18 7 11 14 3 3 11 0 10 8 9 18 17 5 13 7 16 14 12 4 19 6 1 2 15 0 17 11 7 10 1 2 18 15 19 9 13 12 8 6 5 3 14 16 4 18 1 16 4 9 6 7 0 3 14 13 11 5 15 12 10 17 2 8 19 11 8 5 3 6 0 4 15 16 2 19 18 10 9 1 13 14 17 12 7 12 0 9 15 18 7 11 2 19 3 4 6 17 10 14 8 1 16 5 13 1 5 7 6 0 13 17 16 14 18 11 10 3 4 9 2 8 19 15 12 4 2 6 16 13 18 12 3 11 7 15 19 8 14 10 1 9 5 17 0 13 7 8 17 4 2 9 6 12 15 5 14 16 11 18 0 19 3 1 10 2 19 15 8 14 17 5 13 4 10 1 9 6 0 3 12 11 18 7 16 15 12 4 2 3 10 14 8 1 9 0 17 11 7 19 16 13 6 18 5 8 15 17 18 12 11 3 5 10 1 16 7 4 19 13 9 2 0 6 14 6 14 19 5 15 3 8 9 0 12 18 1 7 2 16 4 10 13 11 17 7 10 1 11 19 14 13 12 6 16 8 4 18 3 17 15 5 9 0 2 10 18 14 13 11 12 19 7 17 0 2 5 15 6 8 3 16 4 9 1 17 9 13 19 5 4 15 1 8 11 3 12 2 16 0 14 18 7 10 6 9 13 2 1 16 15 6 10 18 8 14 3 19 5 7 17 0 12 4 11 5 3 18 12 2 8 16 14 7 4 17 0 13 1 11 6 15 10 19 9 14 6 10 9 7 16 0 19 13 5 12 15 1 17 2 11 4 8 3 18 16 4 3 14 1 19 10 11 9 17 6 2 0 18 5 7 12 15 13 8
13.79 d NODES 46092
13.79 d CHECKS 11854732
13.79
13.79 totalWckTime=13.547 totalCpuTime=13.03
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-239744-1168367374 -o ROOT/results/node10/solver-239744-1168367374 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239744-1168367374/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.04 1.42 1.75 4/93 26194
/proc/meminfo: memFree=1718000/2055920 swapFree=4178216/4192956
[pid=26193] ppid=26191 vsize=18540 CPUtime=0
/proc/26193/stat : 26193 (runsolver) R 26191 26193 26034 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 185133148 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26193/statm: 4635 279 244 17 0 2626 0
[startup+0.107059 s]
/proc/loadavg: 1.04 1.42 1.75 4/93 26194
/proc/meminfo: memFree=1718000/2055920 swapFree=4178216/4192956
[pid=26193] ppid=26191 vsize=914988 CPUtime=0.08
/proc/26193/stat : 26193 (java) R 26191 26193 26034 0 -1 0 2978 0 1 0 7 1 0 0 19 0 8 0 185133148 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515113 s]
/proc/loadavg: 1.04 1.42 1.75 4/93 26194
/proc/meminfo: memFree=1718000/2055920 swapFree=4178216/4192956
[pid=26193] ppid=26191 vsize=915328 CPUtime=0.49
/proc/26193/stat : 26193 (java) R 26191 26193 26034 0 -1 0 6415 0 1 0 45 4 0 0 18 0 8 0 185133148 937295872 6154 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228832 6154 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33622 s]
/proc/loadavg: 1.04 1.42 1.75 4/100 26201
/proc/meminfo: memFree=1682040/2055920 swapFree=4178216/4192956
[pid=26193] ppid=26191 vsize=915676 CPUtime=1.3
/proc/26193/stat : 26193 (java) R 26191 26193 26034 0 -1 0 11704 0 1 0 122 8 0 0 23 0 8 0 185133148 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228919 11442 2524 14 0 215389 0
[pid=26193/tid=26195] ppid=26191 vsize=915676 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 26034 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185133152 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 26034 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 185133152 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 26034 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185133152 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 26034 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185133156 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915676 CPUtime=0.26
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 26034 0 -1 64 466 0 0 0 25 1 0 0 15 0 8 0 185133156 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185133156 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185133156 937652224 11442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915676
[startup+2.97344 s]
/proc/loadavg: 1.04 1.42 1.75 3/100 26201
/proc/meminfo: memFree=1681848/2055920 swapFree=4178216/4192956
[pid=26193] ppid=26191 vsize=915676 CPUtime=2.91
/proc/26193/stat : 26193 (java) R 26191 26193 26034 0 -1 0 11725 0 1 0 283 8 0 0 25 0 8 0 185133148 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073959015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228919 11461 2524 14 0 215389 0
[pid=26193/tid=26195] ppid=26191 vsize=915676 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 26034 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 185133152 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 26034 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 185133152 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 26034 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185133152 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 26034 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185133156 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915676 CPUtime=0.31
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 26034 0 -1 64 485 0 0 0 30 1 0 0 15 0 8 0 185133156 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185133156 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185133156 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915676
[startup+6.17988 s]
/proc/loadavg: 1.12 1.43 1.75 3/100 26201
/proc/meminfo: memFree=1681848/2055920 swapFree=4178216/4192956
[pid=26193] ppid=26191 vsize=915676 CPUtime=6.1
/proc/26193/stat : 26193 (java) R 26191 26193 26034 0 -1 0 11727 0 1 0 601 9 0 0 25 0 8 0 185133148 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228919 11462 2524 14 0 215389 0
[pid=26193/tid=26195] ppid=26191 vsize=915676 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 26034 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185133152 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 26034 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 185133152 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 26034 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185133152 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 26034 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185133156 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915676 CPUtime=0.31
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 26034 0 -1 64 486 0 0 0 30 1 0 0 17 0 8 0 185133156 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185133156 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185133156 937652224 11462 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) 915676
[startup+12.6538 s]
/proc/loadavg: 1.25 1.45 1.75 3/100 26201
/proc/meminfo: memFree=1681912/2055920 swapFree=4178216/4192956
[pid=26193] ppid=26191 vsize=915676 CPUtime=12.51
/proc/26193/stat : 26193 (java) R 26191 26193 26034 0 -1 0 11727 0 1 0 1242 9 0 0 25 0 8 0 185133148 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228919 11462 2524 14 0 215389 0
[pid=26193/tid=26195] ppid=26191 vsize=915676 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 26034 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185133152 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 26034 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 185133152 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 26034 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185133152 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 26034 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185133156 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915676 CPUtime=0.31
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 26034 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 185133156 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185133156 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915676 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 26034 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185133156 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 13.8404
CPU time (s): 13.6459
CPU user time (s): 13.5459
CPU system time (s): 0.099984
CPU usage (%): 98.5947
Max. virtual memory (cumulated for all children) (KiB): 915680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5459
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11738
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= 1641
involuntary context switches= 2110
runsolver used 0.016997 s user time and 0.05999 s system time
The end
Begin job on node10 on Tue Jan 9 18:29:36 UTC 2007
IDJOB= 239744
IDBENCH= 7081
FILE ID= node10/239744-1168367374
PBS_JOBID= 3503804
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239744-1168367374/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-239744-1168367374 -o ROOT/results/node10/solver-239744-1168367374 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239744-1168367374/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4821665824e2ba854c39f041c8d07da7
RANDOM SEED= 791931138
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.232
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.232
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: 1718416 kB
Buffers: 55080 kB
Cached: 139116 kB
SwapCached: 2596 kB
Active: 174860 kB
Inactive: 106192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1718416 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 2376 kB
Writeback: 0 kB
Mapped: 105940 kB
Slab: 41028 kB
Committed_AS: 6042048 kB
PageTables: 2372 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= 66558 MiB
End job on node10 on Tue Jan 9 18:29:54 UTC 2007