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/202948-1168072766/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3283 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.306 cpuTime=0.22 mem=13M778
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.492 cpuTime=0.34 mem=13M940
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0040 cpuTime=0.01 mem=13M940
0.84
0.84 search
0.84 run=0 nbConstraintChecks=34611 nbPropagations=485 nbRevisions=5290 nbUselessRevisions=4275 nbAssignments=25
0.84 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.051 cpuTime=0.04 mem=14M915
0.86
0.86 search
0.86 run=1 nbConstraintChecks=89831 nbPropagations=1666 nbRevisions=19716 nbUselessRevisions=15872 nbAssignments=61
0.86 nbFailedAssignments=21 nbBacktracks=28 nbVisitedNodes=99 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.073 cpuTime=0.05 mem=14M915
0.88
0.88 search
0.88 run=2 nbConstraintChecks=141069 nbPropagations=3488 nbRevisions=41834 nbUselessRevisions=33674
0.88 nbAssignments=103 nbFailedAssignments=32 nbBacktracks=55 nbVisitedNodes=162 nbRestartNogoods=5 mapSize=41
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.094 cpuTime=0.06 mem=14M915
0.90
0.90 search
0.90 run=3 nbConstraintChecks=241091 nbPropagations=6483 nbRevisions=79973 nbUselessRevisions=63966
0.90 nbAssignments=167 nbFailedAssignments=59 nbBacktracks=88 nbVisitedNodes=277 nbRestartNogoods=7 mapSize=70
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.113 cpuTime=0.08 mem=14M915
0.93
0.93 search
0.93 run=4 nbConstraintChecks=365976 nbPropagations=11074 nbRevisions=139023 nbUselessRevisions=111027
0.93 nbAssignments=256 nbFailedAssignments=89 nbBacktracks=139 nbVisitedNodes=423 nbRestartNogoods=10 mapSize=110
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.137 cpuTime=0.1 mem=14M915
0.97
0.97 search
0.97 run=5 nbConstraintChecks=568903 nbPropagations=18128 nbRevisions=232607 nbUselessRevisions=185492
0.97 nbAssignments=396 nbFailedAssignments=149 nbBacktracks=214 nbVisitedNodes=664 nbRestartNogoods=16 mapSize=171
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.178 cpuTime=0.14 mem=14M915
1.02
1.02 search
1.02 run=6 nbConstraintChecks=853294 nbPropagations=28806 nbRevisions=376001 nbUselessRevisions=299456
1.02 nbAssignments=586 nbFailedAssignments=223 nbBacktracks=327 nbVisitedNodes=997 nbRestartNogoods=19 mapSize=261
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.23 cpuTime=0.19 mem=14M915
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1310677 nbPropagations=45174 nbRevisions=598354 nbUselessRevisions=476239
1.10 nbAssignments=886 nbFailedAssignments=345 nbBacktracks=500 nbVisitedNodes=1519 nbRestartNogoods=21 mapSize=406
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.309 cpuTime=0.27 mem=14M915
1.22
1.22 search
1.22 run=8 nbConstraintChecks=2033266 nbPropagations=70592 nbRevisions=948233 nbUselessRevisions=755288
1.22 nbAssignments=1351 nbFailedAssignments=546 nbBacktracks=759 nbVisitedNodes=2352 nbRestartNogoods=24
1.22 mapSize=635 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.433 cpuTime=0.39 mem=14M915
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2956451 nbPropagations=107263 nbRevisions=1452218 nbUselessRevisions=1156392
1.38 nbAssignments=1995 nbFailedAssignments=796 nbBacktracks=1145 nbVisitedNodes=3449 nbRestartNogoods=32
1.38 mapSize=943 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.59 cpuTime=0.53 mem=14M915
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=14M915)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=4601501 nbPropagations=163738 nbRevisions=2242143 nbUselessRevisions=1786735
1.63 nbAssignments=3016 nbFailedAssignments=1234 nbBacktracks=1723 nbVisitedNodes=5272 nbRestartNogoods=46
1.63 => wckTime=0.838 cpuTime=0.77 mem=14M915
1.92
1.92 search
1.92 run=11 nbConstraintChecks=6673657 nbPropagations=245815 nbRevisions=3381958 nbUselessRevisions=2694103
1.92 nbAssignments=4450 nbFailedAssignments=1797 nbBacktracks=2589 nbVisitedNodes=7730 nbRestartNogoods=53
1.92 => wckTime=1.129 cpuTime=1.06 mem=14M915
2.42
2.42 search
2.42 run=12 nbConstraintChecks=10330063 nbPropagations=371018 nbRevisions=5125310 nbUselessRevisions=4079679
2.42 nbAssignments=6694 nbFailedAssignments=2737 nbBacktracks=3886 nbVisitedNodes=11686 nbRestartNogoods=61
2.42 => wckTime=1.626 cpuTime=1.55 mem=14M915
3.08
3.08 search
3.08 run=13 nbConstraintChecks=14968505 nbPropagations=555910 nbRevisions=7700811 nbUselessRevisions=6130352
3.08 nbAssignments=9965 nbFailedAssignments=4056 nbBacktracks=5833 nbVisitedNodes=17327 nbRestartNogoods=73
3.08 => wckTime=2.29 cpuTime=2.22 mem=14M915
4.18
4.18 search
4.18 run=14 nbConstraintChecks=22957944 nbPropagations=837513 nbRevisions=11653751 nbUselessRevisions=9280684
4.18 nbAssignments=15068 nbFailedAssignments=6231 nbBacktracks=8753 nbVisitedNodes=26387 nbRestartNogoods=85
4.18 => wckTime=3.391 cpuTime=3.32 mem=14M915
5.64
5.64 search
5.64 run=15 nbConstraintChecks=33334324 nbPropagations=1251132 nbRevisions=17443589 nbUselessRevisions=13898986
5.64 nbAssignments=22296 nbFailedAssignments=9073 nbBacktracks=13132 nbVisitedNodes=38913 nbRestartNogoods=97
5.64 => wckTime=4.85 cpuTime=4.77 mem=14M915
8.05
8.05 search
8.05 run=16 nbConstraintChecks=50570431 nbPropagations=1880506 nbRevisions=26309300 nbUselessRevisions=20982445
8.05 nbAssignments=33732 nbFailedAssignments=13937 nbBacktracks=19700 nbVisitedNodes=59057 nbRestartNogoods=106
8.05 => wckTime=7.261 cpuTime=7.18 mem=14M915
11.68
11.68 search
11.68 run=17 nbConstraintChecks=76894637 nbPropagations=2828366 nbRevisions=39755871 nbUselessRevisions=31734239
11.68 nbAssignments=51058 nbFailedAssignments=21405 nbBacktracks=29554 nbVisitedNodes=89499 nbRestartNogoods=120
11.68 => wckTime=10.892 cpuTime=10.81 mem=14M915
16.68
16.68 search
16.68 run=18 nbConstraintChecks=113148610 nbPropagations=4219982 nbRevisions=59272549 nbUselessRevisions=47293945
16.68 nbAssignments=75037 nbFailedAssignments=30602 nbBacktracks=44332 nbVisitedNodes=130626 nbRestartNogoods=127
16.68 => wckTime=15.888 cpuTime=15.81 mem=14M915
21.81
21.81 search
21.81 run=19 nbConstraintChecks=150204849 nbPropagations=6064514 nbRevisions=85094617 nbUselessRevisions=67867164
21.81 nbAssignments=99005 nbFailedAssignments=40328 nbBacktracks=58534 nbVisitedNodes=172423 nbRestartNogoods=138
21.81 => wckTime=21.019 cpuTime=20.94 mem=14M915
21.81
21.81 global
21.81 nbConstraintChecks=150204849 nbPropagations=6064554 nbRevisions=85094617 nbUselessRevisions=67867164
21.81 nbRestartNogoods=138 solvingWckTime=21.021 solvingCpuTime=20.94 expiredTime=no totalExploration=no
21.81 nbFoundSolutions=1 globalCpuTime=21.32
21.81 => wckTime=21.515 cpuTime=21.28 mem=14M915
21.81
21.81 s SATISFIABLE
21.81 v 14 15 13 5 2 3 3 1 2 17 0 9 10 17 11 1 7 4 5 18 16 15 2 16 14 16 3 5 7 6 18 7 18 6 10 0 9 8 1 2
21.81 d NODES 99005
21.81 d CHECKS 150204849
21.81
21.81 totalWckTime=21.592 totalCpuTime=21.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-202948-1168072766 -o ROOT/results/node72/solver-202948-1168072766 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202948-1168072766/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.98 1.81 1.40 2/93 32126
/proc/meminfo: memFree=1289320/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=9748 CPUtime=0
/proc/32125/stat : 32125 (java) D 32123 32125 31814 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 155685446 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2536228 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/32125/statm: 2437 412 333 14 0 1140 0
[startup+0.102052 s]
/proc/loadavg: 1.98 1.81 1.40 2/93 32126
/proc/meminfo: memFree=1289320/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=914988 CPUtime=0.08
/proc/32125/stat : 32125 (java) R 32123 32125 31814 0 -1 0 3019 0 1 0 7 1 0 0 24 0 8 0 155685446 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32125/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510087 s]
/proc/loadavg: 1.98 1.81 1.40 2/93 32126
/proc/meminfo: memFree=1289320/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=915328 CPUtime=0.49
/proc/32125/stat : 32125 (java) R 32123 32125 31814 0 -1 0 6942 0 1 0 45 4 0 0 25 0 8 0 155685446 937295872 6681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32125/statm: 228832 6682 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33116 s]
/proc/loadavg: 1.98 1.81 1.40 3/100 32133
/proc/meminfo: memFree=1265648/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=915456 CPUtime=1.3
/proc/32125/stat : 32125 (java) R 32123 32125 31814 0 -1 0 8643 0 1 0 124 6 0 0 25 0 8 0 155685446 937426944 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32125/statm: 228864 8381 2513 14 0 215334 0
[pid=32125/tid=32127] ppid=32123 vsize=915456 CPUtime=0.03
/proc/32125/task/32127/stat : 32127 (java) S 32123 32125 31814 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 155685449 937426944 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32128] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32128/stat : 32128 (java) S 32123 32125 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685450 937426944 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32129] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32129/stat : 32129 (java) S 32123 32125 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155685450 937426944 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32130] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32130/stat : 32130 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155685453 937426944 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32131] ppid=32123 vsize=915456 CPUtime=0.2
/proc/32125/task/32131/stat : 32131 (java) S 32123 32125 31814 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 155685453 937426944 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32132] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32132/stat : 32132 (java) S 32123 32125 31814 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155685453 937426944 8381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32133] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32133/stat : 32133 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155685453 937426944 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.3
Current children cumulated vsize (KiB) 915456
[startup+2.96831 s]
/proc/loadavg: 1.98 1.81 1.40 3/100 32133
/proc/meminfo: memFree=1265456/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=915456 CPUtime=2.94
/proc/32125/stat : 32125 (java) R 32123 32125 31814 0 -1 0 8674 0 1 0 288 6 0 0 25 0 8 0 155685446 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32125/statm: 228864 8411 2513 14 0 215334 0
[pid=32125/tid=32127] ppid=32123 vsize=915456 CPUtime=0.03
/proc/32125/task/32127/stat : 32127 (java) S 32123 32125 31814 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 155685449 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32128] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32128/stat : 32128 (java) S 32123 32125 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685450 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32129] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32129/stat : 32129 (java) S 32123 32125 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155685450 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32130] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32130/stat : 32130 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155685453 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32131] ppid=32123 vsize=915456 CPUtime=0.22
/proc/32125/task/32131/stat : 32131 (java) S 32123 32125 31814 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 155685453 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32132] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32132/stat : 32132 (java) S 32123 32125 31814 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155685453 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32133] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32133/stat : 32133 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155685453 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.26761 s]
/proc/loadavg: 1.98 1.82 1.41 3/100 32133
/proc/meminfo: memFree=1265392/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=915456 CPUtime=6.24
/proc/32125/stat : 32125 (java) R 32123 32125 31814 0 -1 0 8683 0 1 0 618 6 0 0 25 0 8 0 155685446 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32125/statm: 228864 8419 2513 14 0 215334 0
[pid=32125/tid=32127] ppid=32123 vsize=915456 CPUtime=0.03
/proc/32125/task/32127/stat : 32127 (java) S 32123 32125 31814 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 155685449 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32128] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32128/stat : 32128 (java) S 32123 32125 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685450 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32129] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32129/stat : 32129 (java) S 32123 32125 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155685450 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32130] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32130/stat : 32130 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155685453 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32131] ppid=32123 vsize=915456 CPUtime=0.22
/proc/32125/task/32131/stat : 32131 (java) S 32123 32125 31814 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155685453 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32132] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32132/stat : 32132 (java) S 32123 32125 31814 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155685453 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32133] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32133/stat : 32133 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155685453 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915456
[startup+12.7422 s]
/proc/loadavg: 1.98 1.82 1.41 3/100 32133
/proc/meminfo: memFree=1265392/2055920 swapFree=4192812/4192956
[pid=32125] ppid=32123 vsize=915456 CPUtime=12.71
/proc/32125/stat : 32125 (java) R 32123 32125 31814 0 -1 0 8688 0 1 0 1265 6 0 0 25 0 8 0 155685446 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32125/statm: 228864 8424 2513 14 0 215334 0
[pid=32125/tid=32127] ppid=32123 vsize=915456 CPUtime=0.03
/proc/32125/task/32127/stat : 32127 (java) S 32123 32125 31814 0 -1 64 292 0 0 0 3 0 0 0 16 0 8 0 155685449 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32128] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32128/stat : 32128 (java) S 32123 32125 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155685450 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32129] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32129/stat : 32129 (java) S 32123 32125 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155685450 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32130] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32130/stat : 32130 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155685453 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32131] ppid=32123 vsize=915456 CPUtime=0.22
/proc/32125/task/32131/stat : 32131 (java) S 32123 32125 31814 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155685453 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32132] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32132/stat : 32132 (java) S 32123 32125 31814 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155685453 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32125/tid=32133] ppid=32123 vsize=915456 CPUtime=0
/proc/32125/task/32133/stat : 32133 (java) S 32123 32125 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155685453 937426944 8424 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) 915456
Child status: 0
Real time (s): 21.8277
CPU time (s): 21.7987
CPU user time (s): 21.7257
CPU system time (s): 0.072988
CPU usage (%): 99.867
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.7257
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8782
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= 1601
involuntary context switches= 2807
runsolver used 0.032994 s user time and 0.078987 s system time
The end
Begin job on node72 on Sat Jan 6 08:39:26 UTC 2007
IDJOB= 202948
IDBENCH= 3900
FILE ID= node72/202948-1168072766
PBS_JOBID= 3475972
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202948-1168072766/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-202948-1168072766 -o ROOT/results/node72/solver-202948-1168072766 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202948-1168072766/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9744dc6c8fd34dff264dd0ff999bfc0
RANDOM SEED= 21377537
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.223
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.223
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: 1289800 kB
Buffers: 40244 kB
Cached: 433308 kB
SwapCached: 0 kB
Active: 310904 kB
Inactive: 382516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1289800 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 248892 kB
Slab: 57120 kB
Committed_AS: 3376604 kB
PageTables: 2652 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= 66546 MiB
End job on node72 on Sat Jan 6 08:39:48 UTC 2007