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/195469-1168069823/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.38 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.47
0.47 constraints being loaded...
0.58 nbConstraints=308 nbRelationTypes=308 nbExtensionStructures=308 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=308 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1859 maxDegree=19
0.58 maxArity=2
0.58 => wckTime=0.293 cpuTime=0.22 mem=12M868
0.63
0.63 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.48 cpuTime=0.33 mem=13M889
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0040 cpuTime=0.0 mem=13M889
0.83
0.83 search
0.83 run=0 nbConstraintChecks=37272 nbPropagations=585 nbRevisions=6286 nbUselessRevisions=5028 nbAssignments=28
0.83 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.051 cpuTime=0.03 mem=14M864
0.85
0.85 search
0.85 run=1 nbConstraintChecks=88124 nbPropagations=1873 nbRevisions=20675 nbUselessRevisions=16492 nbAssignments=63
0.85 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=102 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.071 cpuTime=0.04 mem=14M864
0.87
0.87 search
0.87 run=2 nbConstraintChecks=154558 nbPropagations=4037 nbRevisions=45706 nbUselessRevisions=36221
0.87 nbAssignments=109 nbFailedAssignments=41 nbBacktracks=48 nbVisitedNodes=177 nbRestartNogoods=6 mapSize=43
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.093 cpuTime=0.06 mem=14M864
0.89
0.89 search
0.89 run=3 nbConstraintChecks=245497 nbPropagations=7474 nbRevisions=86137 nbUselessRevisions=68110
0.89 nbAssignments=174 nbFailedAssignments=67 nbBacktracks=82 nbVisitedNodes=289 nbRestartNogoods=9 mapSize=73
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.111 cpuTime=0.07 mem=14M864
0.91
0.91 search
0.91 run=4 nbConstraintChecks=379139 nbPropagations=12729 nbRevisions=149416 nbUselessRevisions=118100
0.91 nbAssignments=277 nbFailedAssignments=111 nbBacktracks=135 nbVisitedNodes=459 nbRestartNogoods=12 mapSize=116
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.137 cpuTime=0.1 mem=14M864
0.95
0.95 search
0.95 run=5 nbConstraintChecks=547610 nbPropagations=20497 nbRevisions=244457 nbUselessRevisions=193255
0.95 nbAssignments=421 nbFailedAssignments=170 nbBacktracks=210 nbVisitedNodes=705 nbRestartNogoods=17 mapSize=177
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.173 cpuTime=0.13 mem=14M864
0.99
0.99 search
0.99 run=6 nbConstraintChecks=807186 nbPropagations=31725 nbRevisions=382679 nbUselessRevisions=302392
0.99 nbAssignments=604 nbFailedAssignments=233 nbBacktracks=323 nbVisitedNodes=1010 nbRestartNogoods=23 mapSize=270
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.219 cpuTime=0.17 mem=14M864
1.07
1.07 search
1.07 run=7 nbConstraintChecks=1233675 nbPropagations=49022 nbRevisions=600330 nbUselessRevisions=474702
1.07 nbAssignments=928 nbFailedAssignments=381 nbBacktracks=494 nbVisitedNodes=1585 nbRestartNogoods=27 mapSize=427
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.295 cpuTime=0.25 mem=14M864
1.17
1.17 search
1.17 run=8 nbConstraintChecks=1787847 nbPropagations=74061 nbRevisions=917052 nbUselessRevisions=725711
1.17 nbAssignments=1357 nbFailedAssignments=547 nbBacktracks=751 nbVisitedNodes=2317 nbRestartNogoods=32
1.17 mapSize=641 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.397 cpuTime=0.34 mem=14M864
1.32
1.32 search
1.32 run=9 nbConstraintChecks=2598739 nbPropagations=111594 nbRevisions=1393255 nbUselessRevisions=1103862
1.32 nbAssignments=2036 nbFailedAssignments=835 nbBacktracks=1137 nbVisitedNodes=3506 nbRestartNogoods=36
1.32 mapSize=974 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.546 cpuTime=0.48 mem=14M864
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=14M864)
1.53
1.53 search
1.53 run=10 nbConstraintChecks=3907287 nbPropagations=167474 nbRevisions=2109260 nbUselessRevisions=1672798
1.53 nbAssignments=3029 nbFailedAssignments=1245 nbBacktracks=1713 nbVisitedNodes=5246 nbRestartNogoods=39
1.53 => wckTime=0.752 cpuTime=0.67 mem=14M864
1.80
1.81 search
1.81 run=11 nbConstraintChecks=5759906 nbPropagations=250932 nbRevisions=3179673 nbUselessRevisions=2524238
1.81 nbAssignments=4494 nbFailedAssignments=1839 nbBacktracks=2579 nbVisitedNodes=7810 nbRestartNogoods=45
1.81 => wckTime=1.031 cpuTime=0.95 mem=14M864
2.22
2.22 search
2.22 run=12 nbConstraintChecks=8597639 nbPropagations=376249 nbRevisions=4788404 nbUselessRevisions=3806039
2.22 nbAssignments=6699 nbFailedAssignments=2740 nbBacktracks=3876 nbVisitedNodes=11655 nbRestartNogoods=52
2.22 => wckTime=1.446 cpuTime=1.36 mem=14M864
2.84
2.84 search
2.84 run=13 nbConstraintChecks=12852224 nbPropagations=562873 nbRevisions=7187915 nbUselessRevisions=5717411
2.84 nbAssignments=9958 nbFailedAssignments=4044 nbBacktracks=5823 nbVisitedNodes=17321 nbRestartNogoods=58
2.84 => wckTime=2.064 cpuTime=1.98 mem=14M864
3.70
3.70 search
3.70 run=14 nbConstraintChecks=18576020 nbPropagations=834969 nbRevisions=10689047 nbUselessRevisions=8507075
3.70 nbAssignments=14742 nbFailedAssignments=5900 nbBacktracks=8743 nbVisitedNodes=25563 nbRestartNogoods=68
3.70 => wckTime=2.923 cpuTime=2.83 mem=14M864
5.01
5.01 search
5.01 run=15 nbConstraintChecks=27426736 nbPropagations=1238652 nbRevisions=15856325 nbUselessRevisions=12621394
5.01 nbAssignments=21837 nbFailedAssignments=8607 nbBacktracks=13123 nbVisitedNodes=37765 nbRestartNogoods=75
5.01 => wckTime=4.233 cpuTime=4.14 mem=14M864
7.20
7.20 search
7.20 run=16 nbConstraintChecks=42762982 nbPropagations=1854658 nbRevisions=23781566 nbUselessRevisions=18920728
7.20 nbAssignments=32925 nbFailedAssignments=13120 nbBacktracks=19691 nbVisitedNodes=57186 nbRestartNogoods=88
7.20 => wckTime=6.423 cpuTime=6.32 mem=14M864
10.34
10.34 search
10.34 run=17 nbConstraintChecks=64158653 nbPropagations=2778775 nbRevisions=35650771 nbUselessRevisions=28343636
10.34 nbAssignments=49255 nbFailedAssignments=19590 nbBacktracks=29543 nbVisitedNodes=85609 nbRestartNogoods=103
10.34 => wckTime=9.561 cpuTime=9.45 mem=14M864
15.36
15.36 search
15.36 run=18 nbConstraintChecks=98737277 nbPropagations=4192224 nbRevisions=53971397 nbUselessRevisions=42924634
15.36 nbAssignments=74483 nbFailedAssignments=30034 nbBacktracks=44321 nbVisitedNodes=130034 nbRestartNogoods=118
15.36 => wckTime=14.583 cpuTime=14.45 mem=14M864
17.31
17.31 search
17.31 run=19 nbConstraintChecks=112293829 nbPropagations=5796801 nbRevisions=74741340 nbUselessRevisions=59442851
17.31 nbAssignments=84531 nbFailedAssignments=34069 nbBacktracks=50294 nbVisitedNodes=147583 nbRestartNogoods=132
17.31 => wckTime=16.532 cpuTime=16.39 mem=14M864
17.31
17.31 global
17.31 nbConstraintChecks=112293829 nbPropagations=5796841 nbRevisions=74741340 nbUselessRevisions=59442851
17.31 nbRestartNogoods=132 solvingWckTime=16.534 solvingCpuTime=16.39 expiredTime=no totalExploration=no
17.31 nbFoundSolutions=1 globalCpuTime=16.77
17.31 => wckTime=17.016 cpuTime=16.73 mem=14M864
17.31
17.31 s SATISFIABLE
17.31 v 14 12 1 7 2 5 6 5 4 12 16 16 12 1 9 4 11 13 0 11 16 7 6 0 2 15 11 13 1 18 10 8 18 9 12 8 12 1 13 13
17.31 d NODES 84531
17.31 d CHECKS 112293829
17.31
17.31 totalWckTime=17.091 totalCpuTime=16.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-195469-1168069823 -o ROOT/results/node76/solver-195469-1168069823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195469-1168069823/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.81 0.95 0.98 4/78 29700
/proc/meminfo: memFree=1796024/2055888 swapFree=4096420/4096564
[pid=29699] ppid=29697 vsize=1456 CPUtime=0
/proc/29699/stat : 29699 (java) R 29697 29699 29451 0 -1 0 90 0 0 0 0 0 0 0 19 0 1 0 155379426 1490944 60 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4819809 0 0 4096 0 0 0 0 17 0 0 0
/proc/29699/statm: 364 70 54 14 0 8 0
[startup+0.107021 s]
/proc/loadavg: 0.81 0.95 0.98 4/78 29700
/proc/meminfo: memFree=1796024/2055888 swapFree=4096420/4096564
[pid=29699] ppid=29697 vsize=914992 CPUtime=0.08
/proc/29699/stat : 29699 (java) R 29697 29699 29451 0 -1 0 3073 0 1 0 7 1 0 0 25 0 8 0 155379426 936951808 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072907657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29699/statm: 228748 2821 1456 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.5151 s]
/proc/loadavg: 0.81 0.95 0.98 4/78 29700
/proc/meminfo: memFree=1796024/2055888 swapFree=4096420/4096564
[pid=29699] ppid=29697 vsize=915332 CPUtime=0.49
/proc/29699/stat : 29699 (java) R 29697 29699 29451 0 -1 0 6999 0 1 0 46 3 0 0 25 0 8 0 155379426 937299968 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153546113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29699/statm: 228833 6740 2141 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33726 s]
/proc/loadavg: 0.81 0.95 0.98 3/92 29714
/proc/meminfo: memFree=1749384/2055888 swapFree=4096420/4096564
[pid=29699] ppid=29697 vsize=915460 CPUtime=1.31
/proc/29699/stat : 29699 (java) R 29697 29699 29451 0 -1 0 8641 0 1 0 127 4 0 0 25 0 8 0 155379426 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29699/statm: 228865 8381 2514 14 0 215334 0
[pid=29699/tid=29704] ppid=29697 vsize=915460 CPUtime=0.03
/proc/29699/task/29704/stat : 29704 (java) S 29697 29699 29451 0 -1 64 279 0 0 0 3 0 0 0 16 0 8 0 155379430 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29705] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29705/stat : 29705 (java) S 29697 29699 29451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155379430 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29706] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29706/stat : 29706 (java) S 29697 29699 29451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379430 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29711] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29711/stat : 29711 (java) S 29697 29699 29451 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155379433 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29712] ppid=29697 vsize=915460 CPUtime=0.2
/proc/29699/task/29712/stat : 29712 (java) S 29697 29699 29451 0 -1 64 386 0 0 0 20 0 0 0 15 0 8 0 155379433 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29713] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29713/stat : 29713 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155379433 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29714] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29714/stat : 29714 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379433 937431040 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97858 s]
/proc/loadavg: 0.81 0.95 0.98 3/92 29714
/proc/meminfo: memFree=1748936/2055888 swapFree=4096420/4096564
[pid=29699] ppid=29697 vsize=915460 CPUtime=2.95
/proc/29699/stat : 29699 (java) R 29697 29699 29451 0 -1 0 8660 0 1 0 290 5 0 0 25 0 8 0 155379426 937431040 8399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790810 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29699/statm: 228865 8399 2514 14 0 215334 0
[pid=29699/tid=29704] ppid=29697 vsize=915460 CPUtime=0.03
/proc/29699/task/29704/stat : 29704 (java) S 29697 29699 29451 0 -1 64 279 0 0 0 3 0 0 0 16 0 8 0 155379430 937431040 8399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29705] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29705/stat : 29705 (java) S 29697 29699 29451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155379430 937431040 8399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29706] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29706/stat : 29706 (java) S 29697 29699 29451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379430 937431040 8399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29711] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29711/stat : 29711 (java) S 29697 29699 29451 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155379433 937431040 8399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29712] ppid=29697 vsize=915460 CPUtime=0.22
/proc/29699/task/29712/stat : 29712 (java) S 29697 29699 29451 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155379433 937431040 8399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29713] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29713/stat : 29713 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155379433 937431040 8399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29714] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29714/stat : 29714 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379433 937431040 8399 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) 915460
[startup+6.26722 s]
/proc/loadavg: 0.90 0.97 0.99 3/92 29714
/proc/meminfo: memFree=1748872/2055888 swapFree=4096420/4096564
[pid=29699] ppid=29697 vsize=915460 CPUtime=6.22
/proc/29699/stat : 29699 (java) R 29697 29699 29451 0 -1 0 8665 0 1 0 617 5 0 0 25 0 8 0 155379426 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29699/statm: 228865 8404 2514 14 0 215334 0
[pid=29699/tid=29704] ppid=29697 vsize=915460 CPUtime=0.03
/proc/29699/task/29704/stat : 29704 (java) S 29697 29699 29451 0 -1 64 279 0 0 0 3 0 0 0 16 0 8 0 155379430 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29705] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29705/stat : 29705 (java) S 29697 29699 29451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155379430 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29706] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29706/stat : 29706 (java) S 29697 29699 29451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379430 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29711] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29711/stat : 29711 (java) S 29697 29699 29451 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155379433 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29712] ppid=29697 vsize=915460 CPUtime=0.22
/proc/29699/task/29712/stat : 29712 (java) S 29697 29699 29451 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155379433 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29713] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29713/stat : 29713 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155379433 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29714] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29714/stat : 29714 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379433 937431040 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7425 s]
/proc/loadavg: 0.99 0.99 0.99 3/92 29714
/proc/meminfo: memFree=1748888/2055888 swapFree=4096420/4096564
[pid=29699] ppid=29697 vsize=915460 CPUtime=12.67
/proc/29699/stat : 29699 (java) R 29697 29699 29451 0 -1 0 8671 0 1 0 1262 5 0 0 25 0 8 0 155379426 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29699/statm: 228865 8409 2514 14 0 215334 0
[pid=29699/tid=29704] ppid=29697 vsize=915460 CPUtime=0.03
/proc/29699/task/29704/stat : 29704 (java) S 29697 29699 29451 0 -1 64 279 0 0 0 3 0 0 0 16 0 8 0 155379430 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29705] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29705/stat : 29705 (java) S 29697 29699 29451 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155379430 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29706] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29706/stat : 29706 (java) S 29697 29699 29451 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155379430 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29711] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29711/stat : 29711 (java) S 29697 29699 29451 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155379433 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29712] ppid=29697 vsize=915460 CPUtime=0.22
/proc/29699/task/29712/stat : 29712 (java) S 29697 29699 29451 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 155379433 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29699/tid=29713] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29713/stat : 29713 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155379433 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29699/tid=29714] ppid=29697 vsize=915460 CPUtime=0
/proc/29699/task/29714/stat : 29714 (java) S 29697 29699 29451 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379433 937431040 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 17.3571
CPU time (s): 17.2404
CPU user time (s): 17.1794
CPU system time (s): 0.06099
CPU usage (%): 99.3274
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.1794
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8767
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= 1460
involuntary context switches= 1935
runsolver used 0.019996 s user time and 0.053991 s system time
The end
Begin job on node76 on Sat Jan 6 07:50:23 UTC 2007
IDJOB= 195469
IDBENCH= 3270
FILE ID= node76/195469-1168069823
PBS_JOBID= 3475934
Free space on /tmp= 66639 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb40-19/frb40-19-3-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195469-1168069823/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-195469-1168069823 -o ROOT/results/node76/solver-195469-1168069823 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195469-1168069823/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b56eb07e8839e46d5718269b095922ef
RANDOM SEED= 201704060
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1797296 kB
Buffers: 18944 kB
Cached: 162004 kB
SwapCached: 0 kB
Active: 55084 kB
Inactive: 146764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1797296 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 4064 kB
Writeback: 0 kB
Mapped: 31700 kB
Slab: 42680 kB
Committed_AS: 5725984 kB
PageTables: 1704 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66639 MiB
End job on node76 on Sat Jan 6 07:50:42 UTC 2007