0.72
0.72 Abscon 109 (November, 2006)
0.72
0.72 configuration
0.72 name=mac.xml
0.76
0.76 instance
0.76 name=/tmp/evaluation/195431-1168069817/unknown.xml
0.79
0.79 domains being loaded...
0.79
0.79 variables being loaded...
0.83 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.83 => wckTime=0.101 cpuTime=0.08 mem=6M951
0.83
0.83 relations being loaded...
0.92
0.92 constraints being loaded...
1.04 nbConstraints=321 nbRelationTypes=321 nbExtensionStructures=321 nbSharedExtensionStructures=0
1.04 nbConflictsStructures=321 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2267 maxDegree=25
1.04 maxArity=2
1.04 => wckTime=0.312 cpuTime=0.22 mem=12M868
1.08
1.08 solver IterativeSystematicSolver being built...
1.23 => wckTime=0.498 cpuTime=0.34 mem=13M904
1.23
1.23 preprocessing
1.24 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.24 detectedInconsistency=no
1.24 => wckTime=0.0040 cpuTime=0.0 mem=13M904
1.28
1.28 search
1.28 run=0 nbConstraintChecks=37972 nbPropagations=601 nbRevisions=6644 nbUselessRevisions=5293 nbAssignments=28
1.28 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=11 nbInferences=0
1.28 nbTooLargeKeys=0
1.28 => wckTime=0.052 cpuTime=0.03 mem=14M879
1.30
1.30 search
1.30 run=1 nbConstraintChecks=84800 nbPropagations=1816 nbRevisions=20805 nbUselessRevisions=16496 nbAssignments=61
1.30 nbFailedAssignments=20 nbBacktracks=29 nbVisitedNodes=97 nbRestartNogoods=2 mapSize=23 nbInferences=0
1.30 nbTooLargeKeys=0
1.30 => wckTime=0.072 cpuTime=0.04 mem=14M879
1.32
1.32 search
1.32 run=2 nbConstraintChecks=141232 nbPropagations=3829 nbRevisions=44343 nbUselessRevisions=35035
1.32 nbAssignments=102 nbFailedAssignments=32 nbBacktracks=53 nbVisitedNodes=164 nbRestartNogoods=5 mapSize=42
1.32 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.092 cpuTime=0.06 mem=14M879
1.34
1.34 search
1.34 run=3 nbConstraintChecks=215248 nbPropagations=6847 nbRevisions=80459 nbUselessRevisions=63672
1.34 nbAssignments=160 nbFailedAssignments=49 nbBacktracks=86 nbVisitedNodes=255 nbRestartNogoods=7 mapSize=67
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.108 cpuTime=0.07 mem=14M879
1.36
1.36 search
1.36 run=4 nbConstraintChecks=337691 nbPropagations=11507 nbRevisions=138020 nbUselessRevisions=109340
1.36 nbAssignments=249 nbFailedAssignments=81 nbBacktracks=137 nbVisitedNodes=405 nbRestartNogoods=9 mapSize=107
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.132 cpuTime=0.1 mem=14M879
1.40
1.40 search
1.40 run=5 nbConstraintChecks=507565 nbPropagations=18622 nbRevisions=227065 nbUselessRevisions=180227
1.40 nbAssignments=386 nbFailedAssignments=136 nbBacktracks=212 nbVisitedNodes=636 nbRestartNogoods=11 mapSize=169
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.168 cpuTime=0.13 mem=14M879
1.45
1.45 search
1.45 run=6 nbConstraintChecks=804536 nbPropagations=29686 nbRevisions=369960 nbUselessRevisions=293729
1.45 nbAssignments=593 nbFailedAssignments=226 nbBacktracks=326 nbVisitedNodes=1001 nbRestartNogoods=17 mapSize=265
1.45 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.223 cpuTime=0.18 mem=14M879
1.52
1.52 search
1.52 run=7 nbConstraintChecks=1187529 nbPropagations=45757 nbRevisions=575642 nbUselessRevisions=455959
1.52 nbAssignments=869 nbFailedAssignments=328 nbBacktracks=497 nbVisitedNodes=1456 nbRestartNogoods=22 mapSize=392
1.52 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.289 cpuTime=0.24 mem=14M879
1.63
1.63 search
1.63 run=8 nbConstraintChecks=1816692 nbPropagations=69850 nbRevisions=890758 nbUselessRevisions=705284
1.63 nbAssignments=1320 nbFailedAssignments=516 nbBacktracks=753 nbVisitedNodes=2239 nbRestartNogoods=26
1.63 mapSize=597 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.397 cpuTime=0.35 mem=14M879
1.79
1.79 search
1.79 run=9 nbConstraintChecks=2785670 nbPropagations=106946 nbRevisions=1374002 nbUselessRevisions=1086912
1.79 nbAssignments=1981 nbFailedAssignments=789 nbBacktracks=1137 nbVisitedNodes=3399 nbRestartNogoods=35
1.79 mapSize=921 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.563 cpuTime=0.5 mem=14M879
1.84
1.84 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=14M879)
2.03
2.03 search
2.03 run=10 nbConstraintChecks=4414626 nbPropagations=164517 nbRevisions=2130658 nbUselessRevisions=1683208
2.03 nbAssignments=3000 nbFailedAssignments=1224 nbBacktracks=1714 nbVisitedNodes=5195 nbRestartNogoods=38
2.03 => wckTime=0.805 cpuTime=0.73 mem=14M879
2.32
2.32 search
2.32 run=11 nbConstraintChecks=6392163 nbPropagations=248245 nbRevisions=3226602 nbUselessRevisions=2545990
2.32 nbAssignments=4429 nbFailedAssignments=1784 nbBacktracks=2579 nbVisitedNodes=7643 nbRestartNogoods=45
2.32 => wckTime=1.094 cpuTime=1.02 mem=14M879
2.83
2.83 search
2.83 run=12 nbConstraintChecks=9976810 nbPropagations=378310 nbRevisions=4956697 nbUselessRevisions=3913276
2.83 nbAssignments=6794 nbFailedAssignments=2847 nbBacktracks=3876 nbVisitedNodes=11851 nbRestartNogoods=49
2.83 => wckTime=1.598 cpuTime=1.52 mem=14M879
3.48
3.48 search
3.48 run=13 nbConstraintChecks=14485171 nbPropagations=569129 nbRevisions=7499437 nbUselessRevisions=5927301
3.48 nbAssignments=10097 nbFailedAssignments=4199 nbBacktracks=5822 nbVisitedNodes=17586 nbRestartNogoods=60
3.48 => wckTime=2.249 cpuTime=2.17 mem=14M879
4.50
4.50 search
4.50 run=14 nbConstraintChecks=21718714 nbPropagations=854981 nbRevisions=11270042 nbUselessRevisions=8903839
4.50 nbAssignments=15004 nbFailedAssignments=6182 nbBacktracks=8742 nbVisitedNodes=26105 nbRestartNogoods=69
4.50 => wckTime=3.272 cpuTime=3.18 mem=14M879
6.02
6.02 search
6.02 run=15 nbConstraintChecks=32384465 nbPropagations=1280819 nbRevisions=16903177 nbUselessRevisions=13350234
6.02 nbAssignments=22374 nbFailedAssignments=9168 nbBacktracks=13120 nbVisitedNodes=38935 nbRestartNogoods=82
6.02 => wckTime=4.794 cpuTime=4.7 mem=14M879
7.88
7.88 search
7.88 run=16 nbConstraintChecks=45290482 nbPropagations=1878122 nbRevisions=24818914 nbUselessRevisions=19607748
7.88 nbAssignments=31521 nbFailedAssignments=12899 nbBacktracks=18496 nbVisitedNodes=54851 nbRestartNogoods=84
7.88 => wckTime=6.646 cpuTime=6.54 mem=14M879
7.88
7.88 global
7.88 nbConstraintChecks=45290482 nbPropagations=1878162 nbRevisions=24818914 nbUselessRevisions=19607748
7.88 nbRestartNogoods=84 solvingWckTime=6.647 solvingCpuTime=6.54 expiredTime=no totalExploration=no
7.88 nbFoundSolutions=1 globalCpuTime=6.94
7.88 => wckTime=7.149 cpuTime=6.89 mem=14M879
7.88
7.88 s SATISFIABLE
7.88 v 17 4 12 11 17 5 0 17 2 5 14 2 7 12 7 2 1 16 10 6 17 7 7 6 3 10 6 14 6 8 2 11 14 6 15 3 18 4 12 17
7.88 d NODES 31521
7.88 d CHECKS 45290482
7.88
7.88 totalWckTime=7.231 totalCpuTime=6.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-195431-1168069817 -o ROOT/results/node61/solver-195431-1168069817 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195431-1168069817/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.92 1.95 1.65 2/73 5010
/proc/meminfo: memFree=1167280/2055920 swapFree=4192812/4192956
[pid=5009] ppid=5007 vsize=292 CPUtime=0
/proc/5009/stat : 5009 (java) D 5007 5009 4848 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 155379562 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10384292 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/5009/statm: 73 37 29 14 0 5 0
[startup+0.102208 s]
/proc/loadavg: 1.92 1.95 1.65 2/73 5010
/proc/meminfo: memFree=1167280/2055920 swapFree=4192812/4192956
[pid=5009] ppid=5007 vsize=11820 CPUtime=0.01
/proc/5009/stat : 5009 (java) R 5007 5009 4848 0 -1 0 744 0 17 0 0 1 0 0 18 0 1 0 155379562 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10384164 0 2147483391 0 7368 0 0 0 17 0 0 0
/proc/5009/statm: 2955 510 421 14 0 1602 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11820
[startup+0.510279 s]
/proc/loadavg: 1.92 1.95 1.65 2/73 5010
/proc/meminfo: memFree=1167280/2055920 swapFree=4192812/4192956
[pid=5009] ppid=5007 vsize=915120 CPUtime=0.23
/proc/5009/stat : 5009 (java) R 5007 5009 4848 0 -1 0 3758 0 59 0 16 7 0 0 19 0 8 0 155379562 937082880 3562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5009/statm: 228780 3562 1749 14 0 215275 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 915120
[startup+1.33342 s]
/proc/loadavg: 1.93 1.95 1.66 3/80 5017
/proc/meminfo: memFree=1122936/2055920 swapFree=4192812/4192956
[pid=5009] ppid=5007 vsize=915456 CPUtime=0.95
/proc/5009/stat : 5009 (java) R 5007 5009 4848 0 -1 0 8496 0 70 0 83 12 0 0 21 0 8 0 155379562 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5009/statm: 228864 8303 2513 14 0 215334 0
[pid=5009/tid=5011] ppid=5007 vsize=915456 CPUtime=0.03
/proc/5009/task/5011/stat : 5011 (java) S 5007 5009 4848 0 -1 64 284 0 0 0 3 0 0 0 17 0 8 0 155379585 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5012] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5012/stat : 5012 (java) S 5007 5009 4848 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155379586 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5013] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5013/stat : 5013 (java) S 5007 5009 4848 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155379586 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5014] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5014/stat : 5014 (java) S 5007 5009 4848 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155379591 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5015] ppid=5007 vsize=915456 CPUtime=0.17
/proc/5009/task/5015/stat : 5015 (java) S 5007 5009 4848 0 -1 64 371 0 0 0 17 0 0 0 15 0 8 0 155379591 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5016] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5016/stat : 5016 (java) S 5007 5009 4848 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155379591 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5017] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5017/stat : 5017 (java) S 5007 5009 4848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379591 937426944 8303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 915456
[startup+2.98471 s]
/proc/loadavg: 1.93 1.95 1.66 3/80 5017
/proc/meminfo: memFree=1121336/2055920 swapFree=4192812/4192956
[pid=5009] ppid=5007 vsize=915456 CPUtime=2.59
/proc/5009/stat : 5009 (java) R 5007 5009 4848 0 -1 0 8595 0 70 0 247 12 0 0 25 0 8 0 155379562 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5009/statm: 228864 8401 2513 14 0 215334 0
[pid=5009/tid=5011] ppid=5007 vsize=915456 CPUtime=0.03
/proc/5009/task/5011/stat : 5011 (java) S 5007 5009 4848 0 -1 64 284 0 0 0 3 0 0 0 17 0 8 0 155379585 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5012] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5012/stat : 5012 (java) S 5007 5009 4848 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155379586 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5013] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5013/stat : 5013 (java) S 5007 5009 4848 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155379586 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5014] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5014/stat : 5014 (java) S 5007 5009 4848 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155379591 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5015] ppid=5007 vsize=915456 CPUtime=0.2
/proc/5009/task/5015/stat : 5015 (java) S 5007 5009 4848 0 -1 64 392 0 0 0 20 0 0 0 15 0 8 0 155379591 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5016] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5016/stat : 5016 (java) S 5007 5009 4848 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155379591 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5017] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5017/stat : 5017 (java) S 5007 5009 4848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379591 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 915456
[startup+6.27129 s]
/proc/loadavg: 1.93 1.95 1.66 3/80 5017
/proc/meminfo: memFree=1120504/2055920 swapFree=4192812/4192956
[pid=5009] ppid=5007 vsize=915456 CPUtime=5.86
/proc/5009/stat : 5009 (java) R 5007 5009 4848 0 -1 0 8604 0 70 0 574 12 0 0 25 0 8 0 155379562 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5009/statm: 228864 8409 2513 14 0 215334 0
[pid=5009/tid=5011] ppid=5007 vsize=915456 CPUtime=0.03
/proc/5009/task/5011/stat : 5011 (java) S 5007 5009 4848 0 -1 64 284 0 0 0 3 0 0 0 16 0 8 0 155379585 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5012] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5012/stat : 5012 (java) S 5007 5009 4848 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155379586 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5013] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5013/stat : 5013 (java) S 5007 5009 4848 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155379586 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5014] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5014/stat : 5014 (java) S 5007 5009 4848 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 155379591 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5015] ppid=5007 vsize=915456 CPUtime=0.2
/proc/5009/task/5015/stat : 5015 (java) S 5007 5009 4848 0 -1 64 392 0 0 0 20 0 0 0 15 0 8 0 155379591 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5016] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5016/stat : 5016 (java) S 5007 5009 4848 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155379591 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5009/tid=5017] ppid=5007 vsize=915456 CPUtime=0
/proc/5009/task/5017/stat : 5017 (java) S 5007 5009 4848 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155379591 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 8.17455
CPU time (s): 7.48486
CPU user time (s): 7.35388
CPU system time (s): 0.13098
CPU usage (%): 91.563
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.35388
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8697
page faults= 70
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1440
involuntary context switches= 1808
runsolver used 0.015997 s user time and 0.031995 s system time
The end
Begin job on node61 on Sat Jan 6 07:50:17 UTC 2007
IDJOB= 195431
IDBENCH= 3268
FILE ID= node61/195431-1168069817
PBS_JOBID= 3475918
Free space on /tmp= 66508 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb40-19/frb40-19-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195431-1168069817/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-195431-1168069817 -o ROOT/results/node61/solver-195431-1168069817 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195431-1168069817/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0197f0d83eeeb5199fb98837bf785a57
RANDOM SEED= 555448975
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.259
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.259
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: 1167760 kB
Buffers: 47004 kB
Cached: 515764 kB
SwapCached: 0 kB
Active: 296528 kB
Inactive: 507336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1167760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 254696 kB
Slab: 69264 kB
Committed_AS: 3198112 kB
PageTables: 2220 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= 66508 MiB
End job on node61 on Sat Jan 6 07:50:25 UTC 2007