0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/223848-1168080467/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.38 => wckTime=0.093 cpuTime=0.07 mem=6M951
0.38
0.38 relations being loaded...
0.48
0.48 constraints being loaded...
0.57 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=13 maxArity=2
0.57 => wckTime=0.285 cpuTime=0.2 mem=13M827
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.47 cpuTime=0.32 mem=13M749
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0030 cpuTime=0.0 mem=13M749
0.81
0.81 search
0.81 run=0 nbConstraintChecks=27547 nbPropagations=503 nbRevisions=3318 nbUselessRevisions=2377 nbAssignments=25
0.81 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.05 cpuTime=0.03 mem=14M724
0.83
0.83 search
0.83 run=1 nbConstraintChecks=70001 nbPropagations=1703 nbRevisions=11811 nbUselessRevisions=8324 nbAssignments=53
0.83 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=88 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.067 cpuTime=0.05 mem=14M724
0.85
0.85 search
0.85 run=2 nbConstraintChecks=148095 nbPropagations=4174 nbRevisions=30377 nbUselessRevisions=21385
0.85 nbAssignments=101 nbFailedAssignments=38 nbBacktracks=48 nbVisitedNodes=174 nbRestartNogoods=3 mapSize=47
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.089 cpuTime=0.06 mem=14M724
0.87
0.87 search
0.87 run=3 nbConstraintChecks=247693 nbPropagations=8276 nbRevisions=61951 nbUselessRevisions=43568
0.87 nbAssignments=167 nbFailedAssignments=64 nbBacktracks=81 nbVisitedNodes=290 nbRestartNogoods=8 mapSize=76
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.108 cpuTime=0.08 mem=14M724
0.89
0.89 search
0.89 run=4 nbConstraintChecks=370148 nbPropagations=14296 nbRevisions=108339 nbUselessRevisions=75921
0.89 nbAssignments=257 nbFailedAssignments=97 nbBacktracks=134 nbVisitedNodes=443 nbRestartNogoods=13 mapSize=116
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.129 cpuTime=0.1 mem=14M724
0.92
0.92 search
0.92 run=5 nbConstraintChecks=556563 nbPropagations=23420 nbRevisions=179257 nbUselessRevisions=125292
0.92 nbAssignments=402 nbFailedAssignments=160 nbBacktracks=209 nbVisitedNodes=695 nbRestartNogoods=18 mapSize=181
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.162 cpuTime=0.14 mem=14M724
0.97
0.97 search
0.97 run=6 nbConstraintChecks=872337 nbPropagations=37715 nbRevisions=291870 nbUselessRevisions=203444
0.97 nbAssignments=633 nbFailedAssignments=273 nbBacktracks=324 nbVisitedNodes=1118 nbRestartNogoods=23 mapSize=286
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.212 cpuTime=0.19 mem=14M724
1.04
1.04 search
1.04 run=7 nbConstraintChecks=1353035 nbPropagations=59455 nbRevisions=463290 nbUselessRevisions=321956
1.04 nbAssignments=952 nbFailedAssignments=416 nbBacktracks=494 nbVisitedNodes=1689 nbRestartNogoods=25 mapSize=433
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.282 cpuTime=0.25 mem=14M724
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1947011 nbPropagations=91030 nbRevisions=711953 nbUselessRevisions=493514
1.13 nbAssignments=1401 nbFailedAssignments=603 nbBacktracks=751 nbVisitedNodes=2475 nbRestartNogoods=28
1.13 mapSize=641 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.375 cpuTime=0.34 mem=14M724
1.30
1.30 search
1.30 run=9 nbConstraintChecks=3087466 nbPropagations=139701 nbRevisions=1101586 nbUselessRevisions=762670
1.30 nbAssignments=2152 nbFailedAssignments=965 nbBacktracks=1135 nbVisitedNodes=3845 nbRestartNogoods=35
1.30 mapSize=984 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.54 cpuTime=0.49 mem=14M724
1.33
1.33 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=14M724)
1.50
1.50 search
1.50 run=10 nbConstraintChecks=4513678 nbPropagations=212716 nbRevisions=1678166 nbUselessRevisions=1158882
1.50 nbAssignments=3190 nbFailedAssignments=1420 nbBacktracks=1714 nbVisitedNodes=5690 nbRestartNogoods=45
1.50 => wckTime=0.739 cpuTime=0.68 mem=14M724
1.81
1.81 search
1.81 run=11 nbConstraintChecks=7140868 nbPropagations=325382 nbRevisions=2580197 nbUselessRevisions=1780013
1.81 nbAssignments=4879 nbFailedAssignments=2238 nbBacktracks=2581 nbVisitedNodes=8793 nbRestartNogoods=50
1.81 => wckTime=1.055 cpuTime=0.99 mem=14M724
2.21
2.21 search
2.21 run=12 nbConstraintChecks=10360892 nbPropagations=491020 nbRevisions=3898923 nbUselessRevisions=2686159
2.21 nbAssignments=7238 nbFailedAssignments=3292 nbBacktracks=3881 nbVisitedNodes=12968 nbRestartNogoods=60
2.21 => wckTime=1.455 cpuTime=1.39 mem=14M724
2.86
2.86 search
2.86 run=13 nbConstraintChecks=15563776 nbPropagations=741696 nbRevisions=5903218 nbUselessRevisions=4067901
2.86 nbAssignments=10997 nbFailedAssignments=5100 nbBacktracks=5827 nbVisitedNodes=19817 nbRestartNogoods=69
2.86 => wckTime=2.099 cpuTime=2.04 mem=14M724
3.69
3.69 search
3.69 run=14 nbConstraintChecks=22268191 nbPropagations=1104307 nbRevisions=8772519 nbUselessRevisions=6044031
3.69 nbAssignments=16044 nbFailedAssignments=7224 nbBacktracks=8746 nbVisitedNodes=28658 nbRestartNogoods=81
3.69 => wckTime=2.933 cpuTime=2.87 mem=14M724
5.24
5.24 search
5.24 run=15 nbConstraintChecks=35274071 nbPropagations=1665132 nbRevisions=13272981 nbUselessRevisions=9151657
5.24 nbAssignments=24856 nbFailedAssignments=11654 nbBacktracks=13124 nbVisitedNodes=44815 nbRestartNogoods=96
5.24 => wckTime=4.479 cpuTime=4.42 mem=14M724
7.20
7.20 search
7.20 run=16 nbConstraintChecks=50837242 nbPropagations=2489298 nbRevisions=19811399 nbUselessRevisions=13654128
7.20 nbAssignments=36417 nbFailedAssignments=16643 nbBacktracks=19692 nbVisitedNodes=65202 nbRestartNogoods=111
7.20 => wckTime=6.436 cpuTime=6.37 mem=14M724
10.33
10.33 search
10.33 run=17 nbConstraintChecks=76907057 nbPropagations=3726006 nbRevisions=29680013 nbUselessRevisions=20465065
10.33 nbAssignments=54411 nbFailedAssignments=25240 nbBacktracks=29049 nbVisitedNodes=97867 nbRestartNogoods=126
10.33 => wckTime=9.568 cpuTime=9.5 mem=14M724
10.33
10.33 global
10.33 nbConstraintChecks=76907057 nbPropagations=3726046 nbRevisions=29680013 nbUselessRevisions=20465065
10.33 nbRestartNogoods=126 solvingWckTime=9.569 solvingCpuTime=9.5 expiredTime=no totalExploration=no
10.33 nbFoundSolutions=1 globalCpuTime=9.89
10.33 => wckTime=10.042 cpuTime=9.82 mem=14M724
10.33
10.33 s SATISFIABLE
10.33 v 3 0 21 14 8 10 19 15 24 21 4 10 19 15 16 6 23 5 3 19 21 18 16 13 11 9 6 8 16 10 17 14 11 21 3 1 7 7 22 16
10.33 d NODES 54411
10.33 d CHECKS 76907057
10.33
10.33 totalWckTime=10.118 totalCpuTime=9.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-223848-1168080467 -o ROOT/results/node2/solver-223848-1168080467 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223848-1168080467/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.64 1.91 1.97 5/93 5265
/proc/meminfo: memFree=1040616/2055920 swapFree=4191880/4192956
[pid=5264] ppid=5262 vsize=1784 CPUtime=0
/proc/5264/stat : 5264 (java) D 5262 5264 5197 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 156443007 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10535716 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/5264/statm: 446 163 128 14 0 91 0
[startup+0.107167 s]
/proc/loadavg: 1.64 1.91 1.97 5/93 5265
/proc/meminfo: memFree=1040616/2055920 swapFree=4191880/4192956
[pid=5264] ppid=5262 vsize=914988 CPUtime=0.1
/proc/5264/stat : 5264 (java) R 5262 5264 5197 0 -1 0 3120 0 1 0 8 2 0 0 24 0 8 0 156443007 936947712 2866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5264/statm: 228747 2866 1469 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.515243 s]
/proc/loadavg: 1.64 1.91 1.97 5/93 5265
/proc/meminfo: memFree=1040616/2055920 swapFree=4191880/4192956
[pid=5264] ppid=5262 vsize=915328 CPUtime=0.5
/proc/5264/stat : 5264 (java) R 5262 5264 5197 0 -1 0 7382 0 1 0 46 4 0 0 25 0 8 0 156443007 937295872 7121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5264/statm: 228832 7121 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33739 s]
/proc/loadavg: 1.64 1.91 1.97 3/100 5272
/proc/meminfo: memFree=1017008/2055920 swapFree=4191880/4192956
[pid=5264] ppid=5262 vsize=915452 CPUtime=1.33
/proc/5264/stat : 5264 (java) R 5262 5264 5197 0 -1 0 8644 0 1 0 127 6 0 0 25 0 8 0 156443007 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5264/statm: 228863 8382 2513 14 0 215333 0
[pid=5264/tid=5266] ppid=5262 vsize=915452 CPUtime=0.03
/proc/5264/task/5266/stat : 5266 (java) S 5262 5264 5197 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156443010 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5267/stat : 5267 (java) S 5262 5264 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156443010 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5268] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5268/stat : 5268 (java) S 5262 5264 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156443011 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5269] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5269/stat : 5269 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156443013 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5270] ppid=5262 vsize=915452 CPUtime=0.2
/proc/5264/task/5270/stat : 5270 (java) S 5262 5264 5197 0 -1 64 382 0 0 0 19 1 0 0 15 0 8 0 156443014 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5271] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5271/stat : 5271 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156443014 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5272] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5272/stat : 5272 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156443014 937422848 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915452
[startup+2.9857 s]
/proc/loadavg: 1.64 1.91 1.97 3/100 5272
/proc/meminfo: memFree=1016944/2055920 swapFree=4191880/4192956
[pid=5264] ppid=5262 vsize=915452 CPUtime=2.97
/proc/5264/stat : 5264 (java) R 5262 5264 5197 0 -1 0 8650 0 1 0 291 6 0 0 25 0 8 0 156443007 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5264/statm: 228863 8387 2513 14 0 215333 0
[pid=5264/tid=5266] ppid=5262 vsize=915452 CPUtime=0.03
/proc/5264/task/5266/stat : 5266 (java) S 5262 5264 5197 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156443010 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5267/stat : 5267 (java) S 5262 5264 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156443010 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5268] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5268/stat : 5268 (java) S 5262 5264 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156443011 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5269] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5269/stat : 5269 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156443013 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5270] ppid=5262 vsize=915452 CPUtime=0.21
/proc/5264/task/5270/stat : 5270 (java) S 5262 5264 5197 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156443014 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5271] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5271/stat : 5271 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156443014 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5272] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5272/stat : 5272 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156443014 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452
[startup+6.2703 s]
/proc/loadavg: 1.67 1.91 1.97 3/100 5272
/proc/meminfo: memFree=1016880/2055920 swapFree=4191880/4192956
[pid=5264] ppid=5262 vsize=915452 CPUtime=6.26
/proc/5264/stat : 5264 (java) R 5262 5264 5197 0 -1 0 8651 0 1 0 620 6 0 0 25 0 8 0 156443007 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5264/statm: 228863 8387 2513 14 0 215333 0
[pid=5264/tid=5266] ppid=5262 vsize=915452 CPUtime=0.03
/proc/5264/task/5266/stat : 5266 (java) S 5262 5264 5197 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156443010 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5267] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5267/stat : 5267 (java) S 5262 5264 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156443010 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5268] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5268/stat : 5268 (java) S 5262 5264 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156443011 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5269] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5269/stat : 5269 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156443013 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5270] ppid=5262 vsize=915452 CPUtime=0.21
/proc/5264/task/5270/stat : 5270 (java) S 5262 5264 5197 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156443014 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5271] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5271/stat : 5271 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156443014 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5264/tid=5272] ppid=5262 vsize=915452 CPUtime=0
/proc/5264/task/5272/stat : 5272 (java) S 5262 5264 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156443014 937422848 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 10.3789
CPU time (s): 10.3354
CPU user time (s): 10.2654
CPU system time (s): 0.069989
CPU usage (%): 99.5813
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2654
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= 8732
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= 1275
involuntary context switches= 1558
runsolver used 0.017997 s user time and 0.037994 s system time
The end
Begin job on node2 on Sat Jan 6 10:47:51 UTC 2007
IDJOB= 223848
IDBENCH= 5684
FILE ID= node2/223848-1168080467
PBS_JOBID= 3475864
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223848-1168080467/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-223848-1168080467 -o ROOT/results/node2/solver-223848-1168080467 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223848-1168080467/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7a55936100ebdcbb083614419859e5ef
RANDOM SEED= 388634267
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 : 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.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: 1041096 kB
Buffers: 73864 kB
Cached: 711812 kB
SwapCached: 268 kB
Active: 380360 kB
Inactive: 537160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1041096 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2232 kB
Writeback: 0 kB
Mapped: 160188 kB
Slab: 81664 kB
Committed_AS: 4297212 kB
PageTables: 2576 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= 66324 MiB
End job on node2 on Sat Jan 6 10:48:04 UTC 2007