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/239801-1168367591/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.45 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.45 => wckTime=0.145 cpuTime=0.11 mem=7M894
0.45
0.45 relations being loaded...
0.45
0.45 constraints being loaded...
0.81 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.81 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.81 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.81 => wckTime=0.509 cpuTime=0.35 mem=23M497
0.88
0.88 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.758 cpuTime=0.48 mem=18M158
1.24
1.24 preprocessing
1.24 nbConstraintChecks=92547 nbPropagations=2362 nbRevisions=23398 nbUselessRevisions=19050 nbSingletonTests=652
1.24 nbEffectiveSingletonTests=0 nbESACBranches=13 nbRemovedValues=2647 detectedInconsistency=no
1.24 => wckTime=0.174 cpuTime=0.13 mem=18M158
1.28
1.28 search
1.28 run=0 nbConstraintChecks=10170 nbPropagations=2741 nbRevisions=29356 nbUselessRevisions=24261 nbAssignments=51
1.28 nbFailedAssignments=8 nbBacktracks=19 nbVisitedNodes=63 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.28 nbTooLargeKeys=0
1.28 => wckTime=0.215 cpuTime=0.16 mem=19M149
1.30
1.30 search
1.30 run=1 nbConstraintChecks=21525 nbPropagations=6096 nbRevisions=65296 nbUselessRevisions=54186
1.30 nbAssignments=136 nbFailedAssignments=11 nbBacktracks=35 nbVisitedNodes=110 nbRestartNogoods=2 mapSize=13
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.24 cpuTime=0.19 mem=19M149
1.32
1.32 search
1.32 run=2 nbConstraintChecks=26294 nbPropagations=9732 nbRevisions=104079 nbUselessRevisions=86558
1.32 nbAssignments=189 nbFailedAssignments=13 nbBacktracks=61 nbVisitedNodes=167 nbRestartNogoods=3 mapSize=16
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.258 cpuTime=0.2 mem=19M149
1.35
1.35 search
1.35 run=3 nbConstraintChecks=40049 nbPropagations=13939 nbRevisions=151805 nbUselessRevisions=126789
1.35 nbAssignments=261 nbFailedAssignments=20 nbBacktracks=97 nbVisitedNodes=255 nbRestartNogoods=4 mapSize=31
1.35 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.283 cpuTime=0.23 mem=19M149
1.38
1.38 search
1.38 run=4 nbConstraintChecks=52061 nbPropagations=18717 nbRevisions=207100 nbUselessRevisions=173587
1.38 nbAssignments=369 nbFailedAssignments=27 nbBacktracks=149 nbVisitedNodes=376 nbRestartNogoods=5 mapSize=41
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.312 cpuTime=0.26 mem=19M149
1.42
1.42 search
1.42 run=5 nbConstraintChecks=77783 nbPropagations=24457 nbRevisions=279317 nbUselessRevisions=235309
1.42 nbAssignments=518 nbFailedAssignments=47 nbBacktracks=244 nbVisitedNodes=564 nbRestartNogoods=8 mapSize=77
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.356 cpuTime=0.3 mem=19M149
1.48
1.48 search
1.48 run=6 nbConstraintChecks=114177 nbPropagations=31643 nbRevisions=374642 nbUselessRevisions=317228
1.48 nbAssignments=732 nbFailedAssignments=74 nbBacktracks=365 nbVisitedNodes=790 nbRestartNogoods=11 mapSize=129
1.48 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.412 cpuTime=0.35 mem=19M149
1.54
1.54 search
1.54 run=7 nbConstraintChecks=149765 nbPropagations=40222 nbRevisions=492635 nbUselessRevisions=418807
1.54 nbAssignments=970 nbFailedAssignments=101 nbBacktracks=538 nbVisitedNodes=1084 nbRestartNogoods=12 mapSize=181
1.54 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.481 cpuTime=0.42 mem=19M149
1.64
1.64 search
1.64 run=8 nbConstraintChecks=216418 nbPropagations=51118 nbRevisions=655265 nbUselessRevisions=559779
1.64 nbAssignments=1347 nbFailedAssignments=151 nbBacktracks=808 nbVisitedNodes=1561 nbRestartNogoods=16
1.64 mapSize=280 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.577 cpuTime=0.51 mem=20M125
1.77
1.77 search
1.77 run=9 nbConstraintChecks=277822 nbPropagations=64384 nbRevisions=859878 nbUselessRevisions=738283
1.77 nbAssignments=1827 nbFailedAssignments=201 nbBacktracks=1193 nbVisitedNodes=2133 nbRestartNogoods=21
1.77 mapSize=368 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.703 cpuTime=0.62 mem=20M125
1.96
1.96 search
1.96 run=10 nbConstraintChecks=423669 nbPropagations=82276 nbRevisions=1163742 nbUselessRevisions=1005713
1.96 nbAssignments=2522 nbFailedAssignments=274 nbBacktracks=1778 nbVisitedNodes=2969 nbRestartNogoods=25
1.96 mapSize=515 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.894 cpuTime=0.8 mem=20M125
2.19
2.19 search
2.19 run=11 nbConstraintChecks=583902 nbPropagations=105877 nbRevisions=1579005 nbUselessRevisions=1373178
2.19 nbAssignments=3581 nbFailedAssignments=375 nbBacktracks=2659 nbVisitedNodes=4192 nbRestartNogoods=28
2.19 mapSize=717 nbInferences=0 nbTooLargeKeys=0
2.19 => wckTime=1.125 cpuTime=1.03 mem=21M100
2.50
2.50 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=21M100)
2.54
2.54 search
2.54 run=12 nbConstraintChecks=849876 nbPropagations=138453 nbRevisions=2177949 nbUselessRevisions=1905029
2.54 nbAssignments=5119 nbFailedAssignments=554 nbBacktracks=3956 nbVisitedNodes=6071 nbRestartNogoods=32
2.54 => wckTime=1.476 cpuTime=1.37 mem=21M100
2.98
2.98 search
2.98 run=13 nbConstraintChecks=1225213 nbPropagations=184860 nbRevisions=3023518 nbUselessRevisions=2654947
2.98 nbAssignments=7517 nbFailedAssignments=841 nbBacktracks=5905 nbVisitedNodes=8891 nbRestartNogoods=42
2.98 => wckTime=1.919 cpuTime=1.81 mem=22M75
3.69
3.70 search
3.70 run=14 nbConstraintChecks=1904239 nbPropagations=254565 nbRevisions=4299888 nbUselessRevisions=3780578
3.70 nbAssignments=11012 nbFailedAssignments=1394 nbBacktracks=8824 nbVisitedNodes=13460 nbRestartNogoods=45
3.70 => wckTime=2.632 cpuTime=2.52 mem=22M75
5.03
5.03 search
5.03 run=15 nbConstraintChecks=3372132 nbPropagations=372698 nbRevisions=6534924 nbUselessRevisions=5754362
5.03 nbAssignments=16538 nbFailedAssignments=2528 nbBacktracks=13205 nbVisitedNodes=21071 nbRestartNogoods=51
5.03 => wckTime=3.965 cpuTime=3.85 mem=22M75
7.13
7.13 search
7.13 run=16 nbConstraintChecks=5556201 nbPropagations=569757 nbRevisions=10172914 nbUselessRevisions=8959596
7.13 nbAssignments=25131 nbFailedAssignments=4533 nbBacktracks=19782 nbVisitedNodes=33397 nbRestartNogoods=56
7.13 => wckTime=6.064 cpuTime=5.93 mem=22M75
10.49
10.49 search
10.49 run=17 nbConstraintChecks=9334512 nbPropagations=894562 nbRevisions=16357541 nbUselessRevisions=14437369
10.49 nbAssignments=37677 nbFailedAssignments=7190 nbBacktracks=29636 nbVisitedNodes=50990 nbRestartNogoods=64
10.49 => wckTime=9.425 cpuTime=9.28 mem=22M75
15.54
15.54 search
15.54 run=18 nbConstraintChecks=15163241 nbPropagations=1409592 nbRevisions=26470944 nbUselessRevisions=23421432
15.54 nbAssignments=56461 nbFailedAssignments=11169 nbBacktracks=44421 nbVisitedNodes=77423 nbRestartNogoods=77
15.54 => wckTime=14.475 cpuTime=14.31 mem=22M75
22.72
22.72 search
22.72 run=19 nbConstraintChecks=23071248 nbPropagations=2189114 nbRevisions=41941971 nbUselessRevisions=37183054
22.72 nbAssignments=84788 nbFailedAssignments=17306 nbBacktracks=66589 nbVisitedNodes=117363 nbRestartNogoods=82
22.72 => wckTime=21.658 cpuTime=21.44 mem=22M75
33.54
33.54 search
33.54 run=20 nbConstraintChecks=35141848 nbPropagations=3373475 nbRevisions=65506961 nbUselessRevisions=58153061
33.54 nbAssignments=126122 nbFailedAssignments=25365 nbBacktracks=99849 nbVisitedNodes=173987 nbRestartNogoods=93
33.54 => wckTime=32.481 cpuTime=32.22 mem=22M75
50.29
50.29 search
50.29 run=21 nbConstraintChecks=53721851 nbPropagations=5187143 nbRevisions=101457754 nbUselessRevisions=90130597
50.29 nbAssignments=189767 nbFailedAssignments=39109 nbBacktracks=149730 nbVisitedNodes=264576 nbRestartNogoods=100
50.29 => wckTime=49.225 cpuTime=48.86 mem=22M75
75.82
75.82 search
75.82 run=22 nbConstraintChecks=82411857 nbPropagations=7961916 nbRevisions=156991712 nbUselessRevisions=139597323
75.82 nbAssignments=287016 nbFailedAssignments=61465 nbBacktracks=224549 nbVisitedNodes=403965 nbRestartNogoods=111
75.82 => wckTime=74.754 cpuTime=74.26 mem=22M75
98.81
98.81 search
98.81 run=23 nbConstraintChecks=108070741 nbPropagations=11599153 nbRevisions=229736674 nbUselessRevisions=204343914
98.81 nbAssignments=374047 nbFailedAssignments=81654 nbBacktracks=290978 nbVisitedNodes=528707 nbRestartNogoods=116
98.81 => wckTime=97.748 cpuTime=97.13 mem=22M75
98.81
98.81 global
98.81 nbConstraintChecks=108163288 nbPropagations=11601515 nbRevisions=229760072 nbUselessRevisions=204362964
98.81 nbRestartNogoods=116 solvingWckTime=97.749 solvingCpuTime=97.14 expiredTime=no totalExploration=no
98.81 nbFoundSolutions=1 globalCpuTime=97.67
98.81 => wckTime=98.511 cpuTime=97.63 mem=22M75
98.82
98.82 s SATISFIABLE
98.82 v 16 18 13 17 1 0 3 14 2 12 15 7 6 8 4 9 5 11 10 19 2 7 3 10 6 17 4 8 12 1 16 19 18 11 15 14 9 13 0 5 7 16 9 2 14 10 5 12 13 0 19 11 15 1 6 18 17 3 4 8 3 12 8 4 2 1 6 17 5 15 11 13 10 16 7 0 19 14 9 18 14 15 0 18 19 8 11 6 7 3 1 5 13 9 12 16 2 10 17 4 9 5 10 1 3 7 15 11 16 14 13 17 8 18 2 19 4 6 12 0 6 3 14 12 0 4 7 2 15 17 10 8 11 13 5 1 18 9 19 16 18 14 4 7 5 9 12 16 17 2 6 3 19 10 13 11 1 0 8 15 5 11 19 15 8 2 16 13 14 9 18 10 4 0 1 17 3 12 7 6 0 1 17 14 10 19 8 7 4 5 2 18 12 3 16 6 13 15 11 9 13 19 7 8 4 18 9 1 0 6 5 14 2 15 11 10 12 16 3 17 8 10 11 6 16 15 1 9 18 19 4 12 0 5 3 2 7 17 13 14 10 4 6 16 9 11 13 0 8 18 12 1 3 19 17 5 14 2 15 7 17 6 15 11 13 3 10 18 1 7 8 9 5 14 19 12 0 4 16 2 1 9 16 0 11 12 19 10 6 13 17 2 14 7 8 4 15 18 5 3 19 13 2 9 15 16 18 3 11 10 0 4 7 17 14 8 6 5 1 12 11 2 5 19 12 14 17 15 10 4 3 0 16 6 9 7 8 1 18 13 15 17 12 3 7 5 0 4 19 11 14 16 9 2 18 13 10 8 6 1 12 0 1 13 18 6 14 5 9 8 7 15 17 4 10 3 16 19 2 11 4 8 18 5 17 13 2 19 3 16 9 6 1 12 0 15 11 7 14 10
98.82 d NODES 374047
98.82 d CHECKS 108163288
98.82
98.82 totalWckTime=98.588 totalCpuTime=97.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-239801-1168367591 -o ROOT/results/node75/solver-239801-1168367591 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239801-1168367591/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.07 2.02 1.89 3/80 9563
/proc/meminfo: memFree=1759072/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=18540 CPUtime=0
/proc/9562/stat : 9562 (runsolver) R 9560 9562 8408 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 185158501 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9562/statm: 4635 279 244 17 0 2626 0
[startup+0.101921 s]
/proc/loadavg: 2.07 2.02 1.89 3/80 9563
/proc/meminfo: memFree=1759072/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=914988 CPUtime=0.08
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 2986 0 1 0 7 1 0 0 24 0 8 0 185158501 936947712 2732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228747 2732 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.509968 s]
/proc/loadavg: 2.07 2.02 1.89 3/80 9563
/proc/meminfo: memFree=1759072/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=915328 CPUtime=0.46
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 6430 0 1 0 43 3 0 0 25 0 8 0 185158501 937295872 6169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228832 6169 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33106 s]
/proc/loadavg: 2.07 2.02 1.89 3/87 9570
/proc/meminfo: memFree=1723176/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=915676 CPUtime=1.27
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 11706 0 1 0 119 8 0 0 25 0 8 0 185158501 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074005563 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228919 11444 2524 14 0 215389 0
[pid=9562/tid=9564] ppid=9560 vsize=915676 CPUtime=0.06
/proc/9562/task/9564/stat : 9564 (java) S 9560 9562 8408 0 -1 64 843 0 0 0 6 0 0 0 16 0 8 0 185158505 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9565] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9565/stat : 9565 (java) S 9560 9562 8408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9566] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9566/stat : 9566 (java) S 9560 9562 8408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9567] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9567/stat : 9567 (java) S 9560 9562 8408 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 185158509 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9568] ppid=9560 vsize=915676 CPUtime=0.27
/proc/9562/task/9568/stat : 9568 (java) S 9560 9562 8408 0 -1 64 468 0 0 0 26 1 0 0 15 0 8 0 185158509 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9569] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9569/stat : 9569 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 185158509 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9570] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9570/stat : 9570 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185158509 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915676
[startup+2.98226 s]
/proc/loadavg: 2.07 2.02 1.89 3/87 9570
/proc/meminfo: memFree=1723048/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=915676 CPUtime=2.92
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 11723 0 1 0 283 9 0 0 25 0 8 0 185158501 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074003636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228919 11460 2524 14 0 215389 0
[pid=9562/tid=9564] ppid=9560 vsize=915676 CPUtime=0.06
/proc/9562/task/9564/stat : 9564 (java) S 9560 9562 8408 0 -1 64 843 0 0 0 6 0 0 0 17 0 8 0 185158505 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9565] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9565/stat : 9565 (java) S 9560 9562 8408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9566] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9566/stat : 9566 (java) S 9560 9562 8408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9567] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9567/stat : 9567 (java) S 9560 9562 8408 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 185158509 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9568] ppid=9560 vsize=915676 CPUtime=0.3
/proc/9562/task/9568/stat : 9568 (java) S 9560 9562 8408 0 -1 64 484 0 0 0 29 1 0 0 16 0 8 0 185158509 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9569] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9569/stat : 9569 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 185158509 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9570] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9570/stat : 9570 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185158509 937652224 11460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676
[startup+6.18364 s]
/proc/loadavg: 2.07 2.02 1.89 3/87 9570
/proc/meminfo: memFree=1722984/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=915676 CPUtime=6.1
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 11726 0 1 0 601 9 0 0 25 0 8 0 185158501 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074041176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228919 11462 2524 14 0 215389 0
[pid=9562/tid=9564] ppid=9560 vsize=915676 CPUtime=0.06
/proc/9562/task/9564/stat : 9564 (java) S 9560 9562 8408 0 -1 64 843 0 0 0 6 0 0 0 16 0 8 0 185158505 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9565] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9565/stat : 9565 (java) S 9560 9562 8408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9566] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9566/stat : 9566 (java) S 9560 9562 8408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9567] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9567/stat : 9567 (java) S 9560 9562 8408 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9568] ppid=9560 vsize=915676 CPUtime=0.3
/proc/9562/task/9568/stat : 9568 (java) S 9560 9562 8408 0 -1 64 486 0 0 0 29 1 0 0 17 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9569] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9569/stat : 9569 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9570] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9570/stat : 9570 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915676
[startup+12.6604 s]
/proc/loadavg: 2.06 2.01 1.89 3/87 9570
/proc/meminfo: memFree=1722984/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=915676 CPUtime=12.55
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 11726 0 1 0 1246 9 0 0 25 0 8 0 185158501 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074003636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228919 11462 2524 14 0 215389 0
[pid=9562/tid=9564] ppid=9560 vsize=915676 CPUtime=0.06
/proc/9562/task/9564/stat : 9564 (java) S 9560 9562 8408 0 -1 64 843 0 0 0 6 0 0 0 16 0 8 0 185158505 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9565] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9565/stat : 9565 (java) S 9560 9562 8408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9566] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9566/stat : 9566 (java) S 9560 9562 8408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9567] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9567/stat : 9567 (java) S 9560 9562 8408 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9568] ppid=9560 vsize=915676 CPUtime=0.3
/proc/9562/task/9568/stat : 9568 (java) S 9560 9562 8408 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9569] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9569/stat : 9569 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9570] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9570/stat : 9570 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915676
[startup+25.5139 s]
/proc/loadavg: 2.05 2.01 1.89 3/87 9570
/proc/meminfo: memFree=1722984/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=915676 CPUtime=25.34
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 11727 0 1 0 2525 9 0 0 25 0 8 0 185158501 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228919 11462 2524 14 0 215389 0
[pid=9562/tid=9564] ppid=9560 vsize=915676 CPUtime=0.06
/proc/9562/task/9564/stat : 9564 (java) S 9560 9562 8408 0 -1 64 843 0 0 0 6 0 0 0 16 0 8 0 185158505 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9565] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9565/stat : 9565 (java) S 9560 9562 8408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9566] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9566/stat : 9566 (java) S 9560 9562 8408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9567] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9567/stat : 9567 (java) S 9560 9562 8408 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9568] ppid=9560 vsize=915676 CPUtime=0.3
/proc/9562/task/9568/stat : 9568 (java) S 9560 9562 8408 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9569] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9569/stat : 9569 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9570] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9570/stat : 9570 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915676
[startup+51.1319 s]
/proc/loadavg: 2.03 2.01 1.90 3/87 9570
/proc/meminfo: memFree=1722984/2055920 swapFree=4184508/4192956
[pid=9562] ppid=9560 vsize=915676 CPUtime=50.81
/proc/9562/stat : 9562 (java) R 9560 9562 8408 0 -1 0 11727 0 1 0 5072 9 0 0 25 0 8 0 185158501 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9562/statm: 228919 11462 2524 14 0 215389 0
[pid=9562/tid=9564] ppid=9560 vsize=915676 CPUtime=0.06
/proc/9562/task/9564/stat : 9564 (java) S 9560 9562 8408 0 -1 64 843 0 0 0 6 0 0 0 16 0 8 0 185158505 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9565] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9565/stat : 9565 (java) S 9560 9562 8408 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9566] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9566/stat : 9566 (java) S 9560 9562 8408 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185158506 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9567] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9567/stat : 9567 (java) S 9560 9562 8408 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9568] ppid=9560 vsize=915676 CPUtime=0.3
/proc/9562/task/9568/stat : 9568 (java) S 9560 9562 8408 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9569] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9569/stat : 9569 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9562/tid=9570] ppid=9560 vsize=915676 CPUtime=0
/proc/9562/task/9570/stat : 9570 (java) S 9560 9562 8408 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185158509 937652224 11462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 98.8788
CPU time (s): 98.2651
CPU user time (s): 98.1621
CPU system time (s): 0.102984
CPU usage (%): 99.3793
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.1621
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11738
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= 3418
involuntary context switches= 4877
runsolver used 0.122981 s user time and 0.314952 s system time
The end
Begin job on node75 on Tue Jan 9 18:33:11 UTC 2007
IDJOB= 239801
IDBENCH= 7084
FILE ID= node75/239801-1168367591
PBS_JOBID= 3504056
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239801-1168367591/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-239801-1168367591 -o ROOT/results/node75/solver-239801-1168367591 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239801-1168367591/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 06c89baa1c2c3ed27c5f4ac6ca602b49
RANDOM SEED= 513384382
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: 1759680 kB
Buffers: 44316 kB
Cached: 135144 kB
SwapCached: 2712 kB
Active: 158212 kB
Inactive: 87992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759680 kB
SwapTotal: 4192956 kB
SwapFree: 4184508 kB
Dirty: 2172 kB
Writeback: 0 kB
Mapped: 82884 kB
Slab: 35188 kB
Committed_AS: 5210584 kB
PageTables: 1952 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 18:34:50 UTC 2007