0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/239916-1168085163/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.44 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.44 => wckTime=0.143 cpuTime=0.11 mem=7M894
0.44
0.44 relations being loaded...
0.45
0.45 constraints being loaded...
0.78 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.78 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.78 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.78 => wckTime=0.485 cpuTime=0.35 mem=23M497
0.86
0.86 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.724 cpuTime=0.5 mem=18M172
1.07
1.07 preprocessing
1.07 nbConstraintChecks=41828 nbPropagations=400 nbRevisions=3952 nbUselessRevisions=1258 nbRemovedValues=2694
1.07 detectedInconsistency=no
1.07 => wckTime=0.042 cpuTime=0.02 mem=18M172
1.12
1.12 search
1.12 run=0 nbConstraintChecks=8854 nbPropagations=781 nbRevisions=9359 nbUselessRevisions=5981 nbAssignments=69
1.12 nbFailedAssignments=10 nbBacktracks=24 nbVisitedNodes=84 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.12 nbTooLargeKeys=0
1.12 => wckTime=0.095 cpuTime=0.06 mem=18M172
1.15
1.15 search
1.15 run=1 nbConstraintChecks=15182 nbPropagations=1875 nbRevisions=22520 nbUselessRevisions=15256
1.15 nbAssignments=120 nbFailedAssignments=16 nbBacktracks=41 nbVisitedNodes=146 nbRestartNogoods=6 mapSize=17
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.12 cpuTime=0.08 mem=18M172
1.17
1.17 search
1.17 run=2 nbConstraintChecks=21485 nbPropagations=3275 nbRevisions=39584 nbUselessRevisions=27982
1.17 nbAssignments=178 nbFailedAssignments=18 nbBacktracks=67 nbVisitedNodes=211 nbRestartNogoods=8 mapSize=23
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.14 cpuTime=0.1 mem=19M147
1.19
1.19 search
1.19 run=3 nbConstraintChecks=29788 nbPropagations=5058 nbRevisions=61867 nbUselessRevisions=45311
1.19 nbAssignments=260 nbFailedAssignments=23 nbBacktracks=103 nbVisitedNodes=303 nbRestartNogoods=9 mapSize=30
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.165 cpuTime=0.12 mem=19M147
1.21
1.21 search
1.21 run=4 nbConstraintChecks=37674 nbPropagations=7188 nbRevisions=88959 nbUselessRevisions=66812
1.21 nbAssignments=334 nbFailedAssignments=28 nbBacktracks=153 nbVisitedNodes=385 nbRestartNogoods=12 mapSize=37
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.186 cpuTime=0.14 mem=19M147
1.25
1.25 search
1.25 run=5 nbConstraintChecks=53743 nbPropagations=9910 nbRevisions=126084 nbUselessRevisions=97101
1.25 nbAssignments=441 nbFailedAssignments=39 nbBacktracks=232 nbVisitedNodes=510 nbRestartNogoods=13 mapSize=54
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.219 cpuTime=0.17 mem=19M147
1.30
1.30 search
1.30 run=6 nbConstraintChecks=81834 nbPropagations=13685 nbRevisions=181861 nbUselessRevisions=143976
1.30 nbAssignments=610 nbFailedAssignments=56 nbBacktracks=348 nbVisitedNodes=715 nbRestartNogoods=14 mapSize=88
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.271 cpuTime=0.22 mem=19M147
1.36
1.36 search
1.36 run=7 nbConstraintChecks=128559 nbPropagations=19024 nbRevisions=270440 nbUselessRevisions=220503
1.36 nbAssignments=856 nbFailedAssignments=80 nbBacktracks=519 nbVisitedNodes=1012 nbRestartNogoods=16 mapSize=136
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.336 cpuTime=0.28 mem=19M147
1.46
1.46 search
1.46 run=8 nbConstraintChecks=187443 nbPropagations=26432 nbRevisions=401437 nbUselessRevisions=335474
1.46 nbAssignments=1223 nbFailedAssignments=124 nbBacktracks=797 nbVisitedNodes=1457 nbRestartNogoods=19
1.46 mapSize=211 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.432 cpuTime=0.37 mem=19M147
1.61
1.61 search
1.61 run=9 nbConstraintChecks=285053 nbPropagations=37113 nbRevisions=601175 nbUselessRevisions=512305
1.61 nbAssignments=1778 nbFailedAssignments=202 nbBacktracks=1233 nbVisitedNodes=2146 nbRestartNogoods=22
1.61 mapSize=342 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.585 cpuTime=0.51 mem=19M147
1.77
1.77 search
1.77 run=10 nbConstraintChecks=380034 nbPropagations=51240 nbRevisions=864879 nbUselessRevisions=746345
1.77 nbAssignments=2467 nbFailedAssignments=259 nbBacktracks=1821 nbVisitedNodes=2969 nbRestartNogoods=25
1.77 mapSize=471 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.744 cpuTime=0.65 mem=20M123
2.00
2.00 search
2.00 run=11 nbConstraintChecks=531328 nbPropagations=70823 nbRevisions=1228668 nbUselessRevisions=1069472
2.00 nbAssignments=3530 nbFailedAssignments=379 nbBacktracks=2717 nbVisitedNodes=4278 nbRestartNogoods=30
2.00 mapSize=712 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=0.974 cpuTime=0.88 mem=20M123
2.33
2.33 search
2.33 run=12 nbConstraintChecks=756848 nbPropagations=98349 nbRevisions=1748961 nbUselessRevisions=1533137
2.33 nbAssignments=5020 nbFailedAssignments=522 nbBacktracks=4031 nbVisitedNodes=6037 nbRestartNogoods=34
2.33 mapSize=976 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=1.302 cpuTime=1.2 mem=21M98
2.38
2.38 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=21M98)
2.75
2.75 search
2.75 run=13 nbConstraintChecks=1090936 nbPropagations=137802 nbRevisions=2499718 nbUselessRevisions=2203398
2.75 nbAssignments=7238 nbFailedAssignments=747 nbBacktracks=5991 nbVisitedNodes=8689 nbRestartNogoods=38
2.75 => wckTime=1.722 cpuTime=1.62 mem=21M98
3.42
3.42 search
3.42 run=14 nbConstraintChecks=1692762 nbPropagations=197974 nbRevisions=3651639 nbUselessRevisions=3231543
3.42 nbAssignments=10589 nbFailedAssignments=1136 nbBacktracks=8927 nbVisitedNodes=12903 nbRestartNogoods=40
3.42 => wckTime=2.394 cpuTime=2.28 mem=21M98
4.55
4.55 search
4.55 run=15 nbConstraintChecks=2727253 nbPropagations=295562 nbRevisions=5501726 nbUselessRevisions=4878507
4.55 nbAssignments=15702 nbFailedAssignments=1840 nbBacktracks=13308 nbVisitedNodes=19482 nbRestartNogoods=49
4.55 => wckTime=3.52 cpuTime=3.4 mem=21M98
6.49
6.49 search
6.49 run=16 nbConstraintChecks=4703092 nbPropagations=460089 nbRevisions=8728073 nbUselessRevisions=7764530
6.50 nbAssignments=23457 nbFailedAssignments=2998 nbBacktracks=19879 nbVisitedNodes=29721 nbRestartNogoods=55
6.50 => wckTime=5.467 cpuTime=5.31 mem=21M98
8.04
8.04 search
8.04 run=17 nbConstraintChecks=6300431 nbPropagations=678138 nbRevisions=13070953 nbUselessRevisions=11656851
8.04 nbAssignments=29910 nbFailedAssignments=4082 nbBacktracks=24848 nbVisitedNodes=38446 nbRestartNogoods=61
8.04 => wckTime=7.01 cpuTime=6.84 mem=21M98
8.04
8.04 global
8.04 nbConstraintChecks=6342259 nbPropagations=678538 nbRevisions=13074905 nbUselessRevisions=11658109
8.04 nbRestartNogoods=61 solvingWckTime=7.011 solvingCpuTime=6.84 expiredTime=no totalExploration=no
8.04 nbFoundSolutions=1 globalCpuTime=7.38
8.04 => wckTime=7.739 cpuTime=7.34 mem=21M98
8.04
8.04 s SATISFIABLE
8.04 v 15 19 0 3 18 17 1 4 7 8 16 10 5 13 6 14 12 9 2 11 18 9 3 1 15 16 4 8 12 14 13 11 0 6 17 5 7 2 10 19 13 6 17 12 8 2 14 3 19 0 11 16 9 5 15 1 10 4 7 18 19 0 11 9 1 7 12 16 13 2 17 8 4 10 14 18 6 3 15 5 5 1 15 17 14 11 18 7 3 19 9 2 6 4 13 0 16 12 8 10 10 4 16 2 12 19 3 15 0 9 5 17 11 8 7 6 1 13 18 14 0 17 6 14 9 1 13 18 8 15 12 19 7 3 10 4 2 11 5 16 17 2 9 15 11 8 6 10 18 12 19 5 13 1 3 16 0 7 14 4 3 7 14 11 10 6 8 9 16 5 2 12 19 17 18 15 13 0 4 1 14 10 7 16 13 18 19 5 15 4 3 1 8 2 0 9 11 6 12 17 8 18 10 13 0 14 5 12 4 7 6 3 1 19 16 11 17 15 9 2 16 12 13 6 17 15 2 14 1 18 0 4 10 7 9 8 5 19 11 3 7 11 19 18 3 13 15 17 5 1 10 6 14 0 2 12 4 8 16 9 9 14 4 5 6 0 10 2 17 3 8 15 12 11 19 7 18 16 1 13 6 8 12 10 7 3 9 0 11 16 4 13 2 18 1 19 14 5 17 15 11 5 2 4 16 10 0 6 9 13 7 18 3 14 8 17 15 1 19 12 4 3 18 0 19 12 16 13 14 11 1 7 17 15 5 2 9 10 6 8 1 13 8 19 5 4 7 11 2 17 15 14 16 9 12 10 3 18 0 6 12 15 5 8 2 9 11 1 10 6 14 0 18 16 4 3 19 17 13 7 2 16 1 7 4 5 17 19 6 10 18 9 15 12 11 13 8 14 3 0
8.04 d NODES 29910
8.04 d CHECKS 6342259
8.04
8.04 totalWckTime=7.82 totalCpuTime=7.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-239916-1168085163 -o ROOT/results/node76/solver-239916-1168085163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239916-1168085163/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.52 1.88 1.87 4/85 1120
/proc/meminfo: memFree=1108808/2055888 swapFree=4096420/4096564
[pid=1119] ppid=1117 vsize=0 CPUtime=0
/proc/1119/stat : 1119 (runsolver) R 1117 1119 995 0 -1 4194368 18 0 0 0 0 0 0 0 18 0 1 0 156913690 0 0 18446744073709551615 0 0 0 18446744073709551615 206843737111 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1119/statm: 0 0 0 0 0 0 0
[startup+0.107056 s]
/proc/loadavg: 1.52 1.88 1.87 4/85 1120
/proc/meminfo: memFree=1108808/2055888 swapFree=4096420/4096564
[pid=1119] ppid=1117 vsize=914992 CPUtime=0.09
/proc/1119/stat : 1119 (java) R 1117 1119 995 0 -1 0 3064 0 1 0 7 2 0 0 24 0 8 0 156913690 936951808 2812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153544381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1119/statm: 228748 2812 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992
[startup+0.519135 s]
/proc/loadavg: 1.52 1.88 1.87 4/85 1120
/proc/meminfo: memFree=1108808/2055888 swapFree=4096420/4096564
[pid=1119] ppid=1117 vsize=915332 CPUtime=0.49
/proc/1119/stat : 1119 (java) R 1117 1119 995 0 -1 0 6586 0 1 0 45 4 0 0 25 0 8 0 156913690 937299968 6327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1119/statm: 228833 6327 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3433 s]
/proc/loadavg: 1.63 1.90 1.88 3/92 1127
/proc/meminfo: memFree=1072976/2055888 swapFree=4096420/4096564
[pid=1119] ppid=1117 vsize=915680 CPUtime=1.31
/proc/1119/stat : 1119 (java) R 1117 1119 995 0 -1 0 11687 0 1 0 124 7 0 0 25 0 8 0 156913690 937656320 11427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1119/statm: 228920 11427 2514 14 0 215389 0
[pid=1119/tid=1121] ppid=1117 vsize=915680 CPUtime=0.06
/proc/1119/task/1121/stat : 1121 (java) S 1117 1119 995 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156913694 937656320 11427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1122] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1122/stat : 1122 (java) S 1117 1119 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156913695 937656320 11427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1123] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1123/stat : 1123 (java) S 1117 1119 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156913695 937656320 11427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1124] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1124/stat : 1124 (java) S 1117 1119 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156913698 937656320 11427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1125] ppid=1117 vsize=915680 CPUtime=0.27
/proc/1119/task/1125/stat : 1125 (java) S 1117 1119 995 0 -1 64 471 0 0 0 26 1 0 0 15 0 8 0 156913698 937656320 11427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1126] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1126/stat : 1126 (java) S 1117 1119 995 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156913698 937656320 11427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1127] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1127/stat : 1127 (java) S 1117 1119 995 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156913698 937656320 11427 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) 915680
[startup+2.98062 s]
/proc/loadavg: 1.63 1.90 1.88 3/92 1127
/proc/meminfo: memFree=1072848/2055888 swapFree=4096420/4096564
[pid=1119] ppid=1117 vsize=915680 CPUtime=2.94
/proc/1119/stat : 1119 (java) R 1117 1119 995 0 -1 0 11703 0 1 0 286 8 0 0 25 0 8 0 156913690 937656320 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1119/statm: 228920 11442 2514 14 0 215389 0
[pid=1119/tid=1121] ppid=1117 vsize=915680 CPUtime=0.06
/proc/1119/task/1121/stat : 1121 (java) S 1117 1119 995 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 156913694 937656320 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1122] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1122/stat : 1122 (java) S 1117 1119 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156913695 937656320 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1123] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1123/stat : 1123 (java) S 1117 1119 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156913695 937656320 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1124] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1124/stat : 1124 (java) S 1117 1119 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156913698 937656320 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1125] ppid=1117 vsize=915680 CPUtime=0.3
/proc/1119/task/1125/stat : 1125 (java) S 1117 1119 995 0 -1 64 486 0 0 0 29 1 0 0 15 0 8 0 156913698 937656320 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1126] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1126/stat : 1126 (java) S 1117 1119 995 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156913698 937656320 11442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1127] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1127/stat : 1127 (java) S 1117 1119 995 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156913698 937656320 11442 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) 915680
[startup+6.27726 s]
/proc/loadavg: 1.66 1.90 1.88 4/92 1127
/proc/meminfo: memFree=1072848/2055888 swapFree=4096420/4096564
[pid=1119] ppid=1117 vsize=915680 CPUtime=6.19
/proc/1119/stat : 1119 (java) R 1117 1119 995 0 -1 0 11705 0 1 0 611 8 0 0 25 0 8 0 156913690 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073969915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1119/statm: 228920 11443 2514 14 0 215389 0
[pid=1119/tid=1121] ppid=1117 vsize=915680 CPUtime=0.06
/proc/1119/task/1121/stat : 1121 (java) S 1117 1119 995 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156913694 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1122] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1122/stat : 1122 (java) S 1117 1119 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156913695 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1123] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1123/stat : 1123 (java) S 1117 1119 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156913695 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1124] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1124/stat : 1124 (java) S 1117 1119 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156913698 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1125] ppid=1117 vsize=915680 CPUtime=0.3
/proc/1119/task/1125/stat : 1125 (java) S 1117 1119 995 0 -1 64 486 0 0 0 29 1 0 0 17 0 8 0 156913698 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1126] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1126/stat : 1126 (java) S 1117 1119 995 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156913698 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1119/tid=1127] ppid=1117 vsize=915680 CPUtime=0
/proc/1119/task/1127/stat : 1127 (java) S 1117 1119 995 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156913698 937656320 11443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915680
Child status: 0
Real time (s): 8.05611
CPU time (s): 7.95679
CPU user time (s): 7.8648
CPU system time (s): 0.091986
CPU usage (%): 98.7671
Max. virtual memory (cumulated for all children) (KiB): 915784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.8648
system time used= 0.091986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11715
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= 1492
involuntary context switches= 1909
runsolver used 0.018997 s user time and 0.024996 s system time
The end
Begin job on node76 on Sat Jan 6 12:06:04 UTC 2007
IDJOB= 239916
IDBENCH= 7090
FILE ID= node76/239916-1168085163
PBS_JOBID= 3476296
Free space on /tmp= 66632 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239916-1168085163/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-239916-1168085163 -o ROOT/results/node76/solver-239916-1168085163 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239916-1168085163/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1298ed8d16b44c7beb1100ee68c7611c
RANDOM SEED= 707773031
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: 1109224 kB
Buffers: 24720 kB
Cached: 227900 kB
SwapCached: 0 kB
Active: 689704 kB
Inactive: 198996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1109224 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 2276 kB
Writeback: 0 kB
Mapped: 656348 kB
Slab: 42288 kB
Committed_AS: 6649816 kB
PageTables: 3024 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= 66632 MiB
End job on node76 on Sat Jan 6 12:06:17 UTC 2007