0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/227485-1168080794/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.71 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11877 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.389 cpuTime=0.24 mem=11M848
0.75
0.75 solver IterativeSystematicSolver being built...
0.91 => wckTime=0.589 cpuTime=0.37 mem=14M15
0.92
0.92 preprocessing
0.92 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.012 cpuTime=0.01 mem=14M15
0.96
0.96 search
0.96 run=0 nbConstraintChecks=15061 nbPropagations=366 nbRevisions=4338 nbUselessRevisions=3592 nbAssignments=20
0.96 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.051 cpuTime=0.03 mem=15M6
0.99
0.99 search
0.99 run=1 nbConstraintChecks=31839 nbPropagations=1130 nbRevisions=13925 nbUselessRevisions=11683 nbAssignments=51
0.99 nbFailedAssignments=12 nbBacktracks=25 nbVisitedNodes=78 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.078 cpuTime=0.05 mem=15M6
1.01
1.01 search
1.01 run=2 nbConstraintChecks=57475 nbPropagations=2397 nbRevisions=31009 nbUselessRevisions=25991 nbAssignments=91
1.01 nbFailedAssignments=25 nbBacktracks=48 nbVisitedNodes=140 nbRestartNogoods=5 mapSize=39 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.096 cpuTime=0.06 mem=15M6
1.03
1.03 search
1.03 run=3 nbConstraintChecks=92566 nbPropagations=4379 nbRevisions=59688 nbUselessRevisions=50278
1.03 nbAssignments=150 nbFailedAssignments=43 nbBacktracks=83 nbVisitedNodes=233 nbRestartNogoods=6 mapSize=69
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.115 cpuTime=0.08 mem=15M6
1.05
1.05 search
1.05 run=4 nbConstraintChecks=134532 nbPropagations=7250 nbRevisions=102519 nbUselessRevisions=86736
1.05 nbAssignments=228 nbFailedAssignments=64 nbBacktracks=133 nbVisitedNodes=355 nbRestartNogoods=7 mapSize=109
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.136 cpuTime=0.1 mem=15M6
1.08
1.08 search
1.08 run=5 nbConstraintChecks=205276 nbPropagations=11500 nbRevisions=167430 nbUselessRevisions=141953
1.08 nbAssignments=344 nbFailedAssignments=95 nbBacktracks=208 nbVisitedNodes=534 nbRestartNogoods=9 mapSize=164
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.168 cpuTime=0.13 mem=15M6
1.14
1.14 search
1.14 run=6 nbConstraintChecks=333080 nbPropagations=18122 nbRevisions=274638 nbUselessRevisions=233412
1.14 nbAssignments=524 nbFailedAssignments=152 nbBacktracks=325 nbVisitedNodes=830 nbRestartNogoods=14 mapSize=266
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.228 cpuTime=0.18 mem=15M6
1.21
1.21 search
1.21 run=7 nbConstraintChecks=499596 nbPropagations=27929 nbRevisions=437401 nbUselessRevisions=372776
1.21 nbAssignments=777 nbFailedAssignments=227 nbBacktracks=495 nbVisitedNodes=1245 nbRestartNogoods=18 mapSize=410
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.293 cpuTime=0.24 mem=15M6
1.31
1.31 search
1.31 run=8 nbConstraintChecks=778572 nbPropagations=43095 nbRevisions=690091 nbUselessRevisions=588144
1.31 nbAssignments=1172 nbFailedAssignments=357 nbBacktracks=754 nbVisitedNodes=1905 nbRestartNogoods=24
1.31 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.402 cpuTime=0.35 mem=15M6
1.47
1.47 search
1.47 run=9 nbConstraintChecks=1131503 nbPropagations=64962 nbRevisions=1057802 nbUselessRevisions=902267
1.47 nbAssignments=1716 nbFailedAssignments=508 nbBacktracks=1141 nbVisitedNodes=2777 nbRestartNogoods=26
1.47 mapSize=937 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.556 cpuTime=0.48 mem=15M6
1.51
1.51 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=15M6)
1.66
1.67 search
1.67 run=10 nbConstraintChecks=1682472 nbPropagations=97011 nbRevisions=1611881 nbUselessRevisions=1377144
1.67 nbAssignments=2541 nbFailedAssignments=745 nbBacktracks=1719 nbVisitedNodes=4112 nbRestartNogoods=29
1.67 => wckTime=0.753 cpuTime=0.67 mem=15M6
1.94
1.94 search
1.94 run=11 nbConstraintChecks=2515676 nbPropagations=144537 nbRevisions=2442442 nbUselessRevisions=2089934
1.94 nbAssignments=3761 nbFailedAssignments=1094 nbBacktracks=2584 nbVisitedNodes=6083 nbRestartNogoods=39
1.94 => wckTime=1.026 cpuTime=0.94 mem=15M6
2.36
2.36 search
2.36 run=12 nbConstraintChecks=3804947 nbPropagations=216193 nbRevisions=3700253 nbUselessRevisions=3169439
2.36 nbAssignments=5627 nbFailedAssignments=1655 nbBacktracks=3881 nbVisitedNodes=9147 nbRestartNogoods=46
2.36 => wckTime=1.446 cpuTime=1.35 mem=15M6
2.96
2.96 search
2.96 run=13 nbConstraintChecks=5679497 nbPropagations=322710 nbRevisions=5575167 nbUselessRevisions=4778567
2.96 nbAssignments=8399 nbFailedAssignments=2475 nbBacktracks=5827 nbVisitedNodes=13662 nbRestartNogoods=51
2.96 => wckTime=2.045 cpuTime=1.94 mem=15M6
3.82
3.82 search
3.82 run=14 nbConstraintChecks=8355878 nbPropagations=479083 nbRevisions=8349212 nbUselessRevisions=7164233
3.82 nbAssignments=12451 nbFailedAssignments=3603 nbBacktracks=8746 nbVisitedNodes=20178 nbRestartNogoods=61
3.82 => wckTime=2.906 cpuTime=2.8 mem=15M6
5.21
5.21 search
5.21 run=15 nbConstraintChecks=12681855 nbPropagations=715795 nbRevisions=12532337 nbUselessRevisions=10755872
5.21 nbAssignments=18720 nbFailedAssignments=5487 nbBacktracks=13130 nbVisitedNodes=30402 nbRestartNogoods=68
5.21 => wckTime=4.294 cpuTime=4.17 mem=15M6
6.85
6.85 search
6.85 run=16 nbConstraintChecks=17844142 nbPropagations=1048357 nbRevisions=18415538 nbUselessRevisions=15809037
6.85 nbAssignments=26390 nbFailedAssignments=7720 nbBacktracks=18527 nbVisitedNodes=42850 nbRestartNogoods=71
6.85 => wckTime=5.942 cpuTime=5.81 mem=15M6
6.86
6.86 global
6.86 nbConstraintChecks=17844142 nbPropagations=1048397 nbRevisions=18415538 nbUselessRevisions=15809037
6.86 nbRestartNogoods=71 solvingWckTime=5.944 solvingCpuTime=5.81 expiredTime=no totalExploration=no
6.86 nbFoundSolutions=1 globalCpuTime=6.23
6.86 => wckTime=6.535 cpuTime=6.18 mem=15M6
6.86
6.86 s SATISFIABLE
6.86 v 0 7 4 1 3 0 2 3 1 0 5 1 4 6 1 5 1 2 4 6 2 1 4 0 5 2 7 1 1 4 2 2 4 0 6 6 5 3 1 2
6.86 d NODES 26390
6.86 d CHECKS 17844142
6.86
6.86 totalWckTime=6.616 totalCpuTime=6.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-227485-1168080794 -o ROOT/results/node16/solver-227485-1168080794 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227485-1168080794/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.06 1.40 1.72 5/93 22917
/proc/meminfo: memFree=1325032/2055920 swapFree=4191880/4192956
[pid=22916] ppid=22914 vsize=18540 CPUtime=0
/proc/22916/stat : 22916 (runsolver) R 22914 22916 22737 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156475154 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22916/statm: 4635 279 244 17 0 2626 0
[startup+0.108747 s]
/proc/loadavg: 1.06 1.40 1.72 5/93 22917
/proc/meminfo: memFree=1325032/2055920 swapFree=4191880/4192956
[pid=22916] ppid=22914 vsize=914988 CPUtime=0.08
/proc/22916/stat : 22916 (java) R 22914 22916 22737 0 -1 0 2985 0 1 0 7 1 0 0 17 0 8 0 156475154 936947712 2731 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22916/statm: 228747 2731 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516673 s]
/proc/loadavg: 1.06 1.40 1.72 5/93 22917
/proc/meminfo: memFree=1325032/2055920 swapFree=4191880/4192956
[pid=22916] ppid=22914 vsize=915328 CPUtime=0.48
/proc/22916/stat : 22916 (java) R 22914 22916 22737 0 -1 0 6286 0 1 0 45 3 0 0 18 0 8 0 156475154 937295872 6025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22916/statm: 228832 6025 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34652 s]
/proc/loadavg: 1.06 1.40 1.72 3/100 22924
/proc/meminfo: memFree=1301360/2055920 swapFree=4191880/4192956
[pid=22916] ppid=22914 vsize=915584 CPUtime=1.3
/proc/22916/stat : 22916 (java) R 22914 22916 22737 0 -1 0 8658 0 1 0 125 5 0 0 24 0 8 0 156475154 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073907731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22916/statm: 228896 8396 2513 14 0 215366 0
[pid=22916/tid=22918] ppid=22914 vsize=915584 CPUtime=0.03
/proc/22916/task/22918/stat : 22918 (java) S 22914 22916 22737 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475158 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22919] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22919/stat : 22919 (java) S 22914 22916 22737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475159 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22920] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22920/stat : 22920 (java) S 22914 22916 22737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475159 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22921] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22921/stat : 22921 (java) S 22914 22916 22737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156475162 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22922] ppid=22914 vsize=915584 CPUtime=0.26
/proc/22916/task/22922/stat : 22922 (java) S 22914 22916 22737 0 -1 64 404 0 0 0 26 0 0 0 15 0 8 0 156475162 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22923] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22923/stat : 22923 (java) S 22914 22916 22737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156475162 937558016 8396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22924] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22924/stat : 22924 (java) S 22914 22916 22737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156475162 937558016 8396 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) 915584
[startup+3.00067 s]
/proc/loadavg: 1.06 1.40 1.72 3/100 22924
/proc/meminfo: memFree=1301104/2055920 swapFree=4191880/4192956
[pid=22916] ppid=22914 vsize=915584 CPUtime=2.95
/proc/22916/stat : 22916 (java) R 22914 22916 22737 0 -1 0 8696 0 1 0 289 6 0 0 25 0 8 0 156475154 937558016 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073933083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22916/statm: 228896 8433 2513 14 0 215366 0
[pid=22916/tid=22918] ppid=22914 vsize=915584 CPUtime=0.03
/proc/22916/task/22918/stat : 22918 (java) S 22914 22916 22737 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475158 937558016 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22919] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22919/stat : 22919 (java) S 22914 22916 22737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475159 937558016 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22920] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22920/stat : 22920 (java) S 22914 22916 22737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475159 937558016 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22921] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22921/stat : 22921 (java) S 22914 22916 22737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156475162 937558016 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22922] ppid=22914 vsize=915584 CPUtime=0.29
/proc/22916/task/22922/stat : 22922 (java) S 22914 22916 22737 0 -1 64 417 0 0 0 29 0 0 0 16 0 8 0 156475162 937558016 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22923] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22923/stat : 22923 (java) S 22914 22916 22737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156475162 937558016 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22924] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22924/stat : 22924 (java) S 22914 22916 22737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156475162 937558016 8433 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) 915584
[startup+6.29963 s]
/proc/loadavg: 1.14 1.41 1.72 3/100 22924
/proc/meminfo: memFree=1301040/2055920 swapFree=4191880/4192956
[pid=22916] ppid=22914 vsize=915584 CPUtime=6.22
/proc/22916/stat : 22916 (java) R 22914 22916 22737 0 -1 0 8702 0 1 0 616 6 0 0 25 0 8 0 156475154 937558016 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22916/statm: 228896 8438 2513 14 0 215366 0
[pid=22916/tid=22918] ppid=22914 vsize=915584 CPUtime=0.03
/proc/22916/task/22918/stat : 22918 (java) S 22914 22916 22737 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475158 937558016 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22919] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22919/stat : 22919 (java) S 22914 22916 22737 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475159 937558016 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22920] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22920/stat : 22920 (java) S 22914 22916 22737 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475159 937558016 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22921] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22921/stat : 22921 (java) S 22914 22916 22737 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156475162 937558016 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22922] ppid=22914 vsize=915584 CPUtime=0.29
/proc/22916/task/22922/stat : 22922 (java) S 22914 22916 22737 0 -1 64 417 0 0 0 29 0 0 0 16 0 8 0 156475162 937558016 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22923] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22923/stat : 22923 (java) S 22914 22916 22737 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156475162 937558016 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22916/tid=22924] ppid=22914 vsize=915584 CPUtime=0
/proc/22916/task/22924/stat : 22924 (java) S 22914 22916 22737 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156475162 937558016 8438 18446744073709551615 134512640 134570532 4294956464 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) 915584
Child status: 0
Real time (s): 6.87676
CPU time (s): 6.78797
CPU user time (s): 6.71798
CPU system time (s): 0.069989
CPU usage (%): 98.7088
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.71798
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8795
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= 1388
involuntary context switches= 1689
runsolver used 0.014997 s user time and 0.027995 s system time
The end
Begin job on node16 on Sat Jan 6 10:53:17 UTC 2007
IDJOB= 227485
IDBENCH= 6084
FILE ID= node16/227485-1168080794
PBS_JOBID= 3475872
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-71_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227485-1168080794/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-227485-1168080794 -o ROOT/results/node16/solver-227485-1168080794 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227485-1168080794/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bd414b0b795142b5bc8a95e444426041
RANDOM SEED= 851708238
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.220
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.220
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: 1325640 kB
Buffers: 64552 kB
Cached: 490196 kB
SwapCached: 268 kB
Active: 231600 kB
Inactive: 401160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1325640 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 106492 kB
Slab: 82048 kB
Committed_AS: 4696336 kB
PageTables: 2472 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= 66500 MiB
End job on node16 on Sat Jan 6 10:53:33 UTC 2007