0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/208558-1168188547/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.43 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.66 nbConstraints=339 nbRelationTypes=339 nbExtensionStructures=339 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=339 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2965 maxDegree=26
0.66 maxArity=2
0.66 => wckTime=0.33 cpuTime=0.24 mem=12M803
0.70
0.70 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.54 cpuTime=0.38 mem=15M15
0.93
0.93 preprocessing
0.93 nbConstraintChecks=72755 nbPropagations=1009 nbRevisions=8034 nbUselessRevisions=6688 nbSingletonTests=52
0.93 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.054 cpuTime=0.04 mem=15M15
0.95
0.95 search
0.95 run=0 nbConstraintChecks=37972 nbPropagations=1568 nbRevisions=14955 nbUselessRevisions=12385 nbAssignments=27
0.95 nbFailedAssignments=8 nbBacktracks=13 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.95 nbTooLargeKeys=0
0.96 => wckTime=0.081 cpuTime=0.05 mem=15M15
0.97
0.97 search
0.97 run=1 nbConstraintChecks=79424 nbPropagations=3709 nbRevisions=37039 nbUselessRevisions=30460 nbAssignments=59
0.97 nbFailedAssignments=19 nbBacktracks=29 nbVisitedNodes=95 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.099 cpuTime=0.07 mem=15M15
0.99
0.99 search
0.99 run=2 nbConstraintChecks=130107 nbPropagations=6547 nbRevisions=67830 nbUselessRevisions=55620
0.99 nbAssignments=100 nbFailedAssignments=33 nbBacktracks=52 nbVisitedNodes=160 nbRestartNogoods=5 mapSize=44
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.115 cpuTime=0.08 mem=15M15
1.01
1.01 search
1.01 run=3 nbConstraintChecks=227674 nbPropagations=10714 nbRevisions=115623 nbUselessRevisions=94419
1.01 nbAssignments=165 nbFailedAssignments=60 nbBacktracks=85 nbVisitedNodes=273 nbRestartNogoods=6 mapSize=76
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.135 cpuTime=0.1 mem=15M15
1.03
1.03 search
1.03 run=4 nbConstraintChecks=335557 nbPropagations=16341 nbRevisions=182409 nbUselessRevisions=148442
1.03 nbAssignments=250 nbFailedAssignments=86 nbBacktracks=136 nbVisitedNodes=408 nbRestartNogoods=10 mapSize=115
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.159 cpuTime=0.12 mem=15M15
1.08
1.08 search
1.08 run=5 nbConstraintChecks=537697 nbPropagations=24567 nbRevisions=284792 nbUselessRevisions=230820
1.08 nbAssignments=389 nbFailedAssignments=143 nbBacktracks=211 nbVisitedNodes=650 nbRestartNogoods=13 mapSize=181
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.203 cpuTime=0.16 mem=15M15
1.13
1.13 search
1.13 run=6 nbConstraintChecks=817455 nbPropagations=36633 nbRevisions=438931 nbUselessRevisions=354931
1.13 nbAssignments=609 nbFailedAssignments=230 nbBacktracks=326 nbVisitedNodes=1006 nbRestartNogoods=16 mapSize=277
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.257 cpuTime=0.21 mem=15M15
1.21
1.21 search
1.21 run=7 nbConstraintChecks=1220326 nbPropagations=54062 nbRevisions=667032 nbUselessRevisions=538494
1.21 nbAssignments=907 nbFailedAssignments=352 nbBacktracks=496 nbVisitedNodes=1519 nbRestartNogoods=19 mapSize=421
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.339 cpuTime=0.29 mem=15M15
1.33
1.33 search
1.33 run=8 nbConstraintChecks=1832048 nbPropagations=79532 nbRevisions=1004875 nbUselessRevisions=810388
1.33 nbAssignments=1337 nbFailedAssignments=519 nbBacktracks=752 nbVisitedNodes=2262 nbRestartNogoods=25
1.33 mapSize=633 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.461 cpuTime=0.4 mem=15M15
1.52
1.52 search
1.52 run=9 nbConstraintChecks=2756607 nbPropagations=117460 nbRevisions=1517357 nbUselessRevisions=1222722
1.52 nbAssignments=2006 nbFailedAssignments=799 nbBacktracks=1136 nbVisitedNodes=3434 nbRestartNogoods=31
1.52 mapSize=971 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.641 cpuTime=0.57 mem=15M15
1.55
1.55 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M15)
1.74
1.74 search
1.74 run=10 nbConstraintChecks=3955204 nbPropagations=172860 nbRevisions=2272169 nbUselessRevisions=1830514
1.74 nbAssignments=3000 nbFailedAssignments=1208 nbBacktracks=1716 nbVisitedNodes=5146 nbRestartNogoods=33
1.74 => wckTime=0.866 cpuTime=0.78 mem=15M15
2.08
2.08 search
2.08 run=11 nbConstraintChecks=6041606 nbPropagations=256236 nbRevisions=3418770 nbUselessRevisions=2754419
2.08 nbAssignments=4465 nbFailedAssignments=1803 nbBacktracks=2583 nbVisitedNodes=7711 nbRestartNogoods=39
2.08 => wckTime=1.203 cpuTime=1.11 mem=15M15
2.65
2.65 search
2.65 run=12 nbConstraintChecks=9591475 nbPropagations=384689 nbRevisions=5206323 nbUselessRevisions=4191049
2.65 nbAssignments=6777 nbFailedAssignments=2811 nbBacktracks=3880 nbVisitedNodes=11821 nbRestartNogoods=43
2.65 => wckTime=1.772 cpuTime=1.67 mem=15M15
3.37
3.38 search
3.38 run=13 nbConstraintChecks=14088170 nbPropagations=575233 nbRevisions=7849319 nbUselessRevisions=6317780
3.38 nbAssignments=10026 nbFailedAssignments=4107 nbBacktracks=5828 nbVisitedNodes=17508 nbRestartNogoods=50
3.38 => wckTime=2.502 cpuTime=2.4 mem=15M15
4.44
4.44 search
4.44 run=14 nbConstraintChecks=20640810 nbPropagations=854079 nbRevisions=11727028 nbUselessRevisions=9436638
4.44 nbAssignments=14900 nbFailedAssignments=6053 nbBacktracks=8749 nbVisitedNodes=25924 nbRestartNogoods=56
4.44 => wckTime=3.57 cpuTime=3.46 mem=15M15
6.12
6.12 search
6.12 run=15 nbConstraintChecks=31053251 nbPropagations=1273992 nbRevisions=17570412 nbUselessRevisions=14135975
6.12 nbAssignments=22380 nbFailedAssignments=9139 nbBacktracks=13128 nbVisitedNodes=39062 nbRestartNogoods=65
6.12 => wckTime=5.25 cpuTime=5.12 mem=15M15
8.42
8.42 search
8.42 run=16 nbConstraintChecks=44545219 nbPropagations=1890133 nbRevisions=26209847 nbUselessRevisions=21113341
8.42 nbAssignments=33535 nbFailedAssignments=13718 nbBacktracks=19697 nbVisitedNodes=58455 nbRestartNogoods=71
8.42 => wckTime=7.55 cpuTime=7.39 mem=15M15
10.33
10.33 search
10.33 run=17 nbConstraintChecks=56026687 nbPropagations=2669341 nbRevisions=37123607 nbUselessRevisions=29934672
10.33 nbAssignments=42650 nbFailedAssignments=17310 nbBacktracks=25180 nbVisitedNodes=74196 nbRestartNogoods=79
10.33 => wckTime=9.452 cpuTime=9.28 mem=15M990
10.33
10.33 global
10.33 nbConstraintChecks=56099442 nbPropagations=2670350 nbRevisions=37131641 nbUselessRevisions=29941360
10.33 nbRestartNogoods=79 solvingWckTime=9.453 solvingCpuTime=9.28 expiredTime=no totalExploration=no
10.33 nbFoundSolutions=1 globalCpuTime=9.72
10.33 => wckTime=9.997 cpuTime=9.66 mem=15M990
10.33
10.33 s SATISFIABLE
10.33 v 3 1 5 15 13 6 9 10 4 5 5 12 17 10 9 14 7 2 1 7 7 8 4 9 6 14 15 2 7 16 2 14 9 11 17 3 14 10 11 10
10.33 d NODES 42650
10.33 d CHECKS 56099442
10.33
10.33 totalWckTime=10.08 totalCpuTime=9.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-208558-1168188547 -o ROOT/results/node9/solver-208558-1168188547 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208558-1168188547/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.91 1.97 1.99 3/98 26410
/proc/meminfo: memFree=1396328/2055920 swapFree=4191880/4192956
[pid=26409] ppid=26407 vsize=18540 CPUtime=0
/proc/26409/stat : 26409 (runsolver) R 26407 26409 25623 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 167249855 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26409/statm: 4635 280 244 17 0 2626 0
[startup+0.108521 s]
/proc/loadavg: 1.91 1.97 1.99 3/98 26410
/proc/meminfo: memFree=1396328/2055920 swapFree=4191880/4192956
[pid=26409] ppid=26407 vsize=914988 CPUtime=0.08
/proc/26409/stat : 26409 (java) R 26407 26409 25623 0 -1 0 2978 0 1 0 7 1 0 0 17 0 8 0 167249855 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26409/statm: 228747 2724 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520566 s]
/proc/loadavg: 1.91 1.97 1.99 3/98 26410
/proc/meminfo: memFree=1396328/2055920 swapFree=4191880/4192956
[pid=26409] ppid=26407 vsize=915328 CPUtime=0.49
/proc/26409/stat : 26409 (java) R 26407 26409 25623 0 -1 0 6698 0 1 0 44 5 0 0 18 0 8 0 167249855 937295872 6437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26409/statm: 228832 6437 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34966 s]
/proc/loadavg: 1.91 1.97 1.99 3/105 26417
/proc/meminfo: memFree=1372336/2055920 swapFree=4191880/4192956
[pid=26409] ppid=26407 vsize=915456 CPUtime=1.3
/proc/26409/stat : 26409 (java) R 26407 26409 25623 0 -1 0 8726 0 1 0 123 7 0 0 24 0 8 0 167249855 937426944 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26409/statm: 228864 8464 2524 14 0 215334 0
[pid=26409/tid=26411] ppid=26407 vsize=915456 CPUtime=0.03
/proc/26409/task/26411/stat : 26411 (java) S 26407 26409 25623 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167249860 937426944 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26412] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26412/stat : 26412 (java) S 26407 26409 25623 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167249860 937426944 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26413] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26413/stat : 26413 (java) S 26407 26409 25623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167249860 937426944 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26414] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26414/stat : 26414 (java) S 26407 26409 25623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167249864 937426944 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26415] ppid=26407 vsize=915456 CPUtime=0.21
/proc/26409/task/26415/stat : 26415 (java) S 26407 26409 25623 0 -1 64 379 0 0 0 20 1 0 0 15 0 8 0 167249864 937426944 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26416] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26416/stat : 26416 (java) S 26407 26409 25623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167249864 937426944 8464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26417] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26417/stat : 26417 (java) S 26407 26409 25623 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 167249864 937426944 8464 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) 915456
[startup+2.98784 s]
/proc/loadavg: 1.91 1.97 1.99 3/105 26417
/proc/meminfo: memFree=1372080/2055920 swapFree=4191880/4192956
[pid=26409] ppid=26407 vsize=915456 CPUtime=2.93
/proc/26409/stat : 26409 (java) R 26407 26409 25623 0 -1 0 8770 0 1 0 286 7 0 0 25 0 8 0 167249855 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26409/statm: 228864 8507 2524 14 0 215334 0
[pid=26409/tid=26411] ppid=26407 vsize=915456 CPUtime=0.03
/proc/26409/task/26411/stat : 26411 (java) S 26407 26409 25623 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167249860 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26412] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26412/stat : 26412 (java) S 26407 26409 25623 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167249860 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26413] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26413/stat : 26413 (java) S 26407 26409 25623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167249860 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26414] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26414/stat : 26414 (java) S 26407 26409 25623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167249864 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26415] ppid=26407 vsize=915456 CPUtime=0.24
/proc/26409/task/26415/stat : 26415 (java) S 26407 26409 25623 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 167249864 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26416] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26416/stat : 26416 (java) S 26407 26409 25623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167249864 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26417] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26417/stat : 26417 (java) S 26407 26409 25623 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 167249864 937426944 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.26721 s]
/proc/loadavg: 1.92 1.97 1.99 3/105 26417
/proc/meminfo: memFree=1371952/2055920 swapFree=4191880/4192956
[pid=26409] ppid=26407 vsize=915456 CPUtime=6.19
/proc/26409/stat : 26409 (java) R 26407 26409 25623 0 -1 0 8778 0 1 0 611 8 0 0 25 0 8 0 167249855 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26409/statm: 228864 8514 2524 14 0 215334 0
[pid=26409/tid=26411] ppid=26407 vsize=915456 CPUtime=0.03
/proc/26409/task/26411/stat : 26411 (java) S 26407 26409 25623 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167249860 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26412] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26412/stat : 26412 (java) S 26407 26409 25623 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167249860 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26413] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26413/stat : 26413 (java) S 26407 26409 25623 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167249860 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26414] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26414/stat : 26414 (java) S 26407 26409 25623 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167249864 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26415] ppid=26407 vsize=915456 CPUtime=0.24
/proc/26409/task/26415/stat : 26415 (java) S 26407 26409 25623 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 167249864 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26416] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26416/stat : 26416 (java) S 26407 26409 25623 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167249864 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26409/tid=26417] ppid=26407 vsize=915456 CPUtime=0
/proc/26409/task/26417/stat : 26417 (java) S 26407 26409 25623 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 167249864 937426944 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 10.3512
CPU time (s): 10.2294
CPU user time (s): 10.1425
CPU system time (s): 0.086986
CPU usage (%): 98.8239
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1425
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8876
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= 1331
involuntary context switches= 2090
runsolver used 0.015997 s user time and 0.043993 s system time
The end
Begin job on node9 on Sun Jan 7 16:49:07 UTC 2007
IDJOB= 208558
IDBENCH= 4403
FILE ID= node9/208558-1168188547
PBS_JOBID= 3478958
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208558-1168188547/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-208558-1168188547 -o ROOT/results/node9/solver-208558-1168188547 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208558-1168188547/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2cb1a2cde212f1f449fd0cbf55bdc875
RANDOM SEED= 190570744
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.231
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.231
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: 1396808 kB
Buffers: 48576 kB
Cached: 331200 kB
SwapCached: 276 kB
Active: 344216 kB
Inactive: 252180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1396808 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1976 kB
Writeback: 0 kB
Mapped: 238308 kB
Slab: 47076 kB
Committed_AS: 5313628 kB
PageTables: 2664 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= 66541 MiB
End job on node9 on Sun Jan 7 16:49:18 UTC 2007