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/202967-1168072779/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3154 maxDegree=22
0.63 maxArity=2
0.63 => wckTime=0.32 cpuTime=0.24 mem=13M780
0.67
0.67 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.514 cpuTime=0.36 mem=13M938
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0050 cpuTime=0.0 mem=13M938
0.88
0.88 search
0.88 run=0 nbConstraintChecks=32839 nbPropagations=528 nbRevisions=5697 nbUselessRevisions=4604 nbAssignments=28
0.88 nbFailedAssignments=7 nbBacktracks=14 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.054 cpuTime=0.03 mem=14M913
0.90
0.90 search
0.90 run=1 nbConstraintChecks=78057 nbPropagations=1689 nbRevisions=19530 nbUselessRevisions=15875 nbAssignments=68
0.90 nbFailedAssignments=24 nbBacktracks=29 nbVisitedNodes=108 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.075 cpuTime=0.05 mem=14M913
0.92
0.92 search
0.92 run=2 nbConstraintChecks=119648 nbPropagations=3446 nbRevisions=40228 nbUselessRevisions=32717
0.92 nbAssignments=103 nbFailedAssignments=31 nbBacktracks=52 nbVisitedNodes=161 nbRestartNogoods=3 mapSize=41
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.095 cpuTime=0.06 mem=14M913
0.94
0.94 search
0.94 run=3 nbConstraintChecks=213186 nbPropagations=6465 nbRevisions=77522 nbUselessRevisions=62726
0.94 nbAssignments=170 nbFailedAssignments=58 nbBacktracks=86 nbVisitedNodes=273 nbRestartNogoods=5 mapSize=72
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.116 cpuTime=0.08 mem=14M913
0.97
0.97 search
0.97 run=4 nbConstraintChecks=336926 nbPropagations=11043 nbRevisions=135659 nbUselessRevisions=109220
0.97 nbAssignments=254 nbFailedAssignments=86 nbBacktracks=137 nbVisitedNodes=413 nbRestartNogoods=7 mapSize=113
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.141 cpuTime=0.1 mem=14M913
1.01
1.01 search
1.01 run=5 nbConstraintChecks=504589 nbPropagations=17883 nbRevisions=223730 nbUselessRevisions=179569
1.01 nbAssignments=389 nbFailedAssignments=136 nbBacktracks=214 nbVisitedNodes=637 nbRestartNogoods=12 mapSize=170
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.178 cpuTime=0.13 mem=14M913
1.06
1.06 search
1.06 run=6 nbConstraintChecks=796024 nbPropagations=28370 nbRevisions=361922 nbUselessRevisions=289749
1.06 nbAssignments=588 nbFailedAssignments=215 nbBacktracks=329 nbVisitedNodes=988 nbRestartNogoods=18 mapSize=269
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.234 cpuTime=0.18 mem=14M913
1.14
1.14 search
1.14 run=7 nbConstraintChecks=1215966 nbPropagations=44452 nbRevisions=577793 nbUselessRevisions=462572
1.14 nbAssignments=894 nbFailedAssignments=343 nbBacktracks=500 nbVisitedNodes=1520 nbRestartNogoods=20 mapSize=421
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.319 cpuTime=0.26 mem=14M913
1.26
1.26 search
1.26 run=8 nbConstraintChecks=1786130 nbPropagations=68454 nbRevisions=904654 nbUselessRevisions=725257
1.26 nbAssignments=1337 nbFailedAssignments=518 nbBacktracks=760 nbVisitedNodes=2291 nbRestartNogoods=26
1.26 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.431 cpuTime=0.38 mem=14M913
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2510436 nbPropagations=102605 nbRevisions=1370758 nbUselessRevisions=1100032
1.40 nbAssignments=1961 nbFailedAssignments=754 nbBacktracks=1144 nbVisitedNodes=3349 nbRestartNogoods=32
1.40 mapSize=963 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.575 cpuTime=0.51 mem=14M913
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M913)
1.62
1.62 search
1.62 run=10 nbConstraintChecks=3838283 nbPropagations=154011 nbRevisions=2082039 nbUselessRevisions=1673115
1.62 nbAssignments=2933 nbFailedAssignments=1143 nbBacktracks=1722 nbVisitedNodes=5058 nbRestartNogoods=36
1.62 => wckTime=0.798 cpuTime=0.72 mem=14M913
1.91
1.91 search
1.91 run=11 nbConstraintChecks=5680359 nbPropagations=229837 nbRevisions=3130339 nbUselessRevisions=2517698
1.91 nbAssignments=4320 nbFailedAssignments=1655 nbBacktracks=2588 nbVisitedNodes=7422 nbRestartNogoods=42
1.91 => wckTime=1.088 cpuTime=1.01 mem=14M913
2.36
2.36 search
2.36 run=12 nbConstraintChecks=8436790 nbPropagations=344129 nbRevisions=4724616 nbUselessRevisions=3806368
2.36 nbAssignments=6504 nbFailedAssignments=2534 nbBacktracks=3886 nbVisitedNodes=11239 nbRestartNogoods=54
2.36 => wckTime=1.536 cpuTime=1.45 mem=14M913
3.01
3.01 search
3.01 run=13 nbConstraintChecks=12536370 nbPropagations=514217 nbRevisions=7111141 nbUselessRevisions=5737680
3.01 nbAssignments=9701 nbFailedAssignments=3779 nbBacktracks=5832 nbVisitedNodes=16748 nbRestartNogoods=61
3.01 => wckTime=2.187 cpuTime=2.1 mem=14M913
4.03
4.03 search
4.03 run=14 nbConstraintChecks=19163653 nbPropagations=769109 nbRevisions=10678290 nbUselessRevisions=8614170
4.03 nbAssignments=14554 nbFailedAssignments=5707 nbBacktracks=8751 nbVisitedNodes=25130 nbRestartNogoods=68
4.03 => wckTime=3.201 cpuTime=3.11 mem=14M913
5.56
5.56 search
5.56 run=15 nbConstraintChecks=29202844 nbPropagations=1154042 nbRevisions=16051639 nbUselessRevisions=12939973
5.56 nbAssignments=21716 nbFailedAssignments=8484 nbBacktracks=13129 nbVisitedNodes=37536 nbRestartNogoods=77
5.56 => wckTime=4.732 cpuTime=4.63 mem=14M913
7.67
7.67 search
7.67 run=16 nbConstraintChecks=42576771 nbPropagations=1720547 nbRevisions=23937425 nbUselessRevisions=19289289
7.67 nbAssignments=32282 nbFailedAssignments=12477 nbBacktracks=19697 nbVisitedNodes=55559 nbRestartNogoods=91
7.67 => wckTime=6.841 cpuTime=6.73 mem=14M913
8.24
8.24 search
8.24 run=17 nbConstraintChecks=46275172 nbPropagations=2335412 nbRevisions=32506379 nbUselessRevisions=26191369
8.24 nbAssignments=35157 nbFailedAssignments=13534 nbBacktracks=21475 nbVisitedNodes=60437 nbRestartNogoods=98
8.24 => wckTime=7.418 cpuTime=7.3 mem=14M913
8.25
8.25 global
8.25 nbConstraintChecks=46275172 nbPropagations=2335452 nbRevisions=32506379 nbUselessRevisions=26191369
8.25 nbRestartNogoods=98 solvingWckTime=7.419 solvingCpuTime=7.3 expiredTime=no totalExploration=no
8.25 nbFoundSolutions=1 globalCpuTime=7.71
8.25 => wckTime=7.937 cpuTime=7.66 mem=14M913
8.25
8.25 s SATISFIABLE
8.25 v 16 16 15 11 10 14 15 7 14 7 0 15 2 12 14 9 4 7 6 3 16 7 13 5 2 1 12 15 10 1 15 7 5 8 6 7 4 10 14 13
8.25 d NODES 35157
8.25 d CHECKS 46275172
8.25
8.25 totalWckTime=8.018 totalCpuTime=7.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-202967-1168072779 -o ROOT/results/node44/solver-202967-1168072779 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202967-1168072779/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: 2.00 1.86 1.57 4/80 9101
/proc/meminfo: memFree=1459032/2055920 swapFree=4192812/4192956
[pid=9100] ppid=9098 vsize=1784 CPUtime=0
/proc/9100/stat : 9100 (java) R 9098 9100 8845 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155676982 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/9100/statm: 446 140 106 14 0 91 0
[startup+0.105858 s]
/proc/loadavg: 2.00 1.86 1.57 4/80 9101
/proc/meminfo: memFree=1459032/2055920 swapFree=4192812/4192956
[pid=9100] ppid=9098 vsize=914988 CPUtime=0.09
/proc/9100/stat : 9100 (java) R 9098 9100 8845 0 -1 0 3013 0 1 0 8 1 0 0 17 0 8 0 155676982 936947712 2759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9100/statm: 228747 2759 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.5149 s]
/proc/loadavg: 2.00 1.86 1.57 4/80 9101
/proc/meminfo: memFree=1459032/2055920 swapFree=4192812/4192956
[pid=9100] ppid=9098 vsize=915328 CPUtime=0.49
/proc/9100/stat : 9100 (java) S 9098 9100 8845 0 -1 0 6874 0 1 0 45 4 0 0 18 0 8 0 155676982 937295872 6613 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9100/statm: 228832 6613 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34398 s]
/proc/loadavg: 2.00 1.86 1.57 3/87 9108
/proc/meminfo: memFree=1435360/2055920 swapFree=4192812/4192956
[pid=9100] ppid=9098 vsize=915456 CPUtime=1.31
/proc/9100/stat : 9100 (java) R 9098 9100 8845 0 -1 0 8638 0 1 0 125 6 0 0 19 0 8 0 155676982 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9100/statm: 228864 8376 2513 14 0 215334 0
[pid=9100/tid=9102] ppid=9098 vsize=915456 CPUtime=0.03
/proc/9100/task/9102/stat : 9102 (java) S 9098 9100 8845 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155676986 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9103] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9103/stat : 9103 (java) S 9098 9100 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155676986 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9104] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9104/stat : 9104 (java) S 9098 9100 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155676986 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9105] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9105/stat : 9105 (java) S 9098 9100 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155676990 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9106] ppid=9098 vsize=915456 CPUtime=0.22
/proc/9100/task/9106/stat : 9106 (java) S 9098 9100 8845 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155676990 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9107] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9107/stat : 9107 (java) S 9098 9100 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155676990 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9108] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9108/stat : 9108 (java) S 9098 9100 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155676990 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98615 s]
/proc/loadavg: 2.00 1.86 1.57 3/87 9108
/proc/meminfo: memFree=1435040/2055920 swapFree=4192812/4192956
[pid=9100] ppid=9098 vsize=915456 CPUtime=2.95
/proc/9100/stat : 9100 (java) R 9098 9100 8845 0 -1 0 8668 0 1 0 289 6 0 0 25 0 8 0 155676982 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9100/statm: 228864 8405 2513 14 0 215334 0
[pid=9100/tid=9102] ppid=9098 vsize=915456 CPUtime=0.03
/proc/9100/task/9102/stat : 9102 (java) S 9098 9100 8845 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155676986 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9103] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9103/stat : 9103 (java) S 9098 9100 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155676986 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9104] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9104/stat : 9104 (java) S 9098 9100 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155676986 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9105] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9105/stat : 9105 (java) S 9098 9100 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155676990 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9106] ppid=9098 vsize=915456 CPUtime=0.24
/proc/9100/task/9106/stat : 9106 (java) S 9098 9100 8845 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155676990 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9107] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9107/stat : 9107 (java) S 9098 9100 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155676990 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9108] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9108/stat : 9108 (java) S 9098 9100 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155676990 937426944 8405 18446744073709551615 134512640 134570532 4294956480 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) 915456
[startup+6.26548 s]
/proc/loadavg: 2.00 1.86 1.57 3/87 9108
/proc/meminfo: memFree=1434976/2055920 swapFree=4192812/4192956
[pid=9100] ppid=9098 vsize=915456 CPUtime=6.22
/proc/9100/stat : 9100 (java) R 9098 9100 8845 0 -1 0 8677 0 1 0 615 7 0 0 25 0 8 0 155676982 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9100/statm: 228864 8413 2513 14 0 215334 0
[pid=9100/tid=9102] ppid=9098 vsize=915456 CPUtime=0.03
/proc/9100/task/9102/stat : 9102 (java) S 9098 9100 8845 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155676986 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9103] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9103/stat : 9103 (java) S 9098 9100 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155676986 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9104] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9104/stat : 9104 (java) S 9098 9100 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155676986 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9105] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9105/stat : 9105 (java) S 9098 9100 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155676990 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9106] ppid=9098 vsize=915456 CPUtime=0.24
/proc/9100/task/9106/stat : 9106 (java) S 9098 9100 8845 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155676990 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9107] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9107/stat : 9107 (java) S 9098 9100 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155676990 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9100/tid=9108] ppid=9098 vsize=915456 CPUtime=0
/proc/9100/task/9108/stat : 9108 (java) S 9098 9100 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155676990 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 8.26386
CPU time (s): 8.20775
CPU user time (s): 8.12876
CPU system time (s): 0.078987
CPU usage (%): 99.321
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.12876
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= 8772
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= 1004
involuntary context switches= 1324
runsolver used 0.013997 s user time and 0.032994 s system time
The end
Begin job on node44 on Sat Jan 6 08:39:39 UTC 2007
IDJOB= 202967
IDBENCH= 3901
FILE ID= node44/202967-1168072779
PBS_JOBID= 3475970
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202967-1168072779/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-202967-1168072779 -o ROOT/results/node44/solver-202967-1168072779 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202967-1168072779/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4ccd1be1dd0074c2a5bbfd76bb3ecd0b
RANDOM SEED= 594387038
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.213
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.213
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: 1459448 kB
Buffers: 19384 kB
Cached: 298856 kB
SwapCached: 0 kB
Active: 260488 kB
Inactive: 266880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1459448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 229396 kB
Slab: 54100 kB
Committed_AS: 3706904 kB
PageTables: 2168 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 node44 on Sat Jan 6 08:39:48 UTC 2007