0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/224376-1168080518/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.59
0.59 constraints being loaded...
0.68 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.68 => wckTime=0.375 cpuTime=0.31 mem=21M601
0.73
0.73 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.574 cpuTime=0.44 mem=15M148
0.89
0.89 preprocessing
0.89 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.89 detectedInconsistency=no
0.89 => wckTime=0.0020 cpuTime=0.0 mem=15M148
0.95
0.95 search
0.95 run=0 nbConstraintChecks=128051 nbPropagations=1112 nbRevisions=4938 nbUselessRevisions=2559 nbAssignments=27
0.95 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.063 cpuTime=0.04 mem=15M148
0.98
0.98 search
0.98 run=1 nbConstraintChecks=283619 nbPropagations=3363 nbRevisions=15181 nbUselessRevisions=7984 nbAssignments=66
0.98 nbFailedAssignments=35 nbBacktracks=26 nbVisitedNodes=120 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.089 cpuTime=0.06 mem=15M148
1.01
1.01 search
1.01 run=2 nbConstraintChecks=545846 nbPropagations=7632 nbRevisions=35094 nbUselessRevisions=18560
1.01 nbAssignments=141 nbFailedAssignments=84 nbBacktracks=49 nbVisitedNodes=264 nbRestartNogoods=5 mapSize=46
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.126 cpuTime=0.08 mem=15M148
1.04
1.04 search
1.04 run=3 nbConstraintChecks=784708 nbPropagations=13576 nbRevisions=62762 nbUselessRevisions=33228
1.04 nbAssignments=206 nbFailedAssignments=111 nbBacktracks=84 nbVisitedNodes=373 nbRestartNogoods=19 mapSize=72
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.152 cpuTime=0.11 mem=15M148
1.09
1.09 search
1.09 run=4 nbConstraintChecks=1335535 nbPropagations=23529 nbRevisions=110055 nbUselessRevisions=58482
1.09 nbAssignments=342 nbFailedAssignments=194 nbBacktracks=135 nbVisitedNodes=631 nbRestartNogoods=22 mapSize=120
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.204 cpuTime=0.16 mem=15M148
1.20
1.20 search
1.20 run=5 nbConstraintChecks=2421412 nbPropagations=41328 nbRevisions=195422 nbUselessRevisions=103942
1.20 nbAssignments=662 nbFailedAssignments=437 nbBacktracks=210 nbVisitedNodes=1253 nbRestartNogoods=39 mapSize=189
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.307 cpuTime=0.25 mem=15M148
1.30
1.30 search
1.30 run=6 nbConstraintChecks=3659462 nbPropagations=68354 nbRevisions=325470 nbUselessRevisions=173248
1.30 nbAssignments=954 nbFailedAssignments=612 nbBacktracks=325 nbVisitedNodes=1796 nbRestartNogoods=45 mapSize=289
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.417 cpuTime=0.36 mem=15M148
1.43
1.43 search
1.43 run=7 nbConstraintChecks=5050872 nbPropagations=106779 nbRevisions=510758 nbUselessRevisions=272267
1.43 nbAssignments=1341 nbFailedAssignments=827 nbBacktracks=496 nbVisitedNodes=2503 nbRestartNogoods=54
1.43 mapSize=426 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.545 cpuTime=0.49 mem=15M148
1.71
1.71 search
1.71 run=8 nbConstraintChecks=8410181 nbPropagations=167817 nbRevisions=805221 nbUselessRevisions=430398
1.71 nbAssignments=2153 nbFailedAssignments=1380 nbBacktracks=752 nbVisitedNodes=4043 nbRestartNogoods=58
1.71 mapSize=651 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.822 cpuTime=0.75 mem=15M148
1.98
1.98 search
1.98 run=9 nbConstraintChecks=11858425 nbPropagations=253795 nbRevisions=1220066 nbUselessRevisions=653032
1.98 nbAssignments=2993 nbFailedAssignments=1831 nbBacktracks=1138 nbVisitedNodes=5573 nbRestartNogoods=64
1.98 mapSize=973 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=1.094 cpuTime=1.02 mem=15M148
2.03
2.03 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=16M123)
2.39
2.39 search
2.39 run=10 nbConstraintChecks=17288083 nbPropagations=375916 nbRevisions=1807339 nbUselessRevisions=969145
2.39 nbAssignments=4295 nbFailedAssignments=2554 nbBacktracks=1716 nbVisitedNodes=7972 nbRestartNogoods=70
2.39 => wckTime=1.507 cpuTime=1.41 mem=16M123
3.22
3.22 search
3.22 run=11 nbConstraintChecks=28447099 nbPropagations=573494 nbRevisions=2778155 nbUselessRevisions=1489357
3.22 nbAssignments=6718 nbFailedAssignments=4111 nbBacktracks=2580 nbVisitedNodes=12616 nbRestartNogoods=79
3.22 => wckTime=2.334 cpuTime=2.23 mem=16M123
4.12
4.12 search
4.12 run=12 nbConstraintChecks=40701799 nbPropagations=856934 nbRevisions=4159012 nbUselessRevisions=2230831
4.12 nbAssignments=9545 nbFailedAssignments=5637 nbBacktracks=3878 nbVisitedNodes=17851 nbRestartNogoods=102
4.12 => wckTime=3.235 cpuTime=3.12 mem=16M123
5.70
5.70 search
5.70 run=13 nbConstraintChecks=61571436 nbPropagations=1293544 nbRevisions=6291077 nbUselessRevisions=3376449
5.70 nbAssignments=14875 nbFailedAssignments=9018 nbBacktracks=5826 nbVisitedNodes=27965 nbRestartNogoods=112
5.70 => wckTime=4.811 cpuTime=4.68 mem=16M123
8.02
8.02 search
8.02 run=14 nbConstraintChecks=93762228 nbPropagations=1941274 nbRevisions=9459539 nbUselessRevisions=5081219
8.02 nbAssignments=22101 nbFailedAssignments=13322 nbBacktracks=8745 nbVisitedNodes=41532 nbRestartNogoods=114
8.02 => wckTime=7.132 cpuTime=6.98 mem=16M123
8.42
8.42 search
8.42 run=15 nbConstraintChecks=99275105 nbPropagations=2623696 nbRevisions=12805157 nbUselessRevisions=6880328
8.42 nbAssignments=23337 nbFailedAssignments=14097 nbBacktracks=9166 nbVisitedNodes=43857 nbRestartNogoods=128
8.42 => wckTime=7.532 cpuTime=7.37 mem=16M123
8.42
8.42 global
8.42 nbConstraintChecks=99275105 nbPropagations=2623736 nbRevisions=12805157 nbUselessRevisions=6880328
8.42 nbRestartNogoods=128 solvingWckTime=7.533 solvingCpuTime=7.38 expiredTime=no totalExploration=no
8.42 nbFoundSolutions=1 globalCpuTime=7.88
8.42 => wckTime=8.112 cpuTime=7.82 mem=16M123
8.42
8.42 s SATISFIABLE
8.42 v 62 39 7 6 67 10 76 71 4 36 32 10 60 11 17 75 50 36 56 54 76 1 34 76 63 26 75 65 72 46 79 76 55 0 38 8 14 36 0 46
8.42 d NODES 23337
8.42 d CHECKS 99275105
8.42
8.42 totalWckTime=8.193 totalCpuTime=7.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-224376-1168080518 -o ROOT/results/node11/solver-224376-1168080518 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224376-1168080518/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.61 1.90 1.96 4/93 30144
/proc/meminfo: memFree=1593720/2055920 swapFree=4192812/4192956
[pid=30143] ppid=30141 vsize=907676 CPUtime=0.03
/proc/30143/stat : 30143 (java) S 30141 30143 29790 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 156447247 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 226919 1920 1089 14 0 214502 0
[pid=30143/tid=30145] ppid=30141 vsize=907676 CPUtime=0
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29790 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 156447250 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=907676 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29790 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 156447250 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=907676 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) R 30141 30143 29790 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 156447250 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8826840 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.104249 s]
/proc/loadavg: 1.61 1.90 1.96 4/93 30144
/proc/meminfo: memFree=1593720/2055920 swapFree=4192812/4192956
[pid=30143] ppid=30141 vsize=914988 CPUtime=0.09
/proc/30143/stat : 30143 (java) R 30141 30143 29790 0 -1 0 3022 0 1 0 8 1 0 0 17 0 8 0 156447247 936947712 2768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155081094 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228747 2768 1435 14 0 215242 0
[pid=30143/tid=30145] ppid=30141 vsize=914988 CPUtime=0
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29790 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 156447250 936947712 2768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=914988 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29790 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156447250 936947712 2768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=914988 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29790 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156447250 936947712 2768 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51233 s]
/proc/loadavg: 1.61 1.90 1.96 4/93 30144
/proc/meminfo: memFree=1593720/2055920 swapFree=4192812/4192956
[pid=30143] ppid=30141 vsize=915328 CPUtime=0.5
/proc/30143/stat : 30143 (java) R 30141 30143 29790 0 -1 0 7476 0 1 0 45 5 0 0 18 0 8 0 156447247 937295872 7215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228832 7215 2137 14 0 215302 0
[pid=30143/tid=30145] ppid=30141 vsize=915328 CPUtime=0
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29790 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 156447250 937295872 7215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915328 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29790 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156447250 937295872 7215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915328 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29790 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156447250 937295872 7215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33449 s]
/proc/loadavg: 1.61 1.90 1.96 3/100 30151
/proc/meminfo: memFree=1562496/2055920 swapFree=4192812/4192956
[pid=30143] ppid=30141 vsize=915464 CPUtime=1.3
/proc/30143/stat : 30143 (java) R 30141 30143 29790 0 -1 0 10525 0 1 0 124 6 0 0 24 0 8 0 156447247 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228866 10263 2513 14 0 215336 0
[pid=30143/tid=30145] ppid=30141 vsize=915464 CPUtime=0.03
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29790 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156447250 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156447250 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156447250 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156447254 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915464 CPUtime=0.18
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29790 0 -1 64 361 0 0 0 18 0 0 0 16 0 8 0 156447254 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156447254 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156447254 937435136 10263 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.98682 s]
/proc/loadavg: 1.61 1.90 1.96 4/100 30151
/proc/meminfo: memFree=1562368/2055920 swapFree=4192812/4192956
[pid=30143] ppid=30141 vsize=915464 CPUtime=2.95
/proc/30143/stat : 30143 (java) R 30141 30143 29790 0 -1 0 10541 0 1 0 288 7 0 0 25 0 8 0 156447247 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727338 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228866 10278 2513 14 0 215336 0
[pid=30143/tid=30145] ppid=30141 vsize=915464 CPUtime=0.03
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29790 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 156447250 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156447250 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156447250 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156447254 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915464 CPUtime=0.21
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29790 0 -1 64 375 0 0 0 21 0 0 0 15 0 8 0 156447254 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156447254 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156447254 937435136 10278 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.26847 s]
/proc/loadavg: 1.64 1.90 1.96 4/100 30151
/proc/meminfo: memFree=1562304/2055920 swapFree=4192812/4192956
[pid=30143] ppid=30141 vsize=915464 CPUtime=6.2
/proc/30143/stat : 30143 (java) R 30141 30143 29790 0 -1 0 10544 0 1 0 613 7 0 0 25 0 8 0 156447247 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30143/statm: 228866 10279 2513 14 0 215336 0
[pid=30143/tid=30145] ppid=30141 vsize=915464 CPUtime=0.03
/proc/30143/task/30145/stat : 30145 (java) S 30141 30143 29790 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156447250 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30146] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 29790 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156447250 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30147] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 29790 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156447250 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30148] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 29790 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156447254 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30149] ppid=30141 vsize=915464 CPUtime=0.21
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 29790 0 -1 64 376 0 0 0 21 0 0 0 15 0 8 0 156447254 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30150] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 29790 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156447254 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30143/tid=30151] ppid=30141 vsize=915464 CPUtime=0
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 29790 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156447254 937435136 10279 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 8.51205
CPU time (s): 8.34773
CPU user time (s): 8.26774
CPU system time (s): 0.079987
CPU usage (%): 98.0695
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.26774
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10552
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= 1102
involuntary context switches= 1798
runsolver used 0.012998 s user time and 0.039993 s system time
The end
Begin job on node11 on Sat Jan 6 10:48:39 UTC 2007
IDJOB= 224376
IDBENCH= 5746
FILE ID= node11/224376-1168080518
PBS_JOBID= 3475827
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224376-1168080518/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-224376-1168080518 -o ROOT/results/node11/solver-224376-1168080518 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224376-1168080518/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 849eb99cd74df5d7b13bdfaa3ecfd99e
RANDOM SEED= 793184154
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.261
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 : 5931.00
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.261
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: 1594136 kB
Buffers: 40700 kB
Cached: 247620 kB
SwapCached: 0 kB
Active: 160396 kB
Inactive: 217344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1594136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2536 kB
Writeback: 0 kB
Mapped: 118408 kB
Slab: 68504 kB
Committed_AS: 5142588 kB
PageTables: 2480 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= 66318 MiB
End job on node11 on Sat Jan 6 10:48:57 UTC 2007