0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/231693-1168318351/unknown.xml
0.35
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.097 cpuTime=0.07 mem=6M951
0.39
0.39 relations being loaded...
0.52
0.52 constraints being loaded...
0.65 nbConstraints=472 nbRelationTypes=472 nbExtensionStructures=472 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=472 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=4741 maxDegree=30
0.65 maxArity=2
0.65 => wckTime=0.35 cpuTime=0.26 mem=15M745
0.69
0.69 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.547 cpuTime=0.39 mem=15M447
0.90
0.90 preprocessing
0.90 nbConstraintChecks=78585 nbPropagations=1033 nbRevisions=8148 nbUselessRevisions=6696 nbSingletonTests=57
0.90 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.055 cpuTime=0.03 mem=15M447
0.93
0.93 search
0.93 run=0 nbConstraintChecks=46602 nbPropagations=1567 nbRevisions=15318 nbUselessRevisions=12683 nbAssignments=24
0.93 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.083 cpuTime=0.05 mem=15M447
0.95
0.95 search
0.95 run=1 nbConstraintChecks=114334 nbPropagations=3803 nbRevisions=40992 nbUselessRevisions=33968
0.95 nbAssignments=63 nbFailedAssignments=26 nbBacktracks=27 nbVisitedNodes=107 nbRestartNogoods=3 mapSize=25
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.105 cpuTime=0.06 mem=15M447
0.97
0.97 search
0.97 run=2 nbConstraintChecks=193623 nbPropagations=6933 nbRevisions=79635 nbUselessRevisions=66060
0.97 nbAssignments=107 nbFailedAssignments=41 nbBacktracks=49 nbVisitedNodes=180 nbRestartNogoods=5 mapSize=45
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.121 cpuTime=0.08 mem=15M447
0.99
0.99 search
0.99 run=3 nbConstraintChecks=334511 nbPropagations=11509 nbRevisions=140752 nbUselessRevisions=116775
0.99 nbAssignments=183 nbFailedAssignments=76 nbBacktracks=84 nbVisitedNodes=317 nbRestartNogoods=8 mapSize=78
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.145 cpuTime=0.1 mem=15M447
1.02
1.02 search
1.02 run=4 nbConstraintChecks=517226 nbPropagations=17911 nbRevisions=230052 nbUselessRevisions=190535
1.02 nbAssignments=278 nbFailedAssignments=116 nbBacktracks=134 nbVisitedNodes=491 nbRestartNogoods=18 mapSize=125
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.177 cpuTime=0.13 mem=15M447
1.08
1.08 search
1.08 run=5 nbConstraintChecks=810127 nbPropagations=27279 nbRevisions=365097 nbUselessRevisions=301886
1.08 nbAssignments=436 nbFailedAssignments=184 nbBacktracks=210 nbVisitedNodes=763 nbRestartNogoods=24 mapSize=196
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.229 cpuTime=0.18 mem=15M447
1.15
1.15 search
1.15 run=6 nbConstraintChecks=1238011 nbPropagations=40692 nbRevisions=568869 nbUselessRevisions=470284
1.15 nbAssignments=653 nbFailedAssignments=283 nbBacktracks=323 nbVisitedNodes=1159 nbRestartNogoods=28 mapSize=301
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.301 cpuTime=0.25 mem=15M447
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1823331 nbPropagations=59635 nbRevisions=862776 nbUselessRevisions=712727
1.24 nbAssignments=966 nbFailedAssignments=421 nbBacktracks=493 nbVisitedNodes=1721 nbRestartNogoods=36 mapSize=458
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.391 cpuTime=0.33 mem=15M447
1.38
1.38 search
1.38 run=8 nbConstraintChecks=2753820 nbPropagations=87497 nbRevisions=1301884 nbUselessRevisions=1074724
1.38 nbAssignments=1461 nbFailedAssignments=644 nbBacktracks=749 nbVisitedNodes=2614 nbRestartNogoods=41
1.38 mapSize=703 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.537 cpuTime=0.47 mem=15M447
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M447)
1.58
1.58 search
1.58 run=9 nbConstraintChecks=4029420 nbPropagations=128305 nbRevisions=1942097 nbUselessRevisions=1602176
1.58 nbAssignments=2165 nbFailedAssignments=947 nbBacktracks=1133 nbVisitedNodes=3864 nbRestartNogoods=49
1.58 => wckTime=0.735 cpuTime=0.66 mem=15M447
1.86
1.86 search
1.86 run=10 nbConstraintChecks=6052890 nbPropagations=188315 nbRevisions=2896775 nbUselessRevisions=2388858
1.86 nbAssignments=3248 nbFailedAssignments=1449 nbBacktracks=1709 nbVisitedNodes=5847 nbRestartNogoods=60
1.86 => wckTime=1.011 cpuTime=0.92 mem=15M447
2.30
2.30 search
2.30 run=11 nbConstraintChecks=9346293 nbPropagations=279705 nbRevisions=4373795 nbUselessRevisions=3603256
2.30 nbAssignments=4899 nbFailedAssignments=2231 nbBacktracks=2574 nbVisitedNodes=8893 nbRestartNogoods=66
2.30 => wckTime=1.451 cpuTime=1.36 mem=15M447
2.92
2.92 search
2.92 run=12 nbConstraintChecks=14140703 nbPropagations=416633 nbRevisions=6608073 nbUselessRevisions=5444406
2.92 nbAssignments=7338 nbFailedAssignments=3367 nbBacktracks=3872 nbVisitedNodes=13366 nbRestartNogoods=71
2.92 => wckTime=2.073 cpuTime=1.98 mem=15M447
3.85
3.85 search
3.85 run=13 nbConstraintChecks=21233649 nbPropagations=622437 nbRevisions=9964506 nbUselessRevisions=8210968
3.85 nbAssignments=10941 nbFailedAssignments=5018 nbBacktracks=5818 nbVisitedNodes=19976 nbRestartNogoods=78
3.85 => wckTime=3.007 cpuTime=2.91 mem=15M447
5.22
5.22 search
5.22 run=14 nbConstraintChecks=31770479 nbPropagations=928567 nbRevisions=14979848 nbUselessRevisions=12344202
5.22 nbAssignments=16451 nbFailedAssignments=7605 nbBacktracks=8738 nbVisitedNodes=30043 nbRestartNogoods=83
5.22 => wckTime=4.376 cpuTime=4.28 mem=15M447
7.30
7.30 search
7.30 run=15 nbConstraintChecks=47700637 nbPropagations=1386005 nbRevisions=22445627 nbUselessRevisions=18494250
7.30 nbAssignments=24361 nbFailedAssignments=11131 nbBacktracks=13120 nbVisitedNodes=44454 nbRestartNogoods=96
7.30 => wckTime=6.452 cpuTime=6.32 mem=15M447
10.47
10.47 search
10.47 run=16 nbConstraintChecks=72423911 nbPropagations=2075355 nbRevisions=33812687 nbUselessRevisions=27876872
10.47 nbAssignments=36619 nbFailedAssignments=16816 nbBacktracks=19689 nbVisitedNodes=67019 nbRestartNogoods=109
10.47 => wckTime=9.626 cpuTime=9.48 mem=15M447
15.30
15.30 search
15.30 run=17 nbConstraintChecks=109714154 nbPropagations=3114676 nbRevisions=51053882 nbUselessRevisions=42112085
15.30 nbAssignments=55298 nbFailedAssignments=25638 nbBacktracks=29541 nbVisitedNodes=101390 nbRestartNogoods=118
15.30 => wckTime=14.457 cpuTime=14.29 mem=15M447
20.70
20.70 search
20.70 run=18 nbConstraintChecks=151362824 nbPropagations=4541676 nbRevisions=74740453 nbUselessRevisions=61648252
20.70 nbAssignments=76507 nbFailedAssignments=35721 nbBacktracks=40617 nbVisitedNodes=140321 nbRestartNogoods=130
20.70 => wckTime=19.85 cpuTime=19.66 mem=15M447
20.70
20.70 global
20.70 nbConstraintChecks=151441409 nbPropagations=4542709 nbRevisions=74748601 nbUselessRevisions=61654948
20.70 nbRestartNogoods=130 solvingWckTime=19.851 solvingCpuTime=19.66 expiredTime=no totalExploration=no
20.70 nbFoundSolutions=1 globalCpuTime=20.09
20.70 => wckTime=20.401 cpuTime=20.05 mem=15M447
20.70
20.70 s SATISFIABLE
20.70 v 19 15 3 12 16 6 16 10 16 10 9 16 3 1 10 18 19 14 3 3 5 12 11 15 11 5 17 17 5 2 1 10 6 19 4 19 7 8 4 5 19 16 19 13 3 8 9 7 20 5
20.70 d NODES 76507
20.70 d CHECKS 151441409
20.70
20.70 totalWckTime=20.477 totalCpuTime=20.1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-231693-1168318351 -o ROOT/results/node75/solver-231693-1168318351 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231693-1168318351/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.44 0.82 1.12 3/82 19180
/proc/meminfo: memFree=1418896/2055920 swapFree=4184508/4192956
[pid=19179] ppid=19177 vsize=18540 CPUtime=0
/proc/19179/stat : 19179 (runsolver) R 19177 19179 19045 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 180234888 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19179/statm: 4635 279 244 17 0 2626 0
[startup+0.107922 s]
/proc/loadavg: 0.44 0.82 1.12 3/82 19180
/proc/meminfo: memFree=1418896/2055920 swapFree=4184508/4192956
[pid=19179] ppid=19177 vsize=914988 CPUtime=0.08
/proc/19179/stat : 19179 (java) R 19177 19179 19045 0 -1 0 3057 0 1 0 7 1 0 0 24 0 8 0 180234888 936947712 2803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19179/statm: 228747 2803 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519972 s]
/proc/loadavg: 0.44 0.82 1.12 3/82 19180
/proc/meminfo: memFree=1418896/2055920 swapFree=4184508/4192956
[pid=19179] ppid=19177 vsize=915328 CPUtime=0.5
/proc/19179/stat : 19179 (java) R 19177 19179 19045 0 -1 0 7158 0 1 0 46 4 0 0 25 0 8 0 180234888 937295872 6897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073555536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19179/statm: 228832 6897 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34606 s]
/proc/loadavg: 0.44 0.82 1.12 3/89 19187
/proc/meminfo: memFree=1393240/2055920 swapFree=4184508/4192956
[pid=19179] ppid=19177 vsize=915460 CPUtime=1.31
/proc/19179/stat : 19179 (java) R 19177 19179 19045 0 -1 0 9132 0 1 0 126 5 0 0 25 0 8 0 180234888 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19179/statm: 228865 8870 2524 14 0 215335 0
[pid=19179/tid=19181] ppid=19177 vsize=915460 CPUtime=0.03
/proc/19179/task/19181/stat : 19181 (java) S 19177 19179 19045 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 180234892 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19182] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19182/stat : 19182 (java) S 19177 19179 19045 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180234892 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19183] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19177 19179 19045 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180234892 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19184] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19177 19179 19045 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180234895 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19185] ppid=19177 vsize=915460 CPUtime=0.2
/proc/19179/task/19185/stat : 19185 (java) S 19177 19179 19045 0 -1 64 382 0 0 0 19 1 0 0 15 0 8 0 180234895 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19186] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19186/stat : 19186 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180234895 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19187] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180234896 937431040 8870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98326 s]
/proc/loadavg: 0.44 0.82 1.12 3/89 19187
/proc/meminfo: memFree=1393176/2055920 swapFree=4184508/4192956
[pid=19179] ppid=19177 vsize=915460 CPUtime=2.95
/proc/19179/stat : 19179 (java) R 19177 19179 19045 0 -1 0 9147 0 1 0 289 6 0 0 25 0 8 0 180234888 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19179/statm: 228865 8884 2524 14 0 215335 0
[pid=19179/tid=19181] ppid=19177 vsize=915460 CPUtime=0.03
/proc/19179/task/19181/stat : 19181 (java) S 19177 19179 19045 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 180234892 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19182] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19182/stat : 19182 (java) S 19177 19179 19045 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180234892 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19183] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19177 19179 19045 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180234892 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19184] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19177 19179 19045 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180234895 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19185] ppid=19177 vsize=915460 CPUtime=0.23
/proc/19179/task/19185/stat : 19185 (java) S 19177 19179 19045 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 180234895 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19186] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19186/stat : 19186 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180234895 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19187] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180234896 937431040 8884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.26264 s]
/proc/loadavg: 0.56 0.84 1.12 3/89 19187
/proc/meminfo: memFree=1393184/2055920 swapFree=4184508/4192956
[pid=19179] ppid=19177 vsize=915460 CPUtime=6.21
/proc/19179/stat : 19179 (java) R 19177 19179 19045 0 -1 0 9149 0 1 0 615 6 0 0 25 0 8 0 180234888 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825506 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19179/statm: 228865 8885 2524 14 0 215335 0
[pid=19179/tid=19181] ppid=19177 vsize=915460 CPUtime=0.03
/proc/19179/task/19181/stat : 19181 (java) S 19177 19179 19045 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 180234892 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19182] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19182/stat : 19182 (java) S 19177 19179 19045 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180234892 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19183] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19177 19179 19045 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180234892 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19184] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19177 19179 19045 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180234895 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19185] ppid=19177 vsize=915460 CPUtime=0.23
/proc/19179/task/19185/stat : 19185 (java) S 19177 19179 19045 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 180234895 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19186] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19186/stat : 19186 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180234895 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19187] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180234896 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7484 s]
/proc/loadavg: 0.68 0.86 1.13 3/89 19187
/proc/meminfo: memFree=1393184/2055920 swapFree=4184508/4192956
[pid=19179] ppid=19177 vsize=915460 CPUtime=12.65
/proc/19179/stat : 19179 (java) R 19177 19179 19045 0 -1 0 9149 0 1 0 1259 6 0 0 25 0 8 0 180234888 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19179/statm: 228865 8885 2524 14 0 215335 0
[pid=19179/tid=19181] ppid=19177 vsize=915460 CPUtime=0.03
/proc/19179/task/19181/stat : 19181 (java) S 19177 19179 19045 0 -1 64 376 0 0 0 3 0 0 0 16 0 8 0 180234892 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19182] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19182/stat : 19182 (java) S 19177 19179 19045 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180234892 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19183] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19177 19179 19045 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180234892 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19184] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19177 19179 19045 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 180234895 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19185] ppid=19177 vsize=915460 CPUtime=0.23
/proc/19179/task/19185/stat : 19185 (java) S 19177 19179 19045 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 180234895 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19186] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19186/stat : 19186 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 180234895 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19179/tid=19187] ppid=19177 vsize=915460 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19177 19179 19045 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180234896 937431040 8885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 20.7432
CPU time (s): 20.5879
CPU user time (s): 20.5169
CPU system time (s): 0.070989
CPU usage (%): 99.251
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.5169
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9158
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= 1581
involuntary context switches= 2470
runsolver used 0.020996 s user time and 0.066989 s system time
The end
Begin job on node75 on Tue Jan 9 04:52:33 UTC 2007
IDJOB= 231693
IDBENCH= 6480
FILE ID= node75/231693-1168318351
PBS_JOBID= 3502840
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231693-1168318351/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-231693-1168318351 -o ROOT/results/node75/solver-231693-1168318351 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231693-1168318351/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1f1dd83b88fdb6ba18bc03ee3289815b
RANDOM SEED= 117985549
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1490392 kB
Buffers: 64464 kB
Cached: 424952 kB
SwapCached: 2700 kB
Active: 162748 kB
Inactive: 345400 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1490392 kB
SwapTotal: 4192956 kB
SwapFree: 4184508 kB
Dirty: 5884 kB
Writeback: 0 kB
Mapped: 30152 kB
Slab: 42608 kB
Committed_AS: 4922164 kB
PageTables: 1856 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= 66555 MiB
End job on node75 on Tue Jan 9 04:52:56 UTC 2007