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/241924-1168375778/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.46 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.46 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.46 => wckTime=0.152 cpuTime=0.12 mem=7M927
0.49
0.49 solver IterativeSystematicSolver being built...
0.68 => wckTime=0.378 cpuTime=0.29 mem=15M334
0.72
0.72 preprocessing
0.73 nbConstraintChecks=430 nbValidityChecks=1092 nbPropagations=447 nbRevisions=576 nbUselessRevisions=466
0.73 nbSingletonTests=191 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.73 => wckTime=0.04 cpuTime=0.03 mem=15M334
0.76
0.76 search
0.76 run=0 nbConstraintChecks=187 nbValidityChecks=814 nbPropagations=622 nbRevisions=930 nbUselessRevisions=696
0.76 nbAssignments=110 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=119 nbRestartNogoods=0 mapSize=6
0.76 nbInferences=0 nbTooLargeKeys=0
0.76 => wckTime=0.08 cpuTime=0.05 mem=16M326
0.78
0.78 search
0.78 run=1 nbConstraintChecks=337 nbValidityChecks=1590 nbPropagations=1412 nbRevisions=2201
0.78 nbUselessRevisions=1619 nbAssignments=222 nbFailedAssignments=7 nbBacktracks=30 nbVisitedNodes=239
0.78 nbRestartNogoods=1 mapSize=12 nbInferences=2 nbTooLargeKeys=0
0.78 => wckTime=0.097 cpuTime=0.07 mem=16M326
0.80
0.80 search
0.80 run=2 nbConstraintChecks=535 nbValidityChecks=2463 nbPropagations=2392 nbRevisions=3853
0.80 nbUselessRevisions=2786 nbAssignments=335 nbFailedAssignments=12 nbBacktracks=52 nbVisitedNodes=365
0.80 nbRestartNogoods=3 mapSize=23 nbInferences=5 nbTooLargeKeys=0
0.80 => wckTime=0.114 cpuTime=0.08 mem=16M326
0.82
0.82 search
0.82 run=3 nbConstraintChecks=794 nbValidityChecks=3403 nbPropagations=3571 nbRevisions=5913
0.82 nbUselessRevisions=4208 nbAssignments=436 nbFailedAssignments=19 nbBacktracks=86 nbVisitedNodes=487
0.82 nbRestartNogoods=5 mapSize=41 nbInferences=12 nbTooLargeKeys=0
0.82 => wckTime=0.131 cpuTime=0.09 mem=16M326
0.83
0.83 search
0.83 run=4 nbConstraintChecks=1107 nbValidityChecks=4489 nbPropagations=4980 nbRevisions=8438
0.83 nbUselessRevisions=5908 nbAssignments=555 nbFailedAssignments=30 nbBacktracks=136 nbVisitedNodes=633
0.83 nbRestartNogoods=7 mapSize=64 nbInferences=17 nbTooLargeKeys=0
0.83 => wckTime=0.145 cpuTime=0.1 mem=16M326
0.85
0.85 search
0.85 run=5 nbConstraintChecks=1610 nbValidityChecks=5919 nbPropagations=6698 nbRevisions=11573
0.85 nbUselessRevisions=7958 nbAssignments=682 nbFailedAssignments=43 nbBacktracks=213 nbVisitedNodes=802
0.85 nbRestartNogoods=10 mapSize=104 nbInferences=33 nbTooLargeKeys=0
0.85 => wckTime=0.165 cpuTime=0.11 mem=16M326
0.87
0.87 search
0.87 run=6 nbConstraintChecks=2437 nbValidityChecks=8400 nbPropagations=8982 nbRevisions=15755
0.87 nbUselessRevisions=10584 nbAssignments=935 nbFailedAssignments=62 nbBacktracks=328 nbVisitedNodes=1116
0.87 nbRestartNogoods=12 mapSize=158 nbInferences=56 nbTooLargeKeys=0
0.87 => wckTime=0.187 cpuTime=0.13 mem=16M326
0.90
0.90 search
0.90 run=7 nbConstraintChecks=4047 nbValidityChecks=12749 nbPropagations=12242 nbRevisions=21796
0.90 nbUselessRevisions=14154 nbAssignments=1237 nbFailedAssignments=120 nbBacktracks=499 nbVisitedNodes=1548
0.90 nbRestartNogoods=15 mapSize=262 nbInferences=70 nbTooLargeKeys=0
0.90 => wckTime=0.213 cpuTime=0.16 mem=16M326
0.95
0.95 search
0.95 run=8 nbConstraintChecks=5731 nbValidityChecks=17399 nbPropagations=16590 nbRevisions=29813
0.95 nbUselessRevisions=18767 nbAssignments=1688 nbFailedAssignments=165 nbBacktracks=756 nbVisitedNodes=2144
0.95 nbRestartNogoods=18 mapSize=397 nbInferences=125 nbTooLargeKeys=0
0.95 => wckTime=0.265 cpuTime=0.19 mem=16M326
1.00
1.00 search
1.00 run=9 nbConstraintChecks=8051 nbValidityChecks=24059 nbPropagations=22521 nbRevisions=40752
1.00 nbUselessRevisions=24952 nbAssignments=2277 nbFailedAssignments=197 nbBacktracks=1143 nbVisitedNodes=2891
1.00 nbRestartNogoods=23 mapSize=551 nbInferences=219 nbTooLargeKeys=0
1.00 => wckTime=0.314 cpuTime=0.23 mem=16M326
1.06
1.06 search
1.06 run=10 nbConstraintChecks=10956 nbValidityChecks=32110 nbPropagations=30267 nbRevisions=55184
1.06 nbUselessRevisions=33177 nbAssignments=3150 nbFailedAssignments=249 nbBacktracks=1722 nbVisitedNodes=4025
1.06 nbRestartNogoods=26 mapSize=807 nbInferences=376 nbTooLargeKeys=0
1.06 => wckTime=0.375 cpuTime=0.29 mem=16M326
1.15
1.15 search
1.15 run=11 nbConstraintChecks=16185 nbValidityChecks=47434 nbPropagations=41673 nbRevisions=76386
1.15 nbUselessRevisions=45317 nbAssignments=4499 nbFailedAssignments=278 nbBacktracks=2586 nbVisitedNodes=5816
1.15 nbRestartNogoods=28 mapSize=1244 nbInferences=760 nbTooLargeKeys=0
1.15 => wckTime=0.464 cpuTime=0.37 mem=16M326
1.28
1.28 search
1.28 run=12 nbConstraintChecks=24784 nbValidityChecks=72207 nbPropagations=58905 nbRevisions=108440
1.28 nbUselessRevisions=63825 nbAssignments=6548 nbFailedAssignments=295 nbBacktracks=3884 nbVisitedNodes=8540
1.28 nbRestartNogoods=33 mapSize=1915 nbInferences=1404 nbTooLargeKeys=0
1.28 => wckTime=0.591 cpuTime=0.49 mem=16M326
1.45
1.45 search
1.45 run=13 nbConstraintChecks=37008 nbValidityChecks=107305 nbPropagations=84483 nbRevisions=155840
1.45 nbUselessRevisions=91128 nbAssignments=9495 nbFailedAssignments=348 nbBacktracks=5830 nbVisitedNodes=12471
1.45 nbRestartNogoods=37 mapSize=2895 nbInferences=2282 nbTooLargeKeys=0
1.45 => wckTime=0.77 cpuTime=0.67 mem=17M301
1.72
1.72 search
1.72 run=14 nbConstraintChecks=58324 nbValidityChecks=168215 nbPropagations=124764 nbRevisions=229958
1.72 nbUselessRevisions=133376 nbAssignments=13922 nbFailedAssignments=373 nbBacktracks=8749 nbVisitedNodes=18402
1.72 nbRestartNogoods=41 mapSize=4395 nbInferences=3736 nbTooLargeKeys=0
1.72 => wckTime=1.035 cpuTime=0.93 mem=17M301
2.13
2.13 search
2.13 run=15 nbConstraintChecks=91059 nbValidityChecks=262321 nbPropagations=188079 nbRevisions=345504
2.13 nbUselessRevisions=198518 nbAssignments=20634 nbFailedAssignments=411 nbBacktracks=13129 nbVisitedNodes=27421
2.13 nbRestartNogoods=45 mapSize=6696 nbInferences=5968 nbTooLargeKeys=0
2.13 => wckTime=1.444 cpuTime=1.35 mem=17M301
2.82
2.82 search
2.82 run=16 nbConstraintChecks=148607 nbValidityChecks=428298 nbPropagations=290752 nbRevisions=534233
2.82 nbUselessRevisions=305861 nbAssignments=31425 nbFailedAssignments=416 nbBacktracks=19697 nbVisitedNodes=42385
2.82 nbRestartNogoods=51 mapSize=10863 nbInferences=10136 nbTooLargeKeys=0
2.82 => wckTime=2.136 cpuTime=2.03 mem=18M276
3.75
3.75 search
3.75 run=17 nbConstraintChecks=216592 nbValidityChecks=623861 nbPropagations=438772 nbRevisions=808498
3.75 nbUselessRevisions=463419 nbAssignments=46332 nbFailedAssignments=443 nbBacktracks=29550 nbVisitedNodes=62314
3.75 nbRestartNogoods=57 mapSize=15878 nbInferences=15107 nbTooLargeKeys=0
3.75 => wckTime=3.063 cpuTime=2.95 mem=19M383
5.20
5.20 search
5.20 run=18 nbConstraintChecks=339275 nbValidityChecks=970209 nbPropagations=667135 nbRevisions=1229494
5.20 nbUselessRevisions=703076 nbAssignments=69101 nbFailedAssignments=537 nbBacktracks=44331 nbVisitedNodes=93109
5.20 nbRestartNogoods=64 mapSize=23896 nbInferences=22946 nbTooLargeKeys=0
5.20 => wckTime=4.513 cpuTime=4.39 mem=21M333
7.16
7.16 search
7.16 run=19 nbConstraintChecks=504329 nbValidityChecks=1455976 nbPropagations=1016764 nbRevisions=1851891
7.16 nbUselessRevisions=1044370 nbAssignments=102221 nbFailedAssignments=761 nbBacktracks=66501
7.16 nbVisitedNodes=137350 nbRestartNogoods=72 mapSize=35009 nbInferences=33629 nbTooLargeKeys=0
7.16 => wckTime=6.473 cpuTime=6.35 mem=23M283
9.87
9.87 search
9.87 run=20 nbConstraintChecks=696025 nbValidityChecks=2011852 nbPropagations=1493521 nbRevisions=2710413
9.87 nbUselessRevisions=1526393 nbAssignments=151385 nbFailedAssignments=780 nbBacktracks=99754
9.87 nbVisitedNodes=202390 nbRestartNogoods=80 mapSize=50879 nbInferences=49467 nbTooLargeKeys=0
9.87 => wckTime=9.184 cpuTime=9.04 mem=27M184
12.92
12.92 search
12.92 run=21 nbConstraintChecks=927539 nbValidityChecks=2698038 nbPropagations=2128147 nbRevisions=3859265
12.92 nbUselessRevisions=2179265 nbAssignments=209630 nbFailedAssignments=780 nbBacktracks=138824
12.92 nbVisitedNodes=279810 nbRestartNogoods=86 mapSize=70053 nbInferences=68643 nbTooLargeKeys=0
12.92 => wckTime=12.236 cpuTime=12.08 mem=30M109
12.92
12.92 global
12.92 nbConstraintChecks=927969 nbValidityChecks=2699130 nbPropagations=2128594 nbRevisions=3859841
12.92 nbUselessRevisions=2179731 nbRestartNogoods=86 solvingWckTime=12.237 solvingCpuTime=12.08 expiredTime=no
12.92 totalExploration=yes nbFoundSolutions=0 globalCpuTime=12.43
12.92 => wckTime=12.616 cpuTime=12.38 mem=30M109
12.92
12.92 s UNSATISFIABLE
12.92 d NODES 209630
12.92 d CHECKS 927969
12.92
12.92 totalWckTime=12.696 totalCpuTime=12.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-241924-1168375778 -o ROOT/results/node17/solver-241924-1168375778 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241924-1168375778/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.47 0.23 0.25 4/86 4790
/proc/meminfo: memFree=1716336/2055920 swapFree=4192812/4192956
[pid=4789] ppid=4787 vsize=906644 CPUtime=0.02
/proc/4789/stat : 4789 (java) S 4787 4789 4239 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 185972585 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 226661 1818 1036 14 0 214244 0
[pid=4789/tid=4791] ppid=4787 vsize=906644 CPUtime=0
/proc/4789/task/4791/stat : 4791 (java) R 4787 4789 4239 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 185972588 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103171 s]
/proc/loadavg: 0.47 0.23 0.25 4/86 4790
/proc/meminfo: memFree=1716336/2055920 swapFree=4192812/4192956
[pid=4789] ppid=4787 vsize=914988 CPUtime=0.09
/proc/4789/stat : 4789 (java) R 4787 4789 4239 0 -1 0 3021 0 1 0 7 2 0 0 20 0 8 0 185972585 936947712 2767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 228747 2767 1435 14 0 215242 0
[pid=4789/tid=4791] ppid=4787 vsize=914988 CPUtime=0
/proc/4789/task/4791/stat : 4791 (java) S 4787 4789 4239 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 185972588 936947712 2767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511215 s]
/proc/loadavg: 0.47 0.23 0.25 4/86 4790
/proc/meminfo: memFree=1716336/2055920 swapFree=4192812/4192956
[pid=4789] ppid=4787 vsize=915464 CPUtime=0.5
/proc/4789/stat : 4789 (java) R 4787 4789 4239 0 -1 0 6663 0 1 0 46 4 0 0 18 0 8 0 185972585 937435136 6401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154109278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 228866 6401 2370 14 0 215336 0
[pid=4789/tid=4791] ppid=4787 vsize=915464 CPUtime=0.02
/proc/4789/task/4791/stat : 4791 (java) S 4787 4789 4239 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185972588 937435136 6401 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915464
[startup+1.33229 s]
/proc/loadavg: 0.47 0.23 0.25 3/93 4797
/proc/meminfo: memFree=1691256/2055920 swapFree=4192812/4192956
[pid=4789] ppid=4787 vsize=915464 CPUtime=1.31
/proc/4789/stat : 4789 (java) R 4787 4789 4239 0 -1 0 9045 0 1 0 124 7 0 0 25 0 8 0 185972585 937435136 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073716154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 228866 8783 2527 14 0 215336 0
[pid=4789/tid=4791] ppid=4787 vsize=915464 CPUtime=0.02
/proc/4789/task/4791/stat : 4791 (java) S 4787 4789 4239 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185972588 937435136 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 4239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185972589 937435136 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 4239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185972589 937435136 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185972592 937435136 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=915464 CPUtime=0.19
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 4239 0 -1 64 371 0 0 0 18 1 0 0 16 0 8 0 185972592 937435136 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 4239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185972592 937435136 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185972592 937435136 8783 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+2.96946 s]
/proc/loadavg: 0.47 0.23 0.25 3/93 4797
/proc/meminfo: memFree=1689976/2055920 swapFree=4192812/4192956
[pid=4789] ppid=4787 vsize=915464 CPUtime=2.93
/proc/4789/stat : 4789 (java) R 4787 4789 4239 0 -1 0 9504 0 1 0 286 7 0 0 25 0 8 0 185972585 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073699959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 228866 9241 2527 14 0 215336 0
[pid=4789/tid=4791] ppid=4787 vsize=915464 CPUtime=0.02
/proc/4789/task/4791/stat : 4791 (java) S 4787 4789 4239 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185972588 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 4239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185972589 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 4239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185972589 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185972592 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=915464 CPUtime=0.19
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 4239 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 185972592 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 4239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185972592 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185972592 937435136 9241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.2698 s]
/proc/loadavg: 0.59 0.26 0.26 3/93 4797
/proc/meminfo: memFree=1685880/2055920 swapFree=4192812/4192956
[pid=4789] ppid=4787 vsize=915464 CPUtime=6.22
/proc/4789/stat : 4789 (java) R 4787 4789 4239 0 -1 0 10486 0 1 0 614 8 0 0 25 0 8 0 185972585 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 228866 10223 2527 14 0 215336 0
[pid=4789/tid=4791] ppid=4787 vsize=915464 CPUtime=0.02
/proc/4789/task/4791/stat : 4791 (java) S 4787 4789 4239 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185972588 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 4239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185972589 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 4239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185972589 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185972592 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=915464 CPUtime=0.19
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 4239 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 185972592 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 4239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185972592 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185972592 937435136 10223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.7385 s]
/proc/loadavg: 0.71 0.29 0.27 3/93 4797
/proc/meminfo: memFree=1678152/2055920 swapFree=4192812/4192956
[pid=4789] ppid=4787 vsize=915464 CPUtime=12.66
/proc/4789/stat : 4789 (java) R 4787 4789 4239 0 -1 0 12353 0 1 0 1257 9 0 0 25 0 8 0 185972585 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073708982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4789/statm: 228866 12090 2527 14 0 215336 0
[pid=4789/tid=4791] ppid=4787 vsize=915464 CPUtime=0.02
/proc/4789/task/4791/stat : 4791 (java) S 4787 4789 4239 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185972588 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4792] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4792/stat : 4792 (java) S 4787 4789 4239 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185972589 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4793] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4793/stat : 4793 (java) S 4787 4789 4239 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185972589 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4794] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4794/stat : 4794 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185972592 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4795] ppid=4787 vsize=915464 CPUtime=0.19
/proc/4789/task/4795/stat : 4795 (java) S 4787 4789 4239 0 -1 64 373 0 0 0 18 1 0 0 16 0 8 0 185972592 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4796] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4796/stat : 4796 (java) S 4787 4789 4239 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185972592 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4789/tid=4797] ppid=4787 vsize=915464 CPUtime=0
/proc/4789/task/4797/stat : 4797 (java) S 4787 4789 4239 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185972592 937435136 12090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 12.9907
CPU time (s): 12.869
CPU user time (s): 12.7641
CPU system time (s): 0.104984
CPU usage (%): 99.0636
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7641
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12500
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= 1283
involuntary context switches= 1713
runsolver used 0.029995 s user time and 0.041993 s system time
The end
Begin job on node17 on Tue Jan 9 20:49:38 UTC 2007
IDJOB= 241924
IDBENCH= 7354
FILE ID= node17/241924-1168375778
PBS_JOBID= 3522296
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-150-60_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241924-1168375778/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-241924-1168375778 -o ROOT/results/node17/solver-241924-1168375778 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241924-1168375778/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ca337bbeb6e518888e00c1dfffb8dbc8
RANDOM SEED= 869461211
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.236
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.236
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: 1716752 kB
Buffers: 67108 kB
Cached: 153076 kB
SwapCached: 0 kB
Active: 176820 kB
Inactive: 104336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5024 kB
Writeback: 0 kB
Mapped: 81008 kB
Slab: 42876 kB
Committed_AS: 5758276 kB
PageTables: 2208 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= 66557 MiB
End job on node17 on Tue Jan 9 20:49:51 UTC 2007