0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/239859-1168085160/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.45 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.45 => wckTime=0.143 cpuTime=0.12 mem=7M894
0.45
0.45 relations being loaded...
0.46
0.46 constraints being loaded...
0.79 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.79 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.79 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.79 => wckTime=0.481 cpuTime=0.35 mem=23M497
0.86
0.86 solver IterativeSystematicSolver being built...
1.03 => wckTime=0.719 cpuTime=0.5 mem=18M172
1.08
1.08 preprocessing
1.08 nbConstraintChecks=41653 nbPropagations=400 nbRevisions=3914 nbUselessRevisions=1233 nbRemovedValues=2681
1.08 detectedInconsistency=no
1.08 => wckTime=0.041 cpuTime=0.03 mem=18M172
1.13
1.13 search
1.13 run=0 nbConstraintChecks=10241 nbPropagations=822 nbRevisions=10763 nbUselessRevisions=7353 nbAssignments=61
1.13 nbFailedAssignments=5 nbBacktracks=15 nbVisitedNodes=70 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.13 nbTooLargeKeys=0
1.13 => wckTime=0.1 cpuTime=0.07 mem=18M172
1.16
1.16 search
1.16 run=1 nbConstraintChecks=19992 nbPropagations=2076 nbRevisions=27856 nbUselessRevisions=20299
1.16 nbAssignments=138 nbFailedAssignments=10 nbBacktracks=47 nbVisitedNodes=157 nbRestartNogoods=1 mapSize=16
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.127 cpuTime=0.09 mem=18M172
1.19
1.19 search
1.19 run=2 nbConstraintChecks=33418 nbPropagations=3884 nbRevisions=54119 nbUselessRevisions=41498
1.19 nbAssignments=226 nbFailedAssignments=17 nbBacktracks=71 nbVisitedNodes=256 nbRestartNogoods=2 mapSize=24
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.156 cpuTime=0.12 mem=19M147
1.21
1.21 search
1.21 run=3 nbConstraintChecks=42431 nbPropagations=6117 nbRevisions=85918 nbUselessRevisions=67547
1.21 nbAssignments=306 nbFailedAssignments=26 nbBacktracks=120 nbVisitedNodes=353 nbRestartNogoods=5 mapSize=40
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.179 cpuTime=0.14 mem=19M147
1.24
1.24 search
1.24 run=4 nbConstraintChecks=56988 nbPropagations=8989 nbRevisions=127260 nbUselessRevisions=102005
1.24 nbAssignments=414 nbFailedAssignments=36 nbBacktracks=174 nbVisitedNodes=483 nbRestartNogoods=6 mapSize=58
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.21 cpuTime=0.17 mem=19M147
1.29
1.29 search
1.29 run=5 nbConstraintChecks=72682 nbPropagations=12564 nbRevisions=179030 nbUselessRevisions=145780
1.29 nbAssignments=561 nbFailedAssignments=46 nbBacktracks=281 nbVisitedNodes=648 nbRestartNogoods=10 mapSize=74
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.253 cpuTime=0.21 mem=19M147
1.34
1.34 search
1.34 run=6 nbConstraintChecks=95941 nbPropagations=17087 nbRevisions=245880 nbUselessRevisions=202846
1.34 nbAssignments=736 nbFailedAssignments=62 nbBacktracks=403 nbVisitedNodes=863 nbRestartNogoods=12 mapSize=111
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.305 cpuTime=0.25 mem=19M147
1.40
1.40 search
1.40 run=7 nbConstraintChecks=127409 nbPropagations=22840 nbRevisions=334444 nbUselessRevisions=279442
1.40 nbAssignments=987 nbFailedAssignments=87 nbBacktracks=589 nbVisitedNodes=1162 nbRestartNogoods=15 mapSize=158
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.363 cpuTime=0.31 mem=19M147
1.48
1.48 search
1.48 run=8 nbConstraintChecks=184689 nbPropagations=30545 nbRevisions=462645 nbUselessRevisions=391674
1.48 nbAssignments=1310 nbFailedAssignments=117 nbBacktracks=855 nbVisitedNodes=1547 nbRestartNogoods=16
1.48 mapSize=219 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.447 cpuTime=0.39 mem=19M147
1.60
1.60 search
1.60 run=9 nbConstraintChecks=231637 nbPropagations=40343 nbRevisions=620079 nbUselessRevisions=529404
1.60 nbAssignments=1776 nbFailedAssignments=177 nbBacktracks=1241 nbVisitedNodes=2125 nbRestartNogoods=17
1.60 mapSize=327 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.566 cpuTime=0.49 mem=20M122
1.78
1.78 search
1.78 run=10 nbConstraintChecks=350652 nbPropagations=54741 nbRevisions=855652 nbUselessRevisions=735832
1.78 nbAssignments=2520 nbFailedAssignments=296 nbBacktracks=1817 nbVisitedNodes=3119 nbRestartNogoods=20
1.78 mapSize=564 nbInferences=1 nbTooLargeKeys=0
1.78 => wckTime=0.745 cpuTime=0.66 mem=20M122
1.99
1.99 search
1.99 run=11 nbConstraintChecks=503592 nbPropagations=74458 nbRevisions=1197738 nbUselessRevisions=1037938
1.99 nbAssignments=3529 nbFailedAssignments=393 nbBacktracks=2687 nbVisitedNodes=4336 nbRestartNogoods=24
1.99 mapSize=768 nbInferences=1 nbTooLargeKeys=0
1.99 => wckTime=0.961 cpuTime=0.87 mem=21M98
2.24
2.24 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=21M98)
2.32
2.32 search
2.32 run=12 nbConstraintChecks=762369 nbPropagations=102750 nbRevisions=1717108 nbUselessRevisions=1499178
2.32 nbAssignments=5027 nbFailedAssignments=539 nbBacktracks=3989 nbVisitedNodes=6151 nbRestartNogoods=28
2.32 => wckTime=1.288 cpuTime=1.19 mem=21M98
2.71
2.71 search
2.71 run=13 nbConstraintChecks=1072384 nbPropagations=142112 nbRevisions=2451739 nbUselessRevisions=2154184
2.71 nbAssignments=7262 nbFailedAssignments=760 nbBacktracks=5971 nbVisitedNodes=8836 nbRestartNogoods=33
2.71 => wckTime=1.678 cpuTime=1.58 mem=21M98
3.35
3.35 search
3.35 run=14 nbConstraintChecks=1631439 nbPropagations=200719 nbRevisions=3566109 nbUselessRevisions=3149005
3.35 nbAssignments=10553 nbFailedAssignments=1099 nbBacktracks=8892 nbVisitedNodes=12826 nbRestartNogoods=37
3.35 => wckTime=2.318 cpuTime=2.21 mem=21M98
4.50
4.50 search
4.50 run=15 nbConstraintChecks=2766976 nbPropagations=297932 nbRevisions=5469187 nbUselessRevisions=4852545
4.50 nbAssignments=15768 nbFailedAssignments=1883 nbBacktracks=13271 nbVisitedNodes=19571 nbRestartNogoods=42
4.50 => wckTime=3.467 cpuTime=3.35 mem=21M98
6.37
6.37 search
6.37 run=16 nbConstraintChecks=4667935 nbPropagations=458669 nbRevisions=8684540 nbUselessRevisions=7736773
6.37 nbAssignments=23627 nbFailedAssignments=3144 nbBacktracks=19843 nbVisitedNodes=29943 nbRestartNogoods=48
6.37 => wckTime=5.34 cpuTime=5.2 mem=21M98
9.62
9.62 search
9.62 run=17 nbConstraintChecks=8149759 nbPropagations=734372 nbRevisions=14336217 nbUselessRevisions=12816942
9.62 nbAssignments=35700 nbFailedAssignments=5333 nbBacktracks=29697 nbVisitedNodes=46105 nbRestartNogoods=59
9.62 => wckTime=8.586 cpuTime=8.42 mem=21M98
14.31
14.31 search
14.31 run=18 nbConstraintChecks=13134272 nbPropagations=1180920 nbRevisions=23386430 nbUselessRevisions=20944622
14.31 nbAssignments=54001 nbFailedAssignments=8813 nbBacktracks=44479 nbVisitedNodes=71565 nbRestartNogoods=66
14.31 => wckTime=13.279 cpuTime=13.07 mem=21M98
21.40
21.40 search
21.40 run=19 nbConstraintChecks=21006665 nbPropagations=1884297 nbRevisions=37966641 nbUselessRevisions=34061738
21.40 nbAssignments=81352 nbFailedAssignments=13960 nbBacktracks=66655 nbVisitedNodes=108971 nbRestartNogoods=75
21.40 => wckTime=20.367 cpuTime=20.09 mem=21M98
31.96
31.96 search
31.96 run=20 nbConstraintChecks=32275142 nbPropagations=2964257 nbRevisions=60337320 nbUselessRevisions=54181735
31.96 nbAssignments=121721 nbFailedAssignments=21043 nbBacktracks=99930 nbVisitedNodes=163771 nbRestartNogoods=90
31.96 => wckTime=30.926 cpuTime=30.55 mem=21M98
48.05
48.05 search
48.05 run=21 nbConstraintChecks=49238774 nbPropagations=4615443 nbRevisions=94706807 nbUselessRevisions=85113459
48.05 nbAssignments=184520 nbFailedAssignments=33923 nbBacktracks=149813 nbVisitedNodes=251328 nbRestartNogoods=96
48.05 => wckTime=47.019 cpuTime=46.61 mem=21M98
73.55
73.55 search
73.55 run=22 nbConstraintChecks=76579545 nbPropagations=7160549 nbRevisions=148412895 nbUselessRevisions=133531371
73.55 nbAssignments=276586 nbFailedAssignments=51133 nbBacktracks=224647 nbVisitedNodes=377745 nbRestartNogoods=107
73.55 => wckTime=72.513 cpuTime=72.09 mem=21M98
112.23
112.23 search
112.23 run=23 nbConstraintChecks=117929337 nbPropagations=11058234 nbRevisions=231148025 nbUselessRevisions=208138430
112.23 nbAssignments=415114 nbFailedAssignments=77402 nbBacktracks=336880 nbVisitedNodes=567289 nbRestartNogoods=115
112.23 => wckTime=111.201 cpuTime=110.76 mem=21M98
158.84
158.84 search
158.84 run=24 nbConstraintChecks=167128725 nbPropagations=16565563 nbRevisions=348022838 nbUselessRevisions=313508579
158.84 nbAssignments=587584 nbFailedAssignments=108714 nbBacktracks=477638 nbVisitedNodes=802930 nbRestartNogoods=124
158.84 => wckTime=157.804 cpuTime=157.31 mem=21M98
158.84
158.84 global
158.84 nbConstraintChecks=167170378 nbPropagations=16565963 nbRevisions=348026752 nbUselessRevisions=313509812
158.84 nbRestartNogoods=124 solvingWckTime=157.806 solvingCpuTime=157.31 expiredTime=no totalExploration=no
158.84 nbFoundSolutions=1 globalCpuTime=157.85
158.84 => wckTime=158.53 cpuTime=157.81 mem=21M98
158.84
158.84 s SATISFIABLE
158.84 v 11 4 17 6 13 15 16 9 18 10 0 1 3 5 8 14 2 12 19 7 18 14 6 3 0 10 5 11 13 8 1 7 9 12 2 19 17 4 16 15 3 7 1 13 12 5 14 19 10 18 11 6 8 4 17 16 0 15 2 9 16 13 5 4 18 11 7 12 1 0 17 14 19 10 9 2 8 6 15 3 4 10 12 7 19 2 8 1 14 6 13 3 0 15 11 5 9 17 18 16 2 11 4 16 1 14 19 5 15 7 3 18 6 17 13 8 12 9 0 10 9 6 7 17 15 4 13 16 11 3 10 8 5 0 14 12 18 19 1 2 7 2 11 1 16 12 0 8 5 14 6 9 10 19 4 15 13 3 17 18 12 3 0 5 7 8 15 14 17 1 4 10 18 2 19 9 16 11 13 6 5 17 14 2 6 7 9 3 19 16 15 13 12 11 10 4 1 18 8 0 19 18 3 14 9 0 2 4 12 13 16 17 11 7 15 1 5 10 6 8 8 16 18 11 2 19 1 0 3 4 12 15 7 9 6 17 14 5 10 13 10 19 16 15 5 17 18 7 0 12 9 2 13 1 3 6 4 8 14 11 1 9 15 8 3 16 4 13 6 19 2 0 17 18 7 10 11 14 12 5 0 8 10 19 11 13 12 6 7 2 18 16 4 14 5 3 15 1 9 17 17 0 19 10 8 9 6 18 2 15 5 11 1 3 12 13 7 16 4 14 14 1 13 12 17 6 10 15 16 9 7 5 2 8 18 11 19 0 3 4 13 15 2 9 14 18 17 10 4 11 8 19 16 6 1 0 3 7 5 12 15 12 9 0 10 3 11 17 8 5 19 4 14 13 16 18 6 2 7 1 6 5 8 18 4 1 3 2 9 17 14 12 15 16 0 7 10 13 11 19
158.84 d NODES 587584
158.84 d CHECKS 167170378
158.84
158.84 totalWckTime=158.605 totalCpuTime=157.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-239859-1168085160 -o ROOT/results/node25/solver-239859-1168085160 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239859-1168085160/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: 1.68 1.93 1.89 2/93 32360
/proc/meminfo: memFree=1029808/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=18540 CPUtime=0
/proc/32359/stat : 32359 (runsolver) R 32357 32359 31759 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156908787 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/32359/statm: 4635 279 244 17 0 2626 0
[startup+0.102449 s]
/proc/loadavg: 1.68 1.93 1.89 2/93 32360
/proc/meminfo: memFree=1029808/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=914852 CPUtime=0.07
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 2925 0 1 0 6 1 0 0 25 0 8 0 156908787 936808448 2671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4205809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228713 2671 1398 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914852
[startup+0.51501 s]
/proc/loadavg: 1.68 1.93 1.89 2/93 32360
/proc/meminfo: memFree=1029808/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915328 CPUtime=0.48
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 6523 0 1 0 44 4 0 0 25 0 8 0 156908787 937295872 6262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228832 6262 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33676 s]
/proc/loadavg: 1.68 1.93 1.89 4/100 32367
/proc/meminfo: memFree=993848/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=1.29
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11694 0 1 0 122 7 0 0 25 0 8 0 156908787 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11432 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.25
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 470 0 0 0 24 1 0 0 15 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) R 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915676
[startup+2.97693 s]
/proc/loadavg: 1.68 1.93 1.89 3/100 32367
/proc/meminfo: memFree=993720/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=2.92
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11710 0 1 0 284 8 0 0 25 0 8 0 156908787 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11447 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 17 0 8 0 156908792 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 486 0 0 0 27 1 0 0 15 0 8 0 156908795 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11447 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.27549 s]
/proc/loadavg: 1.70 1.93 1.89 3/100 32367
/proc/meminfo: memFree=993720/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=6.18
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11713 0 1 0 610 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074052926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 17 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915676
[startup+12.7536 s]
/proc/loadavg: 1.81 1.95 1.90 3/100 32367
/proc/meminfo: memFree=993720/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=12.6
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11713 0 1 0 1252 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 17 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915676
[startup+25.6158 s]
/proc/loadavg: 1.85 1.95 1.90 3/100 32367
/proc/meminfo: memFree=993784/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=25.35
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11714 0 1 0 2527 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 16 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915676
[startup+51.2191 s]
/proc/loadavg: 1.68 1.90 1.88 2/88 32377
/proc/meminfo: memFree=1603168/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=50.84
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11714 0 1 0 5076 8 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 16 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915676
[startup+102.488 s]
/proc/loadavg: 1.29 1.76 1.83 2/88 32380
/proc/meminfo: memFree=1605280/2055920 swapFree=4192812/4192956
[pid=32359] ppid=32357 vsize=915676 CPUtime=102.09
/proc/32359/stat : 32359 (java) R 32357 32359 31759 0 -1 0 11714 0 1 0 10200 9 0 0 25 0 8 0 156908787 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32359/statm: 228919 11449 2513 14 0 215389 0
[pid=32359/tid=32361] ppid=32357 vsize=915676 CPUtime=0.05
/proc/32359/task/32361/stat : 32361 (java) S 32357 32359 31759 0 -1 64 843 0 0 0 5 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32362] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32362/stat : 32362 (java) S 32357 32359 31759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32363] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32363/stat : 32363 (java) S 32357 32359 31759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156908792 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32364] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32364/stat : 32364 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32365] ppid=32357 vsize=915676 CPUtime=0.28
/proc/32359/task/32365/stat : 32365 (java) S 32357 32359 31759 0 -1 64 488 0 0 0 27 1 0 0 16 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32366] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32366/stat : 32366 (java) S 32357 32359 31759 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32359/tid=32367] ppid=32357 vsize=915676 CPUtime=0
/proc/32359/task/32367/stat : 32367 (java) S 32357 32359 31759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156908795 937652224 11449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 158.857
CPU time (s): 158.422
CPU user time (s): 158.31
CPU system time (s): 0.111982
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.31
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11721
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= 4586
involuntary context switches= 7001
runsolver used 0.153976 s user time and 0.448931 s system time
The end
Begin job on node25 on Sat Jan 6 12:06:02 UTC 2007
IDJOB= 239859
IDBENCH= 7087
FILE ID= node25/239859-1168085160
PBS_JOBID= 3476230
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239859-1168085160/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-239859-1168085160 -o ROOT/results/node25/solver-239859-1168085160 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239859-1168085160/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8b93529d4fb4135ef20d21fb28b0c96b
RANDOM SEED= 153290824
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: 1030480 kB
Buffers: 44868 kB
Cached: 250456 kB
SwapCached: 0 kB
Active: 697932 kB
Inactive: 254856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1030480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2320 kB
Writeback: 0 kB
Mapped: 686516 kB
Slab: 56176 kB
Committed_AS: 3729572 kB
PageTables: 3540 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= 66547 MiB
End job on node25 on Sat Jan 6 12:08:43 UTC 2007