0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/199619-1168071493/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.38 => wckTime=0.091 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.46
0.46 constraints being loaded...
0.57 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=891 maxDegree=22
0.57 maxArity=2
0.57 => wckTime=0.282 cpuTime=0.21 mem=12M803
0.61
0.61 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.49 cpuTime=0.32 mem=13M898
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0030 cpuTime=0.01 mem=13M898
0.83
0.83 search
0.83 run=0 nbConstraintChecks=28412 nbPropagations=418 nbRevisions=6031 nbUselessRevisions=5268 nbAssignments=25
0.83 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.044 cpuTime=0.03 mem=14M922
0.84
0.84 search
0.84 run=1 nbConstraintChecks=65471 nbPropagations=1336 nbRevisions=19922 nbUselessRevisions=17309 nbAssignments=61
0.84 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=105 nbRestartNogoods=3 mapSize=23 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.063 cpuTime=0.05 mem=14M922
0.87
0.87 search
0.87 run=2 nbConstraintChecks=124232 nbPropagations=3007 nbRevisions=46894 nbUselessRevisions=40631
0.87 nbAssignments=112 nbFailedAssignments=48 nbBacktracks=48 nbVisitedNodes=196 nbRestartNogoods=7 mapSize=46
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.086 cpuTime=0.06 mem=14M922
0.89
0.89 search
0.89 run=3 nbConstraintChecks=206156 nbPropagations=5744 nbRevisions=92456 nbUselessRevisions=79946
0.89 nbAssignments=185 nbFailedAssignments=84 nbBacktracks=81 nbVisitedNodes=329 nbRestartNogoods=10 mapSize=77
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.108 cpuTime=0.08 mem=14M922
0.91
0.91 search
0.91 run=4 nbConstraintChecks=329470 nbPropagations=10015 nbRevisions=165588 nbUselessRevisions=143004
0.91 nbAssignments=287 nbFailedAssignments=132 nbBacktracks=132 nbVisitedNodes=518 nbRestartNogoods=13 mapSize=128
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.133 cpuTime=0.11 mem=14M922
0.95
0.95 search
0.95 run=5 nbConstraintChecks=519218 nbPropagations=16537 nbRevisions=279937 nbUselessRevisions=241466
0.95 nbAssignments=435 nbFailedAssignments=199 nbBacktracks=208 nbVisitedNodes=790 nbRestartNogoods=14 mapSize=200
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.17 cpuTime=0.14 mem=14M922
1.01
1.01 search
1.01 run=6 nbConstraintChecks=813070 nbPropagations=26644 nbRevisions=461221 nbUselessRevisions=397671
1.01 nbAssignments=675 nbFailedAssignments=320 nbBacktracks=321 nbVisitedNodes=1238 nbRestartNogoods=19 mapSize=311
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.227 cpuTime=0.19 mem=14M922
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1217461 nbPropagations=41745 nbRevisions=733514 nbUselessRevisions=632170
1.08 nbAssignments=1027 nbFailedAssignments=496 nbBacktracks=493 nbVisitedNodes=1892 nbRestartNogoods=29
1.08 mapSize=480 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.3 cpuTime=0.27 mem=14M922
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1869383 nbPropagations=64629 nbRevisions=1153110 nbUselessRevisions=993863
1.21 nbAssignments=1550 nbFailedAssignments=757 nbBacktracks=750 nbVisitedNodes=2873 nbRestartNogoods=33
1.21 mapSize=734 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.425 cpuTime=0.37 mem=14M922
1.32
1.32 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=14M922)
1.34
1.34 search
1.34 run=9 nbConstraintChecks=2735281 nbPropagations=98246 nbRevisions=1771150 nbUselessRevisions=1526668
1.34 nbAssignments=2302 nbFailedAssignments=1121 nbBacktracks=1134 nbVisitedNodes=4269 nbRestartNogoods=39
1.34 => wckTime=0.563 cpuTime=0.51 mem=14M922
1.55
1.56 search
1.56 run=10 nbConstraintChecks=4096017 nbPropagations=148401 nbRevisions=2701305 nbUselessRevisions=2328782
1.56 nbAssignments=3424 nbFailedAssignments=1661 nbBacktracks=1711 nbVisitedNodes=6361 nbRestartNogoods=43
1.56 => wckTime=0.773 cpuTime=0.71 mem=14M922
1.85
1.85 search
1.85 run=11 nbConstraintChecks=6140554 nbPropagations=223429 nbRevisions=4098591 nbUselessRevisions=3534115
1.85 nbAssignments=5129 nbFailedAssignments=2497 nbBacktracks=2575 nbVisitedNodes=9543 nbRestartNogoods=57
1.85 => wckTime=1.071 cpuTime=1.0 mem=14M922
2.30
2.30 search
2.30 run=12 nbConstraintChecks=9253646 nbPropagations=336057 nbRevisions=6204292 nbUselessRevisions=5351252
2.30 nbAssignments=7715 nbFailedAssignments=3779 nbBacktracks=3874 nbVisitedNodes=14363 nbRestartNogoods=65
2.30 => wckTime=1.518 cpuTime=1.45 mem=14M922
2.99
2.99 search
2.99 run=13 nbConstraintChecks=14124634 nbPropagations=506453 nbRevisions=9416238 nbUselessRevisions=8123298
2.99 nbAssignments=11610 nbFailedAssignments=5723 nbBacktracks=5821 nbVisitedNodes=21663 nbRestartNogoods=75
2.99 => wckTime=2.209 cpuTime=2.14 mem=14M922
4.02
4.02 search
4.02 run=14 nbConstraintChecks=21387523 nbPropagations=763075 nbRevisions=14266325 nbUselessRevisions=12308637
4.02 nbAssignments=17423 nbFailedAssignments=8612 nbBacktracks=8740 nbVisitedNodes=32552 nbRestartNogoods=80
4.02 => wckTime=3.239 cpuTime=3.17 mem=14M922
5.52
5.52 search
5.52 run=15 nbConstraintChecks=31852816 nbPropagations=1146422 nbRevisions=21505582 nbUselessRevisions=18557782
5.52 nbAssignments=26058 nbFailedAssignments=12864 nbBacktracks=13118 nbVisitedNodes=48676 nbRestartNogoods=92
5.52 => wckTime=4.738 cpuTime=4.67 mem=14M922
7.80
7.80 search
7.80 run=16 nbConstraintChecks=48150182 nbPropagations=1722498 nbRevisions=32417276 nbUselessRevisions=27977189
7.80 nbAssignments=39063 nbFailedAssignments=19296 nbBacktracks=19687 nbVisitedNodes=72978 nbRestartNogoods=101
7.80 => wckTime=7.023 cpuTime=6.95 mem=14M922
11.31
11.31 search
11.31 run=17 nbConstraintChecks=73391885 nbPropagations=2591816 nbRevisions=48967101 nbUselessRevisions=42260665
11.31 nbAssignments=58749 nbFailedAssignments=29125 nbBacktracks=29539 nbVisitedNodes=109835 nbRestartNogoods=114
11.31 => wckTime=10.533 cpuTime=10.46 mem=14M922
16.37
16.37 search
16.37 run=18 nbConstraintChecks=108797361 nbPropagations=3887883 nbRevisions=73616187 nbUselessRevisions=63541359
16.37 nbAssignments=87976 nbFailedAssignments=43570 nbBacktracks=44317 nbVisitedNodes=164474 nbRestartNogoods=143
16.37 => wckTime=15.591 cpuTime=15.52 mem=14M922
24.33
24.33 search
24.33 run=19 nbConstraintChecks=165551815 nbPropagations=5844119 nbRevisions=110951565 nbUselessRevisions=95778881
24.33 nbAssignments=132296 nbFailedAssignments=65717 nbBacktracks=66485 nbVisitedNodes=247509 nbRestartNogoods=167
24.33 => wckTime=23.552 cpuTime=23.47 mem=14M922
36.03
36.03 search
36.03 run=20 nbConstraintChecks=249115178 nbPropagations=8780577 nbRevisions=167057644 nbUselessRevisions=144233103
36.03 nbAssignments=198643 nbFailedAssignments=98807 nbBacktracks=99737 nbVisitedNodes=371761 nbRestartNogoods=182
36.03 => wckTime=35.244 cpuTime=35.15 mem=14M922
53.98
53.98 search
53.98 run=21 nbConstraintChecks=377719290 nbPropagations=13208582 nbRevisions=251997467 nbUselessRevisions=217612986
53.98 nbAssignments=298445 nbFailedAssignments=148727 nbBacktracks=149617 nbVisitedNodes=558827 nbRestartNogoods=199
53.98 => wckTime=53.198 cpuTime=53.08 mem=14M922
60.05
60.05 search
60.05 run=22 nbConstraintChecks=420917965 nbPropagations=18140150 nbRevisions=346659638 nbUselessRevisions=299398954
60.05 nbAssignments=332321 nbFailedAssignments=165528 nbBacktracks=166669 nbVisitedNodes=622163 nbRestartNogoods=214
60.05 => wckTime=59.272 cpuTime=59.15 mem=14M922
60.05
60.06 global
60.06 nbConstraintChecks=420917965 nbPropagations=18140173 nbRevisions=346659638 nbUselessRevisions=299398954
60.06 nbRestartNogoods=214 solvingWckTime=59.274 solvingCpuTime=59.15 expiredTime=no totalExploration=no
60.06 nbFoundSolutions=1 globalCpuTime=59.51
60.06 => wckTime=59.766 cpuTime=59.47 mem=14M922
60.06
60.06 s SATISFIABLE
60.06 v 22 20 1 11 6 10 2 4 0 17 18 2 22 15 22 2 3 5 16 20 12 12 22
60.06 d NODES 332321
60.06 d CHECKS 420917965
60.06
60.06 totalWckTime=59.843 totalCpuTime=59.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-199619-1168071493 -o ROOT/results/node47/solver-199619-1168071493 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199619-1168071493/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.78 0.95 1.07 4/80 1826
/proc/meminfo: memFree=1784960/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=1784 CPUtime=0
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 155548555 1826816 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1825/statm: 447 158 123 14 0 92 0
[startup+0.108081 s]
/proc/loadavg: 0.78 0.95 1.07 4/80 1826
/proc/meminfo: memFree=1784960/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=914988 CPUtime=0.09
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 3125 0 1 0 8 1 0 0 24 0 8 0 155548555 936947712 2871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228747 2872 1472 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516124 s]
/proc/loadavg: 0.78 0.95 1.07 4/80 1826
/proc/meminfo: memFree=1784960/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=915328 CPUtime=0.5
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 7117 0 1 0 46 4 0 0 25 0 8 0 155548555 937295872 6857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228832 6867 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34021 s]
/proc/loadavg: 0.78 0.95 1.07 3/87 1833
/proc/meminfo: memFree=1744968/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=915452 CPUtime=1.3
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 8586 0 1 0 124 6 0 0 25 0 8 0 155548555 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228863 8324 2513 14 0 215333 0
[pid=1825/tid=1827] ppid=1823 vsize=915452 CPUtime=0.03
/proc/1825/task/1827/stat : 1827 (java) S 1823 1825 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155548558 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1828] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1828/stat : 1828 (java) S 1823 1825 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155548559 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1829] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1829/stat : 1829 (java) S 1823 1825 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155548559 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1830] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1830/stat : 1830 (java) S 1823 1825 1670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548562 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1831] ppid=1823 vsize=915452 CPUtime=0.21
/proc/1825/task/1831/stat : 1831 (java) S 1823 1825 1670 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 155548562 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1832] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1832/stat : 1832 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548562 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1833] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1833/stat : 1833 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548562 937422848 8324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.98938 s]
/proc/loadavg: 0.78 0.95 1.07 3/87 1833
/proc/meminfo: memFree=1744776/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=915452 CPUtime=2.95
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 8601 0 1 0 289 6 0 0 25 0 8 0 155548555 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228863 8338 2513 14 0 215333 0
[pid=1825/tid=1827] ppid=1823 vsize=915452 CPUtime=0.03
/proc/1825/task/1827/stat : 1827 (java) S 1823 1825 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155548558 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1828] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1828/stat : 1828 (java) S 1823 1825 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155548559 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1829] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1829/stat : 1829 (java) S 1823 1825 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155548559 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1830] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1830/stat : 1830 (java) S 1823 1825 1670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548562 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1831] ppid=1823 vsize=915452 CPUtime=0.22
/proc/1825/task/1831/stat : 1831 (java) S 1823 1825 1670 0 -1 64 387 0 0 0 21 1 0 0 15 0 8 0 155548562 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1832] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1832/stat : 1832 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548562 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1833] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1833/stat : 1833 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548562 937422848 8338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.26873 s]
/proc/loadavg: 0.88 0.97 1.07 3/87 1833
/proc/meminfo: memFree=1744648/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=915452 CPUtime=6.23
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 8609 0 1 0 617 6 0 0 25 0 8 0 155548555 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798606 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228863 8346 2513 14 0 215333 0
[pid=1825/tid=1827] ppid=1823 vsize=915452 CPUtime=0.03
/proc/1825/task/1827/stat : 1827 (java) S 1823 1825 1670 0 -1 64 269 0 0 0 3 0 0 0 17 0 8 0 155548558 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1828] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1828/stat : 1828 (java) S 1823 1825 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155548559 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1829] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1829/stat : 1829 (java) S 1823 1825 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155548559 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1830] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1830/stat : 1830 (java) S 1823 1825 1670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548562 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1831] ppid=1823 vsize=915452 CPUtime=0.22
/proc/1825/task/1831/stat : 1831 (java) S 1823 1825 1670 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 155548562 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1832] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1832/stat : 1832 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548562 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1833] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1833/stat : 1833 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548562 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915452
[startup+12.7564 s]
/proc/loadavg: 0.97 0.98 1.08 3/87 1833
/proc/meminfo: memFree=1744592/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=915452 CPUtime=12.71
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 8615 0 1 0 1265 6 0 0 25 0 8 0 155548555 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820167 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228863 8351 2513 14 0 215333 0
[pid=1825/tid=1827] ppid=1823 vsize=915452 CPUtime=0.03
/proc/1825/task/1827/stat : 1827 (java) S 1823 1825 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155548558 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1828] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1828/stat : 1828 (java) S 1823 1825 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155548559 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1829] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1829/stat : 1829 (java) S 1823 1825 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155548559 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1830] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1830/stat : 1830 (java) S 1823 1825 1670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548562 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1831] ppid=1823 vsize=915452 CPUtime=0.22
/proc/1825/task/1831/stat : 1831 (java) S 1823 1825 1670 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 155548562 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1832] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1832/stat : 1832 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548562 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1833] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1833/stat : 1833 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548562 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
[startup+25.5968 s]
/proc/loadavg: 1.19 1.03 1.09 3/87 1833
/proc/meminfo: memFree=1744656/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=915452 CPUtime=25.54
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 8620 0 1 0 2547 7 0 0 25 0 8 0 155548555 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228863 8356 2513 14 0 215333 0
[pid=1825/tid=1827] ppid=1823 vsize=915452 CPUtime=0.03
/proc/1825/task/1827/stat : 1827 (java) S 1823 1825 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155548558 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1828] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1828/stat : 1828 (java) S 1823 1825 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155548559 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1829] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1829/stat : 1829 (java) S 1823 1825 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155548559 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1830] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1830/stat : 1830 (java) S 1823 1825 1670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548562 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1831] ppid=1823 vsize=915452 CPUtime=0.22
/proc/1825/task/1831/stat : 1831 (java) S 1823 1825 1670 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 155548562 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1832] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1832/stat : 1832 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548562 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1833] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1833/stat : 1833 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548562 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915452
[startup+51.2995 s]
/proc/loadavg: 1.47 1.11 1.12 3/87 1833
/proc/meminfo: memFree=1744656/2055920 swapFree=4192812/4192956
[pid=1825] ppid=1823 vsize=915452 CPUtime=51.21
/proc/1825/stat : 1825 (java) R 1823 1825 1670 0 -1 0 8623 0 1 0 5114 7 0 0 25 0 8 0 155548555 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1825/statm: 228863 8359 2513 14 0 215333 0
[pid=1825/tid=1827] ppid=1823 vsize=915452 CPUtime=0.03
/proc/1825/task/1827/stat : 1827 (java) S 1823 1825 1670 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155548558 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1828] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1828/stat : 1828 (java) S 1823 1825 1670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155548559 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1829] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1829/stat : 1829 (java) S 1823 1825 1670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155548559 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1830] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1830/stat : 1830 (java) S 1823 1825 1670 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155548562 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1831] ppid=1823 vsize=915452 CPUtime=0.22
/proc/1825/task/1831/stat : 1831 (java) S 1823 1825 1670 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 155548562 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1832] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1832/stat : 1832 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155548562 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1825/tid=1833] ppid=1823 vsize=915452 CPUtime=0
/proc/1825/task/1833/stat : 1833 (java) S 1823 1825 1670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155548562 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 60.104
CPU time (s): 59.9849
CPU user time (s): 59.9059
CPU system time (s): 0.078987
CPU usage (%): 99.8018
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.9059
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8717
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= 2315
involuntary context switches= 3953
runsolver used 0.074988 s user time and 0.19397 s system time
The end
Begin job on node47 on Sat Jan 6 08:18:13 UTC 2007
IDJOB= 199619
IDBENCH= 3629
FILE ID= node47/199619-1168071493
PBS_JOBID= 3475958
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199619-1168071493/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-199619-1168071493 -o ROOT/results/node47/solver-199619-1168071493 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199619-1168071493/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9d7243f439de1098a0ff6467e2301618
RANDOM SEED= 392533879
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.240
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.240
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: 1785632 kB
Buffers: 25312 kB
Cached: 146184 kB
SwapCached: 0 kB
Active: 62116 kB
Inactive: 136496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4040 kB
Writeback: 0 kB
Mapped: 44424 kB
Slab: 57044 kB
Committed_AS: 3569736 kB
PageTables: 1892 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= 66532 MiB
End job on node47 on Sat Jan 6 08:19:13 UTC 2007