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/231123-1168317581/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.56
0.56 constraints being loaded...
0.70 nbConstraints=496 nbRelationTypes=496 nbExtensionStructures=496 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=496 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5010 maxDegree=30
0.70 maxArity=2
0.70 => wckTime=0.387 cpuTime=0.29 mem=15M859
0.75
0.75 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.596 cpuTime=0.43 mem=15M491
0.97
0.97 preprocessing
0.97 nbConstraintChecks=89644 nbPropagations=1105 nbRevisions=9239 nbUselessRevisions=7791 nbSingletonTests=58
0.97 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.97 => wckTime=0.058 cpuTime=0.03 mem=15M491
1.00
1.00 search
1.00 run=0 nbConstraintChecks=53383 nbPropagations=1692 nbRevisions=17516 nbUselessRevisions=14691 nbAssignments=26
1.00 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=12 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.089 cpuTime=0.06 mem=15M491
1.03
1.03 search
1.03 run=1 nbConstraintChecks=123701 nbPropagations=4086 nbRevisions=44980 nbUselessRevisions=37577
1.03 nbAssignments=60 nbFailedAssignments=21 nbBacktracks=27 nbVisitedNodes=101 nbRestartNogoods=2 mapSize=25
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.112 cpuTime=0.07 mem=15M491
1.05
1.05 search
1.05 run=2 nbConstraintChecks=224439 nbPropagations=7536 nbRevisions=87932 nbUselessRevisions=73299
1.05 nbAssignments=104 nbFailedAssignments=38 nbBacktracks=49 nbVisitedNodes=181 nbRestartNogoods=7 mapSize=47
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.13 cpuTime=0.09 mem=15M491
1.07
1.07 search
1.07 run=3 nbConstraintChecks=358793 nbPropagations=12278 nbRevisions=152659 nbUselessRevisions=126960
1.07 nbAssignments=172 nbFailedAssignments=68 nbBacktracks=84 nbVisitedNodes=299 nbRestartNogoods=11 mapSize=77
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.155 cpuTime=0.11 mem=15M491
1.11
1.11 search
1.11 run=4 nbConstraintChecks=558540 nbPropagations=18916 nbRevisions=247782 nbUselessRevisions=205684
1.11 nbAssignments=266 nbFailedAssignments=109 nbBacktracks=134 nbVisitedNodes=465 nbRestartNogoods=12 mapSize=123
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.191 cpuTime=0.15 mem=15M491
1.17
1.17 search
1.17 run=5 nbConstraintChecks=865341 nbPropagations=28429 nbRevisions=391293 nbUselessRevisions=324091
1.17 nbAssignments=414 nbFailedAssignments=178 nbBacktracks=209 nbVisitedNodes=732 nbRestartNogoods=16 mapSize=195
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.252 cpuTime=0.2 mem=15M491
1.25
1.25 search
1.25 run=6 nbConstraintChecks=1364141 nbPropagations=42494 nbRevisions=609179 nbUselessRevisions=503283
1.25 nbAssignments=629 nbFailedAssignments=274 nbBacktracks=323 nbVisitedNodes=1127 nbRestartNogoods=23 mapSize=303
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.332 cpuTime=0.27 mem=15M491
1.35
1.35 search
1.35 run=7 nbConstraintChecks=1994921 nbPropagations=62544 nbRevisions=926467 nbUselessRevisions=764304
1.35 nbAssignments=941 nbFailedAssignments=409 nbBacktracks=494 nbVisitedNodes=1679 nbRestartNogoods=29 mapSize=457
1.35 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.438 cpuTime=0.38 mem=15M491
1.52
1.52 search
1.52 run=8 nbConstraintChecks=3062549 nbPropagations=92424 nbRevisions=1403196 nbUselessRevisions=1155107
1.52 nbAssignments=1425 nbFailedAssignments=632 nbBacktracks=751 nbVisitedNodes=2562 nbRestartNogoods=37
1.52 mapSize=702 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.606 cpuTime=0.54 mem=15M491
1.75
1.75 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=15M491)
1.77
1.77 search
1.77 run=9 nbConstraintChecks=4585953 nbPropagations=136207 nbRevisions=2114855 nbUselessRevisions=1739029
1.77 nbAssignments=2129 nbFailedAssignments=948 nbBacktracks=1135 nbVisitedNodes=3843 nbRestartNogoods=44
1.77 => wckTime=0.852 cpuTime=0.77 mem=15M491
2.13
2.13 search
2.13 run=10 nbConstraintChecks=7103474 nbPropagations=202497 nbRevisions=3219340 nbUselessRevisions=2646723
2.13 nbAssignments=3237 nbFailedAssignments=1475 nbBacktracks=1711 nbVisitedNodes=5875 nbRestartNogoods=51
2.13 => wckTime=1.21 cpuTime=1.11 mem=15M491
2.64
2.64 search
2.64 run=11 nbConstraintChecks=10781906 nbPropagations=301468 nbRevisions=4887654 nbUselessRevisions=4017862
2.64 nbAssignments=4870 nbFailedAssignments=2239 nbBacktracks=2576 nbVisitedNodes=8876 nbRestartNogoods=58
2.64 => wckTime=1.72 cpuTime=1.62 mem=15M491
3.36
3.36 search
3.36 run=12 nbConstraintChecks=15940018 nbPropagations=448352 nbRevisions=7369182 nbUselessRevisions=6058677
3.36 nbAssignments=7341 nbFailedAssignments=3410 nbBacktracks=3873 nbVisitedNodes=13425 nbRestartNogoods=67
3.36 => wckTime=2.441 cpuTime=2.33 mem=15M491
4.46
4.46 search
4.46 run=13 nbConstraintChecks=24040350 nbPropagations=668613 nbRevisions=11063191 nbUselessRevisions=9090379
4.46 nbAssignments=11063 nbFailedAssignments=5182 nbBacktracks=5820 nbVisitedNodes=20206 nbRestartNogoods=70
4.46 => wckTime=3.55 cpuTime=3.43 mem=15M491
6.07
6.07 search
6.07 run=14 nbConstraintChecks=35795521 nbPropagations=995826 nbRevisions=16570382 nbUselessRevisions=13613968
6.07 nbAssignments=16509 nbFailedAssignments=7703 nbBacktracks=8740 nbVisitedNodes=30137 nbRestartNogoods=82
6.07 => wckTime=5.159 cpuTime=5.02 mem=15M491
8.52
8.52 search
8.52 run=15 nbConstraintChecks=53435369 nbPropagations=1484779 nbRevisions=24852668 nbUselessRevisions=20425350
8.52 nbAssignments=24706 nbFailedAssignments=11505 nbBacktracks=13118 nbVisitedNodes=45097 nbRestartNogoods=96
8.52 => wckTime=7.602 cpuTime=7.44 mem=15M491
12.19
12.19 search
12.19 run=16 nbConstraintChecks=80096513 nbPropagations=2217096 nbRevisions=37326225 nbUselessRevisions=30694656
12.19 nbAssignments=36935 nbFailedAssignments=17148 nbBacktracks=19686 nbVisitedNodes=67431 nbRestartNogoods=109
12.19 => wckTime=11.271 cpuTime=11.09 mem=15M491
17.73
17.73 search
17.73 run=17 nbConstraintChecks=120248232 nbPropagations=3312873 nbRevisions=55953075 nbUselessRevisions=46030506
17.73 nbAssignments=55190 nbFailedAssignments=25537 nbBacktracks=29538 nbVisitedNodes=100769 nbRestartNogoods=130
17.73 => wckTime=16.812 cpuTime=16.59 mem=15M491
26.19
26.19 search
26.19 run=18 nbConstraintChecks=181174802 nbPropagations=4968490 nbRevisions=84228565 nbUselessRevisions=69323520
26.19 nbAssignments=83120 nbFailedAssignments=38686 nbBacktracks=44316 nbVisitedNodes=151923 nbRestartNogoods=145
26.19 => wckTime=25.276 cpuTime=24.98 mem=15M491
38.84
38.84 search
38.84 run=19 nbConstraintChecks=273539520 nbPropagations=7456047 nbRevisions=126587832 nbUselessRevisions=104196555
38.84 nbAssignments=125083 nbFailedAssignments=58475 nbBacktracks=66485 nbVisitedNodes=228868 nbRestartNogoods=148
38.84 => wckTime=37.929 cpuTime=37.52 mem=15M491
58.06
58.06 search
58.06 run=20 nbConstraintChecks=413655425 nbPropagations=11207691 nbRevisions=190767897 nbUselessRevisions=157082270
58.06 nbAssignments=187775 nbFailedAssignments=87909 nbBacktracks=99738 nbVisitedNodes=343884 nbRestartNogoods=160
58.06 => wckTime=57.141 cpuTime=56.56 mem=15M491
77.39
77.39 search
77.39 run=21 nbConstraintChecks=556194486 nbPropagations=16220542 nbRevisions=276779616 nbUselessRevisions=227989310
77.39 nbAssignments=250558 nbFailedAssignments=117662 nbBacktracks=132769 nbVisitedNodes=459200 nbRestartNogoods=167
77.39 => wckTime=76.478 cpuTime=75.73 mem=16M466
77.40
77.40 global
77.40 nbConstraintChecks=556284130 nbPropagations=16221647 nbRevisions=276788855 nbUselessRevisions=227997101
77.40 nbRestartNogoods=167 solvingWckTime=76.479 solvingCpuTime=75.73 expiredTime=no totalExploration=yes
77.40 nbFoundSolutions=0 globalCpuTime=76.2
77.40 => wckTime=77.079 cpuTime=76.16 mem=16M466
77.40
77.40 s UNSATISFIABLE
77.40 d NODES 250558
77.40 d CHECKS 556284130
77.40
77.40 totalWckTime=77.162 totalCpuTime=76.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-231123-1168317581 -o ROOT/results/node45/solver-231123-1168317581 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231123-1168317581/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.61 1.85 1.91 5/75 15386
/proc/meminfo: memFree=1478904/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=18540 CPUtime=0
/proc/15385/stat : 15385 (runsolver) R 15383 15385 14380 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 180157728 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258936471026 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15385/statm: 4635 279 244 17 0 2626 0
[startup+0.10741 s]
/proc/loadavg: 1.61 1.85 1.91 5/75 15386
/proc/meminfo: memFree=1478904/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=914988 CPUtime=0.09
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 3004 0 1 0 8 1 0 0 17 0 8 0 180157728 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153804959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515483 s]
/proc/loadavg: 1.61 1.85 1.91 5/75 15386
/proc/meminfo: memFree=1478904/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=915328 CPUtime=0.49
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 6772 0 1 0 46 3 0 0 18 0 8 0 180157728 937295872 6511 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228832 6511 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33863 s]
/proc/loadavg: 1.61 1.85 1.91 4/82 15393
/proc/meminfo: memFree=1452800/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=915548 CPUtime=1.31
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 9234 0 1 0 125 6 0 0 19 0 8 0 180157728 937521152 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228887 8972 2524 14 0 215357 0
[pid=15385/tid=15387] ppid=15383 vsize=915548 CPUtime=0.03
/proc/15385/task/15387/stat : 15387 (java) S 15383 15385 14380 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180157732 937521152 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15388] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15388/stat : 15388 (java) S 15383 15385 14380 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180157732 937521152 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15389] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15389/stat : 15389 (java) S 15383 15385 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180157732 937521152 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15390] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15390/stat : 15390 (java) S 15383 15385 14380 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180157735 937521152 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15391] ppid=15383 vsize=915548 CPUtime=0.22
/proc/15385/task/15391/stat : 15391 (java) S 15383 15385 14380 0 -1 64 382 0 0 0 21 1 0 0 17 0 8 0 180157735 937521152 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15392] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15392/stat : 15392 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180157735 937521152 8972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15393] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15393/stat : 15393 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180157735 937521152 8972 18446744073709551615 134512640 134570532 4294956480 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) 915548
[startup+2.99193 s]
/proc/loadavg: 1.61 1.85 1.91 3/82 15393
/proc/meminfo: memFree=1452672/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=915548 CPUtime=2.95
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 9252 0 1 0 289 6 0 0 25 0 8 0 180157728 937521152 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828981 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228887 8989 2524 14 0 215357 0
[pid=15385/tid=15387] ppid=15383 vsize=915548 CPUtime=0.03
/proc/15385/task/15387/stat : 15387 (java) S 15383 15385 14380 0 -1 64 385 0 0 0 3 0 0 0 17 0 8 0 180157732 937521152 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15388] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15388/stat : 15388 (java) S 15383 15385 14380 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180157732 937521152 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15389] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15389/stat : 15389 (java) S 15383 15385 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180157732 937521152 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15390] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15390/stat : 15390 (java) S 15383 15385 14380 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180157735 937521152 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15391] ppid=15383 vsize=915548 CPUtime=0.25
/proc/15385/task/15391/stat : 15391 (java) S 15383 15385 14380 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 180157735 937521152 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15392] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15392/stat : 15392 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180157735 937521152 8989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15393] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15393/stat : 15393 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180157735 937521152 8989 18446744073709551615 134512640 134570532 4294956480 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) 915548
[startup+6.27752 s]
/proc/loadavg: 1.64 1.86 1.91 3/82 15393
/proc/meminfo: memFree=1452672/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=915548 CPUtime=6.2
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 9255 0 1 0 614 6 0 0 25 0 8 0 180157728 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228887 8990 2524 14 0 215357 0
[pid=15385/tid=15387] ppid=15383 vsize=915548 CPUtime=0.03
/proc/15385/task/15387/stat : 15387 (java) S 15383 15385 14380 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15388] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15388/stat : 15388 (java) S 15383 15385 14380 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15389] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15389/stat : 15389 (java) S 15383 15385 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15390] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15390/stat : 15390 (java) S 15383 15385 14380 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15391] ppid=15383 vsize=915548 CPUtime=0.25
/proc/15385/task/15391/stat : 15391 (java) S 15383 15385 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15392] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15392/stat : 15392 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15393] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15393/stat : 15393 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 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) 915548
[startup+12.7627 s]
/proc/loadavg: 1.67 1.86 1.91 3/82 15393
/proc/meminfo: memFree=1452672/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=915548 CPUtime=12.63
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 9255 0 1 0 1257 6 0 0 25 0 8 0 180157728 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228887 8990 2524 14 0 215357 0
[pid=15385/tid=15387] ppid=15383 vsize=915548 CPUtime=0.03
/proc/15385/task/15387/stat : 15387 (java) S 15383 15385 14380 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15388] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15388/stat : 15388 (java) S 15383 15385 14380 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15389] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15389/stat : 15389 (java) S 15383 15385 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15390] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15390/stat : 15390 (java) S 15383 15385 14380 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15391] ppid=15383 vsize=915548 CPUtime=0.25
/proc/15385/task/15391/stat : 15391 (java) S 15383 15385 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15392] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15392/stat : 15392 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15393] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15393/stat : 15393 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915548
[startup+25.617 s]
/proc/loadavg: 1.72 1.86 1.91 3/82 15393
/proc/meminfo: memFree=1452672/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=915548 CPUtime=25.38
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 9255 0 1 0 2532 6 0 0 25 0 8 0 180157728 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228887 8990 2524 14 0 215357 0
[pid=15385/tid=15387] ppid=15383 vsize=915548 CPUtime=0.03
/proc/15385/task/15387/stat : 15387 (java) S 15383 15385 14380 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15388] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15388/stat : 15388 (java) S 15383 15385 14380 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15389] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15389/stat : 15389 (java) S 15383 15385 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15390] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15390/stat : 15390 (java) S 15383 15385 14380 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15391] ppid=15383 vsize=915548 CPUtime=0.25
/proc/15385/task/15391/stat : 15391 (java) S 15383 15385 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15392] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15392/stat : 15392 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15393] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15393/stat : 15393 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915548
[startup+51.2327 s]
/proc/loadavg: 1.83 1.87 1.91 4/82 15393
/proc/meminfo: memFree=1452800/2055920 swapFree=4184048/4192956
[pid=15385] ppid=15383 vsize=915548 CPUtime=50.76
/proc/15385/stat : 15385 (java) R 15383 15385 14380 0 -1 0 9255 0 1 0 5070 6 0 0 25 0 8 0 180157728 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15385/statm: 228887 8990 2524 14 0 215357 0
[pid=15385/tid=15387] ppid=15383 vsize=915548 CPUtime=0.03
/proc/15385/task/15387/stat : 15387 (java) S 15383 15385 14380 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15388] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15388/stat : 15388 (java) S 15383 15385 14380 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15389] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15389/stat : 15389 (java) S 15383 15385 14380 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180157732 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15390] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15390/stat : 15390 (java) S 15383 15385 14380 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15391] ppid=15383 vsize=915548 CPUtime=0.25
/proc/15385/task/15391/stat : 15391 (java) S 15383 15385 14380 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15392] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15392/stat : 15392 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15385/tid=15393] ppid=15383 vsize=915548 CPUtime=0
/proc/15385/task/15393/stat : 15393 (java) S 15383 15385 14380 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180157735 937521152 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915548
Child status: 0
Real time (s): 77.4464
CPU time (s): 76.7243
CPU user time (s): 76.6523
CPU system time (s): 0.071989
CPU usage (%): 99.0676
Max. virtual memory (cumulated for all children) (KiB): 915548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.6523
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9264
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= 2446
involuntary context switches= 4165
runsolver used 0.110983 s user time and 0.249962 s system time
The end
Begin job on node45 on Tue Jan 9 04:39:43 UTC 2007
IDJOB= 231123
IDBENCH= 6450
FILE ID= node45/231123-1168317581
PBS_JOBID= 3502435
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-94_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231123-1168317581/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-231123-1168317581 -o ROOT/results/node45/solver-231123-1168317581 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231123-1168317581/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d3591a27f1534e5d39a514212d4fb4fe
RANDOM SEED= 186510419
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.259
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.259
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: 1479320 kB
Buffers: 67764 kB
Cached: 432336 kB
SwapCached: 3168 kB
Active: 183400 kB
Inactive: 334984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1479320 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 2044 kB
Writeback: 0 kB
Mapped: 25468 kB
Slab: 43612 kB
Committed_AS: 3702660 kB
PageTables: 1780 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= 66552 MiB
End job on node45 on Tue Jan 9 04:41:06 UTC 2007