0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/240238-1168371038/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.50 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.50 => wckTime=0.155 cpuTime=0.1 mem=7M894
0.50
0.50 relations being loaded...
0.50
0.50 constraints being loaded...
0.88 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.88 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.88 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.88 => wckTime=0.531 cpuTime=0.35 mem=24M490
0.95
0.95 solver IterativeSystematicSolver being built...
1.15 => wckTime=0.801 cpuTime=0.51 mem=18M536
1.32
1.32 preprocessing
1.32 nbConstraintChecks=101872 nbPropagations=2568 nbRevisions=22665 nbUselessRevisions=17876 nbSingletonTests=659
1.32 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=2927 detectedInconsistency=no
1.32 => wckTime=0.163 cpuTime=0.13 mem=18M536
1.38
1.38 search
1.38 run=0 nbConstraintChecks=5547 nbPropagations=3025 nbRevisions=24487 nbUselessRevisions=18995 nbAssignments=285
1.38 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=296 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.38 nbTooLargeKeys=0
1.38 => wckTime=0.233 cpuTime=0.19 mem=19M525
1.43
1.43 search
1.43 run=1 nbConstraintChecks=10759 nbPropagations=6522 nbRevisions=50666 nbUselessRevisions=39051
1.43 nbAssignments=572 nbFailedAssignments=8 nbBacktracks=26 nbVisitedNodes=592 nbRestartNogoods=1 mapSize=17
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.28 cpuTime=0.23 mem=19M525
1.49
1.49 search
1.49 run=2 nbConstraintChecks=17845 nbPropagations=10621 nbRevisions=79201 nbUselessRevisions=60550
1.49 nbAssignments=884 nbFailedAssignments=18 nbBacktracks=58 nbVisitedNodes=924 nbRestartNogoods=2 mapSize=35
1.49 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.336 cpuTime=0.28 mem=19M525
1.55
1.55 search
1.55 run=3 nbConstraintChecks=32949 nbPropagations=15794 nbRevisions=113616 nbUselessRevisions=86396
1.55 nbAssignments=1237 nbFailedAssignments=27 nbBacktracks=91 nbVisitedNodes=1234 nbRestartNogoods=4 mapSize=53
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.396 cpuTime=0.33 mem=20M498
1.61
1.61 search
1.61 run=4 nbConstraintChecks=44105 nbPropagations=21767 nbRevisions=151953 nbUselessRevisions=114721
1.61 nbAssignments=1559 nbFailedAssignments=41 nbBacktracks=144 nbVisitedNodes=1583 nbRestartNogoods=6 mapSize=77
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.457 cpuTime=0.38 mem=20M498
1.68
1.68 search
1.68 run=5 nbConstraintChecks=61183 nbPropagations=28997 nbRevisions=196982 nbUselessRevisions=147798
1.68 nbAssignments=1967 nbFailedAssignments=56 nbBacktracks=219 nbVisitedNodes=1972 nbRestartNogoods=9 mapSize=102
1.68 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.526 cpuTime=0.44 mem=20M498
1.76
1.76 search
1.76 run=6 nbConstraintChecks=100302 nbPropagations=38608 nbRevisions=257843 nbUselessRevisions=192102
1.76 nbAssignments=2479 nbFailedAssignments=90 nbBacktracks=341 nbVisitedNodes=2458 nbRestartNogoods=14 mapSize=168
1.76 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.61 cpuTime=0.53 mem=21M471
1.83
1.83 search
1.83 run=7 nbConstraintChecks=124766 nbPropagations=49888 nbRevisions=326527 nbUselessRevisions=241029
1.83 nbAssignments=2951 nbFailedAssignments=143 nbBacktracks=511 nbVisitedNodes=3036 nbRestartNogoods=17
1.83 mapSize=266 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.68 cpuTime=0.6 mem=21M471
1.93
1.93 search
1.93 run=8 nbConstraintChecks=169662 nbPropagations=63949 nbRevisions=410881 nbUselessRevisions=299908
1.93 nbAssignments=3573 nbFailedAssignments=213 nbBacktracks=778 nbVisitedNodes=3776 nbRestartNogoods=23
1.93 mapSize=397 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.778 cpuTime=0.69 mem=22M444
2.07
2.07 search
2.07 run=9 nbConstraintChecks=248322 nbPropagations=80927 nbRevisions=545404 nbUselessRevisions=402938
2.07 nbAssignments=4088 nbFailedAssignments=275 nbBacktracks=1169 nbVisitedNodes=4416 nbRestartNogoods=27
2.07 mapSize=516 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=0.916 cpuTime=0.82 mem=22M444
2.26
2.26 search
2.26 run=10 nbConstraintChecks=365917 nbPropagations=102122 nbRevisions=754304 nbUselessRevisions=571199
2.26 nbAssignments=4812 nbFailedAssignments=363 nbBacktracks=1748 nbVisitedNodes=5311 nbRestartNogoods=32
2.26 mapSize=679 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=1.106 cpuTime=1.0 mem=22M444
2.46
2.46 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=23M417)
2.52
2.52 search
2.52 run=11 nbConstraintChecks=543580 nbPropagations=130161 nbRevisions=1068231 nbUselessRevisions=830646
2.52 nbAssignments=5974 nbFailedAssignments=577 nbBacktracks=2613 nbVisitedNodes=6869 nbRestartNogoods=38
2.52 => wckTime=1.369 cpuTime=1.27 mem=23M417
2.80
2.80 search
2.80 run=12 nbConstraintChecks=772023 nbPropagations=166229 nbRevisions=1532010 nbUselessRevisions=1222804
2.80 nbAssignments=7507 nbFailedAssignments=729 nbBacktracks=3915 nbVisitedNodes=8718 nbRestartNogoods=46
2.80 => wckTime=1.654 cpuTime=1.55 mem=23M417
3.28
3.28 search
3.28 run=13 nbConstraintChecks=1163651 nbPropagations=216104 nbRevisions=2246629 nbUselessRevisions=1836065
3.28 nbAssignments=9842 nbFailedAssignments=967 nbBacktracks=5871 nbVisitedNodes=11438 nbRestartNogoods=52
3.28 => wckTime=2.129 cpuTime=2.02 mem=23M417
4.07
4.07 search
4.07 run=14 nbConstraintChecks=1872555 nbPropagations=289929 nbRevisions=3410096 nbUselessRevisions=2843759
4.07 nbAssignments=13305 nbFailedAssignments=1469 nbBacktracks=8793 nbVisitedNodes=15907 nbRestartNogoods=55
4.07 => wckTime=2.922 cpuTime=2.8 mem=23M417
5.42
5.42 search
5.42 run=15 nbConstraintChecks=3164682 nbPropagations=406602 nbRevisions=5421223 nbUselessRevisions=4605488
5.42 nbAssignments=18602 nbFailedAssignments=2321 nbBacktracks=13195 nbVisitedNodes=22742 nbRestartNogoods=60
5.42 => wckTime=4.269 cpuTime=4.13 mem=23M417
7.47
7.47 search
7.47 run=16 nbConstraintChecks=5059139 nbPropagations=588600 nbRevisions=8613685 nbUselessRevisions=7404164
7.47 nbAssignments=26642 nbFailedAssignments=3643 nbBacktracks=19773 nbVisitedNodes=33353 nbRestartNogoods=66
7.47 => wckTime=6.318 cpuTime=6.16 mem=23M417
10.59
10.59 search
10.59 run=17 nbConstraintChecks=7980525 nbPropagations=869259 nbRevisions=13721967 nbUselessRevisions=11909044
10.59 nbAssignments=38466 nbFailedAssignments=5520 nbBacktracks=29628 nbVisitedNodes=48601 nbRestartNogoods=75
10.59 => wckTime=9.439 cpuTime=9.25 mem=23M417
15.87
15.87 search
15.87 run=18 nbConstraintChecks=13489827 nbPropagations=1328183 nbRevisions=22499759 nbUselessRevisions=19689432
15.87 nbAssignments=56785 nbFailedAssignments=8905 nbBacktracks=44415 nbVisitedNodes=73685 nbRestartNogoods=83
15.87 => wckTime=14.719 cpuTime=14.48 mem=23M417
23.29
23.29 search
23.29 run=19 nbConstraintChecks=20908190 nbPropagations=2032563 nbRevisions=36067662 nbUselessRevisions=31705775
23.29 nbAssignments=84241 nbFailedAssignments=14139 nbBacktracks=66591 nbVisitedNodes=111267 nbRestartNogoods=90
23.29 => wckTime=22.142 cpuTime=21.84 mem=23M417
34.12
34.12 search
34.12 run=20 nbConstraintChecks=31719075 nbPropagations=3091441 nbRevisions=56867456 nbUselessRevisions=50193920
34.12 nbAssignments=124712 nbFailedAssignments=21320 nbBacktracks=99843 nbVisitedNodes=165532 nbRestartNogoods=102
34.12 => wckTime=32.968 cpuTime=32.56 mem=23M417
49.91
49.91 search
49.91 run=21 nbConstraintChecks=47210559 nbPropagations=4669926 nbRevisions=88158673 nbUselessRevisions=78085439
49.91 nbAssignments=184966 nbFailedAssignments=31643 nbBacktracks=149725 nbVisitedNodes=246319 nbRestartNogoods=110
49.91 => wckTime=48.763 cpuTime=48.22 mem=23M417
72.21
72.21 search
72.21 run=22 nbConstraintChecks=69472283 nbPropagations=6988272 nbRevisions=134404824 nbUselessRevisions=119371269
72.21 nbAssignments=269432 nbFailedAssignments=45619 nbBacktracks=219738 nbVisitedNodes=359243 nbRestartNogoods=119
72.21 => wckTime=71.056 cpuTime=70.3 mem=23M417
72.21
72.21 global
72.21 nbConstraintChecks=69574155 nbPropagations=6990840 nbRevisions=134427489 nbUselessRevisions=119389145
72.21 nbRestartNogoods=119 solvingWckTime=71.057 solvingCpuTime=70.3 expiredTime=no totalExploration=no
72.21 nbFoundSolutions=1 globalCpuTime=70.89
72.21 => wckTime=71.862 cpuTime=70.83 mem=23M417
72.21
72.21 s SATISFIABLE
72.21 v 19 3 4 18 13 11 12 0 17 16 5 15 1 9 6 2 7 8 14 10 5 15 16 8 9 4 2 12 13 1 3 17 7 0 11 18 10 6 19 14 2 10 15 12 1 7 19 4 18 8 6 11 3 13 16 5 14 9 0 17 7 1 17 19 10 9 18 2 16 11 13 14 12 6 8 3 0 4 15 5 0 6 14 16 18 8 10 9 12 17 11 1 5 15 4 13 19 7 3 2 9 14 7 15 17 3 8 19 5 6 12 2 11 1 10 4 18 16 13 0 11 18 1 5 6 0 15 10 8 4 9 13 19 17 7 14 2 12 16 3 3 9 12 0 2 16 13 11 10 5 8 6 4 19 14 17 15 1 18 7 4 13 19 1 7 6 11 3 9 12 14 10 0 18 2 8 16 5 17 15 6 0 11 13 3 19 4 15 14 2 1 16 9 5 12 7 8 17 10 18 18 17 13 14 19 2 9 1 4 7 10 12 16 8 3 15 11 0 5 6 12 5 2 10 0 17 1 7 15 14 16 18 13 4 19 9 6 3 11 8 1 7 6 4 16 10 5 8 11 13 17 3 15 14 0 19 9 18 2 12 14 4 5 2 11 15 7 18 6 3 0 9 17 10 13 1 12 19 8 16 8 2 9 7 14 5 0 13 19 15 18 4 6 16 17 12 3 10 1 11 15 11 0 17 5 1 16 14 3 10 19 8 18 7 9 6 4 2 12 13 16 12 3 6 8 13 14 17 2 18 4 19 10 11 1 0 5 15 7 9 17 8 10 9 4 12 3 5 0 19 15 7 14 2 18 16 13 11 6 1 13 19 8 11 12 18 6 16 1 0 7 5 2 3 15 10 17 14 9 4 10 16 18 3 15 14 17 6 7 9 2 0 8 12 5 11 1 13 4 19
72.21 d NODES 269432
72.21 d CHECKS 69574155
72.21
72.21 totalWckTime=71.944 totalCpuTime=70.89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-240238-1168371038 -o ROOT/results/node7/solver-240238-1168371038 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240238-1168371038/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: 2.00 2.00 1.93 3/93 15725
/proc/meminfo: memFree=1678312/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=1784 CPUtime=0
/proc/15724/stat : 15724 (java) D 15722 15724 14409 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 185499250 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/15724/statm: 446 136 102 14 0 91 0
[startup+0.108544 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 15725
/proc/meminfo: memFree=1678312/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=912272 CPUtime=0.07
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 2644 0 1 0 6 1 0 0 20 0 8 0 185499250 934166528 2391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228068 2391 1288 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912272
[startup+0.516587 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 15725
/proc/meminfo: memFree=1678312/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=915328 CPUtime=0.46
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 6385 0 1 0 42 4 0 0 18 0 8 0 185499250 937295872 6124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228832 6124 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34263 s]
/proc/loadavg: 2.08 2.02 1.94 4/100 15732
/proc/meminfo: memFree=1641264/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=915676 CPUtime=1.28
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 12014 0 1 0 120 8 0 0 23 0 8 0 185499250 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228919 11752 2523 14 0 215389 0
[pid=15724/tid=15726] ppid=15722 vsize=915676 CPUtime=0.06
/proc/15724/task/15726/stat : 15726 (java) S 15722 15724 14409 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185499255 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15727] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15727/stat : 15727 (java) S 15722 15724 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15728] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15728/stat : 15728 (java) S 15722 15724 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15729] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15729/stat : 15729 (java) S 15722 15724 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185499260 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15730] ppid=15722 vsize=915676 CPUtime=0.28
/proc/15724/task/15730/stat : 15730 (java) S 15722 15724 14409 0 -1 64 465 0 0 0 27 1 0 0 15 0 8 0 185499260 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15731] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15731/stat : 15731 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185499260 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15732] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15732/stat : 15732 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185499260 937652224 11752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915676
[startup+2.99485 s]
/proc/loadavg: 2.08 2.02 1.94 3/100 15732
/proc/meminfo: memFree=1641072/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=915676 CPUtime=2.91
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 12036 0 1 0 283 8 0 0 25 0 8 0 185499250 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228919 11773 2524 14 0 215389 0
[pid=15724/tid=15726] ppid=15722 vsize=915676 CPUtime=0.06
/proc/15724/task/15726/stat : 15726 (java) S 15722 15724 14409 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185499255 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15727] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15727/stat : 15727 (java) S 15722 15724 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15728] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15728/stat : 15728 (java) S 15722 15724 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15729] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15729/stat : 15729 (java) S 15722 15724 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185499260 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15730] ppid=15722 vsize=915676 CPUtime=0.33
/proc/15724/task/15730/stat : 15730 (java) S 15722 15724 14409 0 -1 64 484 0 0 0 32 1 0 0 16 0 8 0 185499260 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15731] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15731/stat : 15731 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185499260 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15732] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15732/stat : 15732 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185499260 937652224 11773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915676
[startup+6.27419 s]
/proc/loadavg: 2.07 2.02 1.94 3/100 15732
/proc/meminfo: memFree=1640880/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=915676 CPUtime=6.16
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 12040 0 1 0 607 9 0 0 25 0 8 0 185499250 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228919 11776 2524 14 0 215389 0
[pid=15724/tid=15726] ppid=15722 vsize=915676 CPUtime=0.06
/proc/15724/task/15726/stat : 15726 (java) S 15722 15724 14409 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15727] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15727/stat : 15727 (java) S 15722 15724 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15728] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15728/stat : 15728 (java) S 15722 15724 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15729] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15729/stat : 15729 (java) S 15722 15724 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15730] ppid=15722 vsize=915676 CPUtime=0.33
/proc/15724/task/15730/stat : 15730 (java) S 15722 15724 14409 0 -1 64 487 0 0 0 32 1 0 0 16 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15731] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15731/stat : 15731 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15732] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15732/stat : 15732 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915676
[startup+12.7699 s]
/proc/loadavg: 2.07 2.02 1.94 3/100 15732
/proc/meminfo: memFree=1640880/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=915676 CPUtime=12.6
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 12040 0 1 0 1251 9 0 0 25 0 8 0 185499250 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228919 11776 2524 14 0 215389 0
[pid=15724/tid=15726] ppid=15722 vsize=915676 CPUtime=0.06
/proc/15724/task/15726/stat : 15726 (java) S 15722 15724 14409 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15727] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15727/stat : 15727 (java) S 15722 15724 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15728] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15728/stat : 15728 (java) S 15722 15724 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15729] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15729/stat : 15729 (java) S 15722 15724 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15730] ppid=15722 vsize=915676 CPUtime=0.33
/proc/15724/task/15730/stat : 15730 (java) S 15722 15724 14409 0 -1 64 487 0 0 0 32 1 0 0 16 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15731] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15731/stat : 15731 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15732] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15732/stat : 15732 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915676
[startup+25.6262 s]
/proc/loadavg: 2.06 2.01 1.94 3/100 15732
/proc/meminfo: memFree=1640944/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=915676 CPUtime=25.34
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 12040 0 1 0 2525 9 0 0 25 0 8 0 185499250 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074010100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228919 11776 2524 14 0 215389 0
[pid=15724/tid=15726] ppid=15722 vsize=915676 CPUtime=0.06
/proc/15724/task/15726/stat : 15726 (java) S 15722 15724 14409 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15727] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15727/stat : 15727 (java) S 15722 15724 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15728] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15728/stat : 15728 (java) S 15722 15724 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15729] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15729/stat : 15729 (java) S 15722 15724 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15730] ppid=15722 vsize=915676 CPUtime=0.33
/proc/15724/task/15730/stat : 15730 (java) S 15722 15724 14409 0 -1 64 487 0 0 0 32 1 0 0 16 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15731] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15731/stat : 15731 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15732] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15732/stat : 15732 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915676
[startup+51.2549 s]
/proc/loadavg: 2.10 2.03 1.94 3/100 15732
/proc/meminfo: memFree=1641008/2055920 swapFree=4192812/4192956
[pid=15724] ppid=15722 vsize=915676 CPUtime=50.72
/proc/15724/stat : 15724 (java) R 15722 15724 14409 0 -1 0 12040 0 1 0 5063 9 0 0 25 0 8 0 185499250 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15724/statm: 228919 11776 2524 14 0 215389 0
[pid=15724/tid=15726] ppid=15722 vsize=915676 CPUtime=0.06
/proc/15724/task/15726/stat : 15726 (java) S 15722 15724 14409 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15727] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15727/stat : 15727 (java) S 15722 15724 14409 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15728] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15728/stat : 15728 (java) S 15722 15724 14409 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185499255 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15729] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15729/stat : 15729 (java) S 15722 15724 14409 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15730] ppid=15722 vsize=915676 CPUtime=0.33
/proc/15724/task/15730/stat : 15730 (java) S 15722 15724 14409 0 -1 64 487 0 0 0 32 1 0 0 16 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15731] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15731/stat : 15731 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15724/tid=15732] ppid=15722 vsize=915676 CPUtime=0
/proc/15724/task/15732/stat : 15732 (java) S 15722 15724 14409 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185499260 937652224 11776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 72.2539
CPU time (s): 71.5161
CPU user time (s): 71.4051
CPU system time (s): 0.110983
CPU usage (%): 98.9789
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.4051
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12049
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= 2858
involuntary context switches= 5882
runsolver used 0.098984 s user time and 0.233964 s system time
The end
Begin job on node7 on Tue Jan 9 19:30:38 UTC 2007
IDJOB= 240238
IDBENCH= 7115
FILE ID= node7/240238-1168371038
PBS_JOBID= 3503854
Free space on /tmp= 66559 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240238-1168371038/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-240238-1168371038 -o ROOT/results/node7/solver-240238-1168371038 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240238-1168371038/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c1a49e342b63eb07c99f6506994d089
RANDOM SEED= 582158293
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.220
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.220
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: 1678792 kB
Buffers: 44488 kB
Cached: 184944 kB
SwapCached: 0 kB
Active: 240560 kB
Inactive: 86648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1678792 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2204 kB
Writeback: 0 kB
Mapped: 126764 kB
Slab: 34468 kB
Committed_AS: 6757608 kB
PageTables: 2488 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= 66559 MiB
End job on node7 on Tue Jan 9 19:31:51 UTC 2007