0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/197705-1168126147/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=36 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.40 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.42
0.42 constraints being loaded...
0.49 nbConstraints=153 nbRelationTypes=10 nbExtensionStructures=10 nbSharedExtensionStructures=143
0.49 nbConflictsStructures=10 nbSharedConflictsStructures=143 nbSharedBinaryRepresentations=9 maxDegree=9 maxArity=4
0.49 => wckTime=0.19 cpuTime=0.15 mem=8M912
0.53
0.53 solver IterativeSystematicSolver being built...
0.69 => wckTime=0.387 cpuTime=0.28 mem=14M539
0.74
0.74 preprocessing
0.74 nbConstraintChecks=2588 nbValidityChecks=2998 nbPropagations=219 nbRevisions=594 nbUselessRevisions=417
0.74 nbSingletonTests=40 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=123 detectedInconsistency=no
0.74 => wckTime=0.044 cpuTime=0.02 mem=14M539
0.76
0.76 search
0.76 run=0 nbConstraintChecks=1430 nbValidityChecks=1756 nbPropagations=381 nbRevisions=1077 nbUselessRevisions=751
0.76 nbAssignments=38 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=9
0.76 nbInferences=0 nbTooLargeKeys=0
0.76 => wckTime=0.065 cpuTime=0.04 mem=15M514
0.77
0.77 search
0.77 run=1 nbConstraintChecks=3943 nbValidityChecks=4287 nbPropagations=1000 nbRevisions=2746
0.77 nbUselessRevisions=1854 nbAssignments=90 nbFailedAssignments=17 nbBacktracks=27 nbVisitedNodes=126
0.77 nbRestartNogoods=1 mapSize=24 nbInferences=1 nbTooLargeKeys=0
0.77 => wckTime=0.082 cpuTime=0.05 mem=15M514
0.78
0.78 search
0.78 run=2 nbConstraintChecks=6005 nbValidityChecks=6359 nbPropagations=1855 nbRevisions=5090
0.78 nbUselessRevisions=3387 nbAssignments=144 nbFailedAssignments=32 nbBacktracks=50 nbVisitedNodes=211
0.78 nbRestartNogoods=7 mapSize=43 nbInferences=2 nbTooLargeKeys=0
0.78 => wckTime=0.092 cpuTime=0.06 mem=15M514
0.80
0.80 search
0.80 run=3 nbConstraintChecks=11580 nbValidityChecks=11493 nbPropagations=3053 nbRevisions=8708
0.80 nbUselessRevisions=5774 nbAssignments=211 nbFailedAssignments=52 nbBacktracks=84 nbVisitedNodes=316
0.80 nbRestartNogoods=9 mapSize=71 nbInferences=2 nbTooLargeKeys=0
0.80 => wckTime=0.106 cpuTime=0.07 mem=15M514
0.81
0.81 search
0.81 run=4 nbConstraintChecks=22247 nbValidityChecks=21857 nbPropagations=4733 nbRevisions=14217
0.81 nbUselessRevisions=9416 nbAssignments=310 nbFailedAssignments=90 nbBacktracks=134 nbVisitedNodes=476
0.81 nbRestartNogoods=11 mapSize=110 nbInferences=2 nbTooLargeKeys=0
0.81 => wckTime=0.123 cpuTime=0.09 mem=15M514
0.83
0.83 search
0.83 run=5 nbConstraintChecks=27764 nbValidityChecks=27225 nbPropagations=6975 nbRevisions=21687
0.83 nbUselessRevisions=14300 nbAssignments=431 nbFailedAssignments=125 nbBacktracks=210 nbVisitedNodes=669
0.83 nbRestartNogoods=19 mapSize=166 nbInferences=4 nbTooLargeKeys=0
0.83 => wckTime=0.137 cpuTime=0.1 mem=15M514
0.85
0.85 search
0.85 run=6 nbConstraintChecks=41884 nbValidityChecks=38150 nbPropagations=10095 nbRevisions=32389
0.85 nbUselessRevisions=21459 nbAssignments=628 nbFailedAssignments=186 nbBacktracks=324 nbVisitedNodes=986
0.85 nbRestartNogoods=20 mapSize=260 nbInferences=11 nbTooLargeKeys=0
0.85 => wckTime=0.158 cpuTime=0.12 mem=15M514
0.88
0.88 search
0.88 run=7 nbConstraintChecks=69628 nbValidityChecks=62468 nbPropagations=14624 nbRevisions=48101
0.88 nbUselessRevisions=31933 nbAssignments=895 nbFailedAssignments=263 nbBacktracks=495 nbVisitedNodes=1411
0.88 nbRestartNogoods=24 mapSize=390 nbInferences=21 nbTooLargeKeys=0
0.88 => wckTime=0.193 cpuTime=0.15 mem=15M514
0.93
0.93 search
0.93 run=8 nbConstraintChecks=111790 nbValidityChecks=99085 nbPropagations=21644 nbRevisions=72868
0.93 nbUselessRevisions=48254 nbAssignments=1306 nbFailedAssignments=408 nbBacktracks=752 nbVisitedNodes=2098
0.93 nbRestartNogoods=29 mapSize=608 nbInferences=21 nbTooLargeKeys=0
0.93 => wckTime=0.244 cpuTime=0.19 mem=15M514
0.99
0.99 search
0.99 run=9 nbConstraintChecks=150024 nbValidityChecks=127071 nbPropagations=31271 nbRevisions=107603
0.99 nbUselessRevisions=71626 nbAssignments=1892 nbFailedAssignments=557 nbBacktracks=1136 nbVisitedNodes=3018
0.99 nbRestartNogoods=35 mapSize=882 nbInferences=63 nbTooLargeKeys=0
0.99 => wckTime=0.303 cpuTime=0.24 mem=15M514
1.09
1.09 search
1.09 run=10 nbConstraintChecks=236400 nbValidityChecks=206386 nbPropagations=46050 nbRevisions=160633
1.09 nbUselessRevisions=107284 nbAssignments=2830 nbFailedAssignments=881 nbBacktracks=1712 nbVisitedNodes=4619
1.09 nbRestartNogoods=37 mapSize=1384 nbInferences=90 nbTooLargeKeys=0
1.09 => wckTime=0.401 cpuTime=0.32 mem=15M514
1.19
1.19 search
1.19 run=11 nbConstraintChecks=334143 nbValidityChecks=286463 nbPropagations=69327 nbRevisions=240889
1.19 nbUselessRevisions=160238 nbAssignments=4192 nbFailedAssignments=1314 nbBacktracks=2583 nbVisitedNodes=6912
1.19 nbRestartNogoods=43 mapSize=2093 nbInferences=139 nbTooLargeKeys=0
1.19 => wckTime=0.501 cpuTime=0.42 mem=15M514
1.35
1.35 search
1.35 run=12 nbConstraintChecks=509709 nbValidityChecks=421700 nbPropagations=104230 nbRevisions=363262
1.35 nbUselessRevisions=240891 nbAssignments=6276 nbFailedAssignments=2071 nbBacktracks=3881 nbVisitedNodes=10438
1.35 nbRestartNogoods=47 mapSize=3204 nbInferences=162 nbTooLargeKeys=0
1.35 => wckTime=0.66 cpuTime=0.58 mem=15M514
1.55
1.55 search
1.55 run=13 nbConstraintChecks=702416 nbValidityChecks=558250 nbPropagations=153791 nbRevisions=541439
1.55 nbUselessRevisions=360714 nbAssignments=9431 nbFailedAssignments=3124 nbBacktracks=5828 nbVisitedNodes=15798
1.55 nbRestartNogoods=53 mapSize=4888 nbInferences=305 nbTooLargeKeys=0
1.55 => wckTime=0.856 cpuTime=0.77 mem=16M489
1.96
1.96 search
1.96 run=14 nbConstraintChecks=1153687 nbValidityChecks=937799 nbPropagations=234021 nbRevisions=819501
1.96 nbUselessRevisions=544388 nbAssignments=14191 nbFailedAssignments=4551 nbBacktracks=8748 nbVisitedNodes=23644
1.96 nbRestartNogoods=63 mapSize=7300 nbInferences=702 nbTooLargeKeys=0
1.96 => wckTime=1.272 cpuTime=1.18 mem=16M489
2.43
2.43 search
2.43 run=15 nbConstraintChecks=1651810 nbValidityChecks=1341506 nbPropagations=347263 nbRevisions=1223022
2.43 nbUselessRevisions=813641 nbAssignments=20990 nbFailedAssignments=6781 nbBacktracks=13126 nbVisitedNodes=34968
2.43 nbRestartNogoods=68 mapSize=10932 nbInferences=887 nbTooLargeKeys=0
2.43 => wckTime=1.739 cpuTime=1.65 mem=17M465
3.11
3.11 search
3.11 run=16 nbConstraintChecks=2412319 nbValidityChecks=1901276 nbPropagations=511336 nbRevisions=1828715
3.11 nbUselessRevisions=1228565 nbAssignments=32087 nbFailedAssignments=9985 nbBacktracks=19694 nbVisitedNodes=53800
3.11 nbRestartNogoods=75 mapSize=16815 nbInferences=2198 nbTooLargeKeys=0
3.11 => wckTime=2.419 cpuTime=2.33 mem=18M440
4.25
4.25 search
4.25 run=17 nbConstraintChecks=3738095 nbValidityChecks=3007741 nbPropagations=759795 nbRevisions=2732107
4.25 nbUselessRevisions=1841043 nbAssignments=47662 nbFailedAssignments=15037 nbBacktracks=29550
4.25 nbVisitedNodes=79655 nbRestartNogoods=85 mapSize=25056 nbInferences=2854 nbTooLargeKeys=0
4.26 => wckTime=3.564 cpuTime=3.48 mem=20M390
5.66
5.66 search
5.66 run=18 nbConstraintChecks=5033554 nbValidityChecks=4017575 nbPropagations=1114863 nbRevisions=4024925
5.66 nbUselessRevisions=2724911 nbAssignments=73130 nbFailedAssignments=21689 nbBacktracks=44328
5.66 nbVisitedNodes=122269 nbRestartNogoods=92 mapSize=38292 nbInferences=6879 nbTooLargeKeys=0
5.66 => wckTime=4.967 cpuTime=4.88 mem=22M341
8.12
8.12 search
8.12 run=19 nbConstraintChecks=7819902 nbValidityChecks=6328613 nbPropagations=1644931 nbRevisions=5941845
8.12 nbUselessRevisions=4038384 nbAssignments=108418 nbFailedAssignments=32424 nbBacktracks=66496
8.12 nbVisitedNodes=180313 nbRestartNogoods=102 mapSize=56504 nbInferences=9253 nbTooLargeKeys=0
8.12 => wckTime=7.432 cpuTime=7.34 mem=26M241
12.33
12.33 search
12.33 run=20 nbConstraintChecks=12673813 nbValidityChecks=10466146 nbPropagations=2469400 nbRevisions=8902300
12.33 nbUselessRevisions=6046345 nbAssignments=163006 nbFailedAssignments=49593 nbBacktracks=99750
12.33 nbVisitedNodes=271852 nbRestartNogoods=112 mapSize=84979 nbInferences=13408 nbTooLargeKeys=0
12.33 => wckTime=11.64 cpuTime=11.55 mem=32M92
18.49
18.49 search
18.49 run=21 nbConstraintChecks=19679293 nbValidityChecks=16327522 nbPropagations=3716454 nbRevisions=13438030
18.49 nbUselessRevisions=9121457 nbAssignments=245753 nbFailedAssignments=76439 nbBacktracks=149628
18.49 nbVisitedNodes=411919 nbRestartNogoods=120 mapSize=127342 nbInferences=19425 nbTooLargeKeys=0
18.49 => wckTime=17.801 cpuTime=17.7 mem=39M967
27.13
27.13 search
27.13 run=22 nbConstraintChecks=29395805 nbValidityChecks=24044007 nbPropagations=5555641 nbRevisions=20211405
27.13 nbUselessRevisions=13751115 nbAssignments=365763 nbFailedAssignments=113789 nbBacktracks=224447
27.13 nbVisitedNodes=613071 nbRestartNogoods=125 mapSize=190527 nbInferences=27254 nbTooLargeKeys=0
27.13 => wckTime=26.441 cpuTime=26.1 mem=32M247
40.84
40.84 search
40.84 run=23 nbConstraintChecks=45037646 nbValidityChecks=37128466 nbPropagations=8387069 nbRevisions=30427861
40.84 nbUselessRevisions=20711557 nbAssignments=550983 nbFailedAssignments=166726 nbBacktracks=336674
40.84 nbVisitedNodes=924541 nbRestartNogoods=138 mapSize=287388 nbInferences=47301 nbTooLargeKeys=0
40.84 => wckTime=40.147 cpuTime=39.8 mem=52M73
41.84
41.84 search
41.84 run=24 nbConstraintChecks=46149350 nbValidityChecks=38042823 nbPropagations=11289345 nbRevisions=40897156
41.84 nbUselessRevisions=27849475 nbAssignments=565822 nbFailedAssignments=170836 nbBacktracks=345747
41.84 nbVisitedNodes=949299 nbRestartNogoods=150 mapSize=295063 nbInferences=48958 nbTooLargeKeys=0
41.84 => wckTime=41.147 cpuTime=40.8 mem=53M58
41.84
41.84 global
41.84 nbConstraintChecks=46151938 nbValidityChecks=38045821 nbPropagations=11289564 nbRevisions=40897750
41.84 nbUselessRevisions=27849892 nbRestartNogoods=150 solvingWckTime=41.148 solvingCpuTime=40.8 expiredTime=no
41.84 totalExploration=yes nbFoundSolutions=0 globalCpuTime=41.12
41.84 => wckTime=41.537 cpuTime=41.08 mem=53M58
41.84
41.84 s UNSATISFIABLE
41.84 d NODES 565822
41.84 d CHECKS 46151938
41.84
41.84 totalWckTime=41.612 totalCpuTime=41.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-197705-1168126147 -o ROOT/results/node25/solver-197705-1168126147 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197705-1168126147/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.34 0.41 0.79 4/81 16393
/proc/meminfo: memFree=1545320/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=1784 CPUtime=0
/proc/16392/stat : 16392 (java) D 16390 16392 16071 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 161009181 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16392/statm: 446 140 106 14 0 91 0
[startup+0.105147 s]
/proc/loadavg: 0.34 0.41 0.79 4/81 16393
/proc/meminfo: memFree=1545320/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=914988 CPUtime=0.08
/proc/16392/stat : 16392 (java) R 16390 16392 16071 0 -1 0 3002 0 1 0 6 2 0 0 16 0 8 0 161009181 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153859728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16392/statm: 228747 2748 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513222 s]
/proc/loadavg: 0.34 0.41 0.79 4/81 16393
/proc/meminfo: memFree=1545320/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=915328 CPUtime=0.5
/proc/16392/stat : 16392 (java) S 16390 16392 16071 0 -1 0 6655 0 1 0 45 5 0 0 16 0 8 0 161009181 937295872 6394 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16392/statm: 228832 6394 2161 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33435 s]
/proc/loadavg: 0.34 0.41 0.79 2/88 16400
/proc/meminfo: memFree=1521264/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=915460 CPUtime=1.32
/proc/16392/stat : 16392 (java) R 16390 16392 16071 0 -1 0 8832 0 1 0 125 7 0 0 16 0 8 0 161009181 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16392/statm: 228865 8570 2527 14 0 215335 0
[pid=16392/tid=16394] ppid=16390 vsize=915460 CPUtime=0.02
/proc/16392/task/16394/stat : 16394 (java) S 16390 16392 16071 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 161009185 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16392/tid=16395] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16395/stat : 16395 (java) S 16390 16392 16071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161009185 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16396] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16396/stat : 16396 (java) S 16390 16392 16071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161009185 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16397] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16397/stat : 16397 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161009188 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16398] ppid=16390 vsize=915460 CPUtime=0.2
/proc/16392/task/16398/stat : 16398 (java) S 16390 16392 16071 0 -1 64 381 0 0 0 19 1 0 0 15 0 8 0 161009188 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16399] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16399/stat : 16399 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161009188 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16400] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16400/stat : 16400 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161009188 937431040 8570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.98663 s]
/proc/loadavg: 0.34 0.41 0.79 2/88 16400
/proc/meminfo: memFree=1519600/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=915460 CPUtime=2.97
/proc/16392/stat : 16392 (java) R 16390 16392 16071 0 -1 0 9471 0 1 0 290 7 0 0 17 0 8 0 161009181 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16392/statm: 228865 9207 2527 14 0 215335 0
[pid=16392/tid=16394] ppid=16390 vsize=915460 CPUtime=0.02
/proc/16392/task/16394/stat : 16394 (java) S 16390 16392 16071 0 -1 64 177 0 0 0 2 0 0 0 17 0 8 0 161009185 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16395] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16395/stat : 16395 (java) S 16390 16392 16071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161009185 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16396] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16396/stat : 16396 (java) S 16390 16392 16071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161009185 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16397] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16397/stat : 16397 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161009188 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16398] ppid=16390 vsize=915460 CPUtime=0.21
/proc/16392/task/16398/stat : 16398 (java) S 16390 16392 16071 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 161009188 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16399] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16399/stat : 16399 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161009188 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16400] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16400/stat : 16400 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161009188 937431040 9207 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915460
[startup+6.27019 s]
/proc/loadavg: 0.40 0.42 0.79 2/88 16400
/proc/meminfo: memFree=1514160/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=915460 CPUtime=6.25
/proc/16392/stat : 16392 (java) R 16390 16392 16071 0 -1 0 10719 0 1 0 617 8 0 0 25 0 8 0 161009181 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16392/statm: 228865 10455 2527 14 0 215335 0
[pid=16392/tid=16394] ppid=16390 vsize=915460 CPUtime=0.02
/proc/16392/task/16394/stat : 16394 (java) S 16390 16392 16071 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 161009185 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16395] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16395/stat : 16395 (java) S 16390 16392 16071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161009185 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16396] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16396/stat : 16396 (java) S 16390 16392 16071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161009185 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16397] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16397/stat : 16397 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161009188 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16398] ppid=16390 vsize=915460 CPUtime=0.21
/proc/16392/task/16398/stat : 16398 (java) S 16390 16392 16071 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 161009188 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16399] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16399/stat : 16399 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161009188 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16400] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16400/stat : 16400 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161009188 937431040 10455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460
[startup+12.7513 s]
/proc/loadavg: 0.44 0.43 0.79 2/88 16400
/proc/meminfo: memFree=1505200/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=915460 CPUtime=12.73
/proc/16392/stat : 16392 (java) R 16390 16392 16071 0 -1 0 12854 0 1 0 1264 9 0 0 25 0 8 0 161009181 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073769457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16392/statm: 228865 12590 2527 14 0 215335 0
[pid=16392/tid=16394] ppid=16390 vsize=915460 CPUtime=0.02
/proc/16392/task/16394/stat : 16394 (java) S 16390 16392 16071 0 -1 64 177 0 0 0 2 0 0 0 16 0 8 0 161009185 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16395] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16395/stat : 16395 (java) S 16390 16392 16071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161009185 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16396] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16396/stat : 16396 (java) S 16390 16392 16071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161009185 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16397] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16397/stat : 16397 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161009188 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16398] ppid=16390 vsize=915460 CPUtime=0.21
/proc/16392/task/16398/stat : 16398 (java) S 16390 16392 16071 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 161009188 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16399] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16399/stat : 16399 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161009188 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16400] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16400/stat : 16400 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161009188 937431040 12590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915460
[startup+25.5985 s]
/proc/loadavg: 0.57 0.46 0.79 2/88 16400
/proc/meminfo: memFree=1488304/2055920 swapFree=4192812/4192956
[pid=16392] ppid=16390 vsize=915460 CPUtime=25.56
/proc/16392/stat : 16392 (java) S 16390 16392 16071 0 -1 0 21870 0 1 0 2543 13 0 0 25 0 8 0 161009181 937431040 21605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16392/statm: 228865 21606 2531 14 0 215335 0
[pid=16392/tid=16394] ppid=16390 vsize=915460 CPUtime=0.18
/proc/16392/task/16394/stat : 16394 (java) R 16390 16392 16071 0 -1 64 4884 0 0 0 17 1 0 0 18 0 8 0 161009185 937431040 21607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16395] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16395/stat : 16395 (java) S 16390 16392 16071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161009185 937431040 21609 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16396] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16396/stat : 16396 (java) S 16390 16392 16071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161009185 937431040 21611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16397] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16397/stat : 16397 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 161009188 937431040 21613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16398] ppid=16390 vsize=915460 CPUtime=0.21
/proc/16392/task/16398/stat : 16398 (java) S 16390 16392 16071 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 161009188 937431040 21614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16399] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16399/stat : 16399 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161009188 937431040 21616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16392/tid=16400] ppid=16390 vsize=915460 CPUtime=0
/proc/16392/task/16400/stat : 16400 (java) S 16390 16392 16071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161009188 937431040 21618 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 41.8647
CPU time (s): 41.8156
CPU user time (s): 41.6487
CPU system time (s): 0.166974
CPU usage (%): 99.8828
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.6487
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23943
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= 1644
involuntary context switches= 1350
runsolver used 0.050992 s user time and 0.124981 s system time
The end
Begin job on node25 on Sat Jan 6 23:29:18 UTC 2007
IDJOB= 197705
IDBENCH= 3506
FILE ID= node25/197705-1168126147
PBS_JOBID= 3477641
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-7.ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197705-1168126147/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-197705-1168126147 -o ROOT/results/node25/solver-197705-1168126147 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197705-1168126147/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7cc7e95e3ab2b5c1b2e8d820acd1fe1b
RANDOM SEED= 127322601
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.279
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.279
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: 1545152 kB
Buffers: 53532 kB
Cached: 336788 kB
SwapCached: 0 kB
Active: 147820 kB
Inactive: 290988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1545152 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1740 kB
Writeback: 0 kB
Mapped: 67484 kB
Slab: 57012 kB
Committed_AS: 3113032 kB
PageTables: 2144 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= 66550 MiB
End job on node25 on Sat Jan 6 23:30:15 UTC 2007