0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/232015-1168319396/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.49 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.59
0.59 constraints being loaded...
0.71 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=883 maxDegree=24
0.71 maxArity=2
0.71 => wckTime=0.314 cpuTime=0.24 mem=13M778
0.75
0.75 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.508 cpuTime=0.37 mem=15M170
0.95
0.95 preprocessing
0.95 nbConstraintChecks=56910 nbPropagations=672 nbRevisions=6907 nbUselessRevisions=6077 nbSingletonTests=33
0.95 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.95 => wckTime=0.042 cpuTime=0.02 mem=15M170
0.97
0.97 search
0.97 run=0 nbConstraintChecks=37759 nbPropagations=1152 nbRevisions=14858 nbUselessRevisions=12997 nbAssignments=26
0.97 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.064 cpuTime=0.04 mem=15M170
0.99
0.99 search
0.99 run=1 nbConstraintChecks=83470 nbPropagations=2869 nbRevisions=39609 nbUselessRevisions=34578 nbAssignments=61
0.99 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=107 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.081 cpuTime=0.05 mem=15M170
1.00
1.00 search
1.00 run=2 nbConstraintChecks=157883 nbPropagations=5424 nbRevisions=80197 nbUselessRevisions=69881
1.00 nbAssignments=111 nbFailedAssignments=47 nbBacktracks=47 nbVisitedNodes=197 nbRestartNogoods=5 mapSize=47
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.101 cpuTime=0.07 mem=15M170
1.03
1.03 search
1.03 run=3 nbConstraintChecks=249015 nbPropagations=9049 nbRevisions=140734 nbUselessRevisions=122512
1.03 nbAssignments=181 nbFailedAssignments=79 nbBacktracks=80 nbVisitedNodes=322 nbRestartNogoods=7 mapSize=79
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.124 cpuTime=0.09 mem=15M170
1.06
1.06 search
1.06 run=4 nbConstraintChecks=387900 nbPropagations=14316 nbRevisions=232822 nbUselessRevisions=202581
1.06 nbAssignments=290 nbFailedAssignments=133 nbBacktracks=131 nbVisitedNodes=523 nbRestartNogoods=9 mapSize=129
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.152 cpuTime=0.12 mem=15M170
1.10
1.10 search
1.10 run=5 nbConstraintChecks=639941 nbPropagations=22181 nbRevisions=378656 nbUselessRevisions=329343
1.10 nbAssignments=451 nbFailedAssignments=213 nbBacktracks=207 nbVisitedNodes=823 nbRestartNogoods=10 mapSize=202
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.2 cpuTime=0.16 mem=15M170
1.16
1.16 search
1.16 run=6 nbConstraintChecks=954665 nbPropagations=33531 nbRevisions=594371 nbUselessRevisions=517058
1.16 nbAssignments=673 nbFailedAssignments=317 nbBacktracks=320 nbVisitedNodes=1232 nbRestartNogoods=19 mapSize=310
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.258 cpuTime=0.22 mem=15M170
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1451198 nbPropagations=50165 nbRevisions=920640 nbUselessRevisions=800946
1.25 nbAssignments=1022 nbFailedAssignments=491 nbBacktracks=490 nbVisitedNodes=1878 nbRestartNogoods=21
1.25 mapSize=475 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.346 cpuTime=0.3 mem=15M170
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2123890 nbPropagations=74327 nbRevisions=1398148 nbUselessRevisions=1216274
1.38 nbAssignments=1528 nbFailedAssignments=734 nbBacktracks=748 nbVisitedNodes=2810 nbRestartNogoods=31
1.38 mapSize=724 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.479 cpuTime=0.42 mem=15M170
1.51
1.51 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=15M170)
1.54
1.54 search
1.54 run=9 nbConstraintChecks=3091961 nbPropagations=109449 nbRevisions=2094945 nbUselessRevisions=1822024
1.54 nbAssignments=2266 nbFailedAssignments=1082 nbBacktracks=1134 nbVisitedNodes=4174 nbRestartNogoods=41
1.54 => wckTime=0.634 cpuTime=0.57 mem=15M170
1.78
1.78 search
1.78 run=10 nbConstraintChecks=4672816 nbPropagations=161579 nbRevisions=3146311 nbUselessRevisions=2737577
1.78 nbAssignments=3372 nbFailedAssignments=1607 nbBacktracks=1710 nbVisitedNodes=6234 nbRestartNogoods=49
1.78 => wckTime=0.873 cpuTime=0.79 mem=15M170
2.12
2.12 search
2.12 run=11 nbConstraintChecks=7055137 nbPropagations=239614 nbRevisions=4734831 nbUselessRevisions=4122007
2.12 nbAssignments=5043 nbFailedAssignments=2408 nbBacktracks=2574 nbVisitedNodes=9349 nbRestartNogoods=64
2.12 => wckTime=1.216 cpuTime=1.13 mem=15M170
2.67
2.67 search
2.67 run=12 nbConstraintChecks=10726794 nbPropagations=356993 nbRevisions=7138934 nbUselessRevisions=6217045
2.67 nbAssignments=7577 nbFailedAssignments=3639 nbBacktracks=3871 nbVisitedNodes=14081 nbRestartNogoods=76
2.67 => wckTime=1.765 cpuTime=1.68 mem=15M170
3.49
3.49 search
3.49 run=13 nbConstraintChecks=16107853 nbPropagations=532421 nbRevisions=10743910 nbUselessRevisions=9357069
3.49 nbAssignments=11364 nbFailedAssignments=5463 nbBacktracks=5817 nbVisitedNodes=21106 nbRestartNogoods=82
3.49 => wckTime=2.584 cpuTime=2.5 mem=15M170
4.70
4.70 search
4.70 run=14 nbConstraintChecks=24034908 nbPropagations=794196 nbRevisions=16135164 nbUselessRevisions=14055128
4.70 nbAssignments=17068 nbFailedAssignments=8244 nbBacktracks=8736 nbVisitedNodes=31717 nbRestartNogoods=98
4.70 => wckTime=3.798 cpuTime=3.71 mem=15M170
6.56
6.56 search
6.56 run=15 nbConstraintChecks=36369704 nbPropagations=1186913 nbRevisions=24269782 nbUselessRevisions=21144240
6.56 nbAssignments=25552 nbFailedAssignments=12345 nbBacktracks=13115 nbVisitedNodes=47522 nbRestartNogoods=111
6.56 => wckTime=5.653 cpuTime=5.57 mem=15M170
9.34
9.34 search
9.34 run=16 nbConstraintChecks=54966571 nbPropagations=1777271 nbRevisions=36532538 nbUselessRevisions=31830740
9.34 nbAssignments=38402 nbFailedAssignments=18621 nbBacktracks=19683 nbVisitedNodes=71452 nbRestartNogoods=135
9.34 => wckTime=8.434 cpuTime=8.35 mem=15M170
13.44
13.44 search
13.44 run=17 nbConstraintChecks=82158968 nbPropagations=2661108 nbRevisions=54896024 nbUselessRevisions=47835304
13.44 nbAssignments=57590 nbFailedAssignments=27953 nbBacktracks=29535 nbVisitedNodes=107230 nbRestartNogoods=142
13.44 => wckTime=12.533 cpuTime=12.44 mem=15M170
19.70
19.70 search
19.70 run=18 nbConstraintChecks=123716906 nbPropagations=3988556 nbRevisions=82540356 nbUselessRevisions=71932570
19.70 nbAssignments=86434 nbFailedAssignments=42012 nbBacktracks=44313 nbVisitedNodes=160960 nbRestartNogoods=156
19.70 => wckTime=18.796 cpuTime=18.69 mem=15M170
28.73
28.73 search
28.73 run=19 nbConstraintChecks=185846991 nbPropagations=5981182 nbRevisions=124071402 nbUselessRevisions=108136979
28.73 nbAssignments=129787 nbFailedAssignments=63192 nbBacktracks=66481 nbVisitedNodes=241778 nbRestartNogoods=177
28.73 => wckTime=27.828 cpuTime=27.68 mem=15M170
42.03
42.04 search
42.04 run=20 nbConstraintChecks=278754959 nbPropagations=8972823 nbRevisions=186463560 nbUselessRevisions=162532078
42.04 nbAssignments=195097 nbFailedAssignments=95233 nbBacktracks=99734 nbVisitedNodes=363547 nbRestartNogoods=197
42.04 => wckTime=41.131 cpuTime=40.93 mem=15M170
62.14
62.14 search
62.14 run=21 nbConstraintChecks=420542151 nbPropagations=13472220 nbRevisions=280498639 nbUselessRevisions=244533317
62.14 nbAssignments=292854 nbFailedAssignments=143108 nbBacktracks=149612 nbVisitedNodes=545878 nbRestartNogoods=226
62.14 => wckTime=61.24 cpuTime=60.96 mem=15M170
92.39
92.39 search
92.39 run=22 nbConstraintChecks=633955597 nbPropagations=20226673 nbRevisions=421940836 nbUselessRevisions=367896647
92.39 nbAssignments=439893 nbFailedAssignments=215323 nbBacktracks=224431 nbVisitedNodes=820111 nbRestartNogoods=245
92.39 => wckTime=91.489 cpuTime=91.06 mem=15M170
137.82
137.82 search
137.82 run=23 nbConstraintChecks=955225086 nbPropagations=30373840 nbRevisions=634650121 nbUselessRevisions=553416894
137.82 nbAssignments=660408 nbFailedAssignments=323605 nbBacktracks=336658 nbVisitedNodes=1231161 nbRestartNogoods=267
137.82 => wckTime=136.918 cpuTime=136.29 mem=15M170
144.80
144.80 search
144.80 run=24 nbConstraintChecks=1004740566 nbPropagations=41040367 nbRevisions=858351478 nbUselessRevisions=748537198
144.80 nbAssignments=694039 nbFailedAssignments=340184 nbBacktracks=353685 nbVisitedNodes=1293975 nbRestartNogoods=289
144.80 => wckTime=143.894 cpuTime=143.23 mem=15M170
144.80
144.80 global
144.80 nbConstraintChecks=1004797476 nbPropagations=41041039 nbRevisions=858358385 nbUselessRevisions=748543275
144.80 nbRestartNogoods=289 solvingWckTime=143.895 solvingCpuTime=143.23 expiredTime=no totalExploration=no
144.80 nbFoundSolutions=1 globalCpuTime=143.66
144.80 => wckTime=144.406 cpuTime=143.62 mem=15M170
144.80
144.80 s SATISFIABLE
144.80 v 12 24 17 18 15 5 10 12 23 19 10 10 22 14 15 22 20 11 3 12 6 12 23 16 14
144.80 d NODES 694039
144.80 d CHECKS 1004797476
144.80
144.80 totalWckTime=144.483 totalCpuTime=143.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-232015-1168319396 -o ROOT/results/node34/solver-232015-1168319396 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232015-1168319396/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.92 0.98 0.99 2/68 27258
/proc/meminfo: memFree=679552/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=1784 CPUtime=0
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 180333389 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/27257/statm: 446 136 102 14 0 91 0
[startup+0.10328 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 27258
/proc/meminfo: memFree=679552/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=913228 CPUtime=0.07
/proc/27257/stat : 27257 (java) D 27255 27257 27159 0 -1 0 2918 0 1 0 6 1 0 0 17 0 8 0 180333389 935145472 2664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27257/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.51531 s]
/proc/loadavg: 0.92 0.98 0.99 2/68 27258
/proc/meminfo: memFree=679552/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915328 CPUtime=0.4
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 6148 0 1 0 36 4 0 0 16 0 8 0 180333389 937295872 5887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27257/statm: 228832 5888 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.34338 s]
/proc/loadavg: 0.92 0.98 0.99 2/75 27268
/proc/meminfo: memFree=655368/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915456 CPUtime=1.24
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 8764 0 1 0 117 7 0 0 17 0 8 0 180333389 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27257/statm: 228864 8502 2524 14 0 215334 0
[pid=27257/tid=27259] ppid=27255 vsize=915456 CPUtime=0.03
/proc/27257/task/27259/stat : 27259 (java) S 27255 27257 27159 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180333393 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27260] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27260/stat : 27260 (java) S 27255 27257 27159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180333394 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27261] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27261/stat : 27261 (java) S 27255 27257 27159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180333394 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27262] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27262/stat : 27262 (java) S 27255 27257 27159 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180333397 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27263] ppid=27255 vsize=915456 CPUtime=0.18
/proc/27257/task/27263/stat : 27263 (java) S 27255 27257 27159 0 -1 64 376 0 0 0 17 1 0 0 15 0 8 0 180333397 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27264] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27264/stat : 27264 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180333397 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27265] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27265/stat : 27265 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180333397 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915456
[startup+2.97951 s]
/proc/loadavg: 0.93 0.98 0.99 2/75 27310
/proc/meminfo: memFree=654792/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915456 CPUtime=2.86
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 8780 0 1 0 279 7 0 0 18 0 8 0 180333389 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27257/statm: 228864 8517 2524 14 0 215334 0
[pid=27257/tid=27259] ppid=27255 vsize=915456 CPUtime=0.03
/proc/27257/task/27259/stat : 27259 (java) S 27255 27257 27159 0 -1 64 323 0 0 0 3 0 0 0 17 0 8 0 180333393 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27260] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27260/stat : 27260 (java) S 27255 27257 27159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180333394 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27261] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27261/stat : 27261 (java) S 27255 27257 27159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180333394 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27262] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27262/stat : 27262 (java) S 27255 27257 27159 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27263] ppid=27255 vsize=915456 CPUtime=0.21
/proc/27257/task/27263/stat : 27263 (java) S 27255 27257 27159 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27264] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27264/stat : 27264 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27265] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27265/stat : 27265 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915456
[startup+6.25878 s]
/proc/loadavg: 0.93 0.98 0.99 3/88 27324
/proc/meminfo: memFree=643744/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915456 CPUtime=6.14
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 8781 0 1 0 607 7 0 0 25 0 8 0 180333389 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27257/statm: 228864 8517 2524 14 0 215334 0
[pid=27257/tid=27259] ppid=27255 vsize=915456 CPUtime=0.03
/proc/27257/task/27259/stat : 27259 (java) S 27255 27257 27159 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180333393 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27260] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27260/stat : 27260 (java) S 27255 27257 27159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180333394 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27261] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27261/stat : 27261 (java) S 27255 27257 27159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180333394 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27262] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27262/stat : 27262 (java) S 27255 27257 27159 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27263] ppid=27255 vsize=915456 CPUtime=0.21
/proc/27257/task/27263/stat : 27263 (java) S 27255 27257 27159 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27264] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27264/stat : 27264 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27265] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27265/stat : 27265 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180333397 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915456
[startup+12.7433 s]
/proc/loadavg: 1.09 1.02 1.01 3/88 27324
/proc/meminfo: memFree=643872/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915456 CPUtime=12.62
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 8782 0 1 0 1255 7 0 0 25 0 8 0 180333389 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27257/statm: 228864 8518 2524 14 0 215334 0
[pid=27257/tid=27259] ppid=27255 vsize=915456 CPUtime=0.03
/proc/27257/task/27259/stat : 27259 (java) S 27255 27257 27159 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180333393 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27260] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27260/stat : 27260 (java) S 27255 27257 27159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180333394 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27261] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27261/stat : 27261 (java) S 27255 27257 27159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180333394 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27262] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27262/stat : 27262 (java) S 27255 27257 27159 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180333397 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27263] ppid=27255 vsize=915456 CPUtime=0.21
/proc/27257/task/27263/stat : 27263 (java) S 27255 27257 27159 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 180333397 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27264] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27264/stat : 27264 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180333397 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27265] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27265/stat : 27265 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180333397 937426944 8518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.5903 s]
/proc/loadavg: 1.15 1.03 1.01 3/80 27401
/proc/meminfo: memFree=652064/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915456 CPUtime=25.43
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 8787 0 1 0 2536 7 0 0 25 0 8 0 180333389 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27257/statm: 228864 8522 2524 14 0 215334 0
[pid=27257/tid=27259] ppid=27255 vsize=915456 CPUtime=0.03
/proc/27257/task/27259/stat : 27259 (java) S 27255 27257 27159 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180333393 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27260] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27260/stat : 27260 (java) S 27255 27257 27159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180333394 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27261] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27261/stat : 27261 (java) S 27255 27257 27159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180333394 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27262] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27262/stat : 27262 (java) S 27255 27257 27159 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180333397 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27263] ppid=27255 vsize=915456 CPUtime=0.21
/proc/27257/task/27263/stat : 27263 (java) S 27255 27257 27159 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 180333397 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27264] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27264/stat : 27264 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180333397 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27265] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27265/stat : 27265 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180333397 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915456
[startup+51.2884 s]
/proc/loadavg: 1.44 1.11 1.03 3/82 27411
/proc/meminfo: memFree=649296/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915456 CPUtime=51.03
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 8793 0 1 0 5095 8 0 0 25 0 8 0 180333389 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790833 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27257/statm: 228864 8528 2524 14 0 215334 0
[pid=27257/tid=27259] ppid=27255 vsize=915456 CPUtime=0.03
/proc/27257/task/27259/stat : 27259 (java) S 27255 27257 27159 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180333393 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27260] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27260/stat : 27260 (java) S 27255 27257 27159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180333394 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27261] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27261/stat : 27261 (java) S 27255 27257 27159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180333394 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27262] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27262/stat : 27262 (java) S 27255 27257 27159 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180333397 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27263] ppid=27255 vsize=915456 CPUtime=0.21
/proc/27257/task/27263/stat : 27263 (java) S 27255 27257 27159 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 180333397 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27264] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27264/stat : 27264 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180333397 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27265] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27265/stat : 27265 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180333397 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915456
[startup+102.583 s]
/proc/loadavg: 1.77 1.26 1.09 3/82 27411
/proc/meminfo: memFree=649296/2055920 swapFree=4192812/4192956
[pid=27257] ppid=27255 vsize=915456 CPUtime=102.09
/proc/27257/stat : 27257 (java) R 27255 27257 27159 0 -1 0 8798 0 1 0 10201 8 0 0 25 0 8 0 180333389 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27257/statm: 228864 8533 2524 14 0 215334 0
[pid=27257/tid=27259] ppid=27255 vsize=915456 CPUtime=0.03
/proc/27257/task/27259/stat : 27259 (java) S 27255 27257 27159 0 -1 64 323 0 0 0 3 0 0 0 16 0 8 0 180333393 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27257/tid=27260] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27260/stat : 27260 (java) S 27255 27257 27159 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180333394 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27261] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27261/stat : 27261 (java) S 27255 27257 27159 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180333394 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27262] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27262/stat : 27262 (java) S 27255 27257 27159 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 180333397 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27263] ppid=27255 vsize=915456 CPUtime=0.21
/proc/27257/task/27263/stat : 27263 (java) S 27255 27257 27159 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 180333397 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27264] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27264/stat : 27264 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180333397 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27257/tid=27265] ppid=27255 vsize=915456 CPUtime=0
/proc/27257/task/27265/stat : 27265 (java) S 27255 27257 27159 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180333397 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 144.859
CPU time (s): 144.139
CPU user time (s): 144.042
CPU system time (s): 0.096985
CPU usage (%): 99.5033
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.042
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8893
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= 3797
involuntary context switches= 2540
runsolver used 0.162975 s user time and 0.367944 s system time
The end
Begin job on node34 on Tue Jan 9 05:09:56 UTC 2007
IDJOB= 232015
IDBENCH= 6496
FILE ID= node34/232015-1168319396
PBS_JOBID= 3502779
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-59021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232015-1168319396/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-232015-1168319396 -o ROOT/results/node34/solver-232015-1168319396 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232015-1168319396/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cdd3c876f1ca310a3dbf83d43aee3f8e
RANDOM SEED= 160469960
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: 680224 kB
Buffers: 8884 kB
Cached: 1294404 kB
SwapCached: 0 kB
Active: 346384 kB
Inactive: 976936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 680224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2216 kB
Writeback: 0 kB
Mapped: 30148 kB
Slab: 38164 kB
Committed_AS: 3237484 kB
PageTables: 1596 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 node34 on Tue Jan 9 05:12:21 UTC 2007