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/229030-1168080928/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.42 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1392 maxDegree=20
0.59 maxArity=2
0.59 => wckTime=0.271 cpuTime=0.21 mem=11M828
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.457 cpuTime=0.33 mem=13M734
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0030 cpuTime=0.0 mem=13M734
0.82
0.82 search
0.82 run=0 nbConstraintChecks=16974 nbPropagations=335 nbRevisions=2794 nbUselessRevisions=2202 nbAssignments=18
0.82 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=28 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.042 cpuTime=0.04 mem=14M709
0.84
0.84 search
0.84 run=1 nbConstraintChecks=53674 nbPropagations=1293 nbRevisions=11835 nbUselessRevisions=9143 nbAssignments=51
0.84 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=83 nbRestartNogoods=1 mapSize=18 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.064 cpuTime=0.05 mem=14M709
0.86
0.86 search
0.86 run=2 nbConstraintChecks=93950 nbPropagations=2946 nbRevisions=27703 nbUselessRevisions=21304 nbAssignments=91
0.86 nbFailedAssignments=31 nbBacktracks=47 nbVisitedNodes=147 nbRestartNogoods=5 mapSize=33 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.082 cpuTime=0.06 mem=14M709
0.88
0.88 search
0.88 run=3 nbConstraintChecks=182426 nbPropagations=6046 nbRevisions=58601 nbUselessRevisions=44905
0.88 nbAssignments=165 nbFailedAssignments=65 nbBacktracks=81 nbVisitedNodes=274 nbRestartNogoods=8 mapSize=64
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.101 cpuTime=0.08 mem=14M709
0.91
0.91 search
0.91 run=4 nbConstraintChecks=295783 nbPropagations=11117 nbRevisions=109748 nbUselessRevisions=83627
0.91 nbAssignments=264 nbFailedAssignments=108 nbBacktracks=132 nbVisitedNodes=442 nbRestartNogoods=14 mapSize=107
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.126 cpuTime=0.1 mem=14M709
0.94
0.94 search
0.94 run=5 nbConstraintChecks=461693 nbPropagations=18973 nbRevisions=191746 nbUselessRevisions=145614
0.94 nbAssignments=403 nbFailedAssignments=164 nbBacktracks=209 nbVisitedNodes=689 nbRestartNogoods=19 mapSize=172
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.161 cpuTime=0.14 mem=14M709
0.99
0.99 search
0.99 run=6 nbConstraintChecks=733393 nbPropagations=31353 nbRevisions=323766 nbUselessRevisions=246061
0.99 nbAssignments=622 nbFailedAssignments=265 nbBacktracks=322 nbVisitedNodes=1084 nbRestartNogoods=26 mapSize=272
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.214 cpuTime=0.19 mem=14M709
1.06
1.06 search
1.06 run=7 nbConstraintChecks=1096123 nbPropagations=49876 nbRevisions=523015 nbUselessRevisions=398070
1.06 nbAssignments=932 nbFailedAssignments=399 nbBacktracks=493 nbVisitedNodes=1630 nbRestartNogoods=28 mapSize=425
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.283 cpuTime=0.25 mem=14M709
1.17
1.17 search
1.17 run=8 nbConstraintChecks=1626736 nbPropagations=77625 nbRevisions=826262 nbUselessRevisions=630772
1.17 nbAssignments=1408 nbFailedAssignments=610 nbBacktracks=751 nbVisitedNodes=2493 nbRestartNogoods=34
1.17 mapSize=661 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.39 cpuTime=0.35 mem=14M709
1.32
1.32 search
1.32 run=9 nbConstraintChecks=2386481 nbPropagations=118371 nbRevisions=1266855 nbUselessRevisions=967286
1.32 nbAssignments=2078 nbFailedAssignments=888 nbBacktracks=1135 nbVisitedNodes=3671 nbRestartNogoods=38
1.32 mapSize=994 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.539 cpuTime=0.49 mem=14M709
1.33
1.33 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=14M709)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=3548549 nbPropagations=178617 nbRevisions=1919507 nbUselessRevisions=1464778
1.52 nbAssignments=3088 nbFailedAssignments=1317 nbBacktracks=1711 nbVisitedNodes=5465 nbRestartNogoods=43
1.52 => wckTime=0.738 cpuTime=0.68 mem=14M709
1.83
1.83 search
1.83 run=11 nbConstraintChecks=5473022 nbPropagations=270804 nbRevisions=2929457 nbUselessRevisions=2235419
1.83 nbAssignments=4651 nbFailedAssignments=2010 nbBacktracks=2575 nbVisitedNodes=8276 nbRestartNogoods=46
1.83 => wckTime=1.045 cpuTime=0.98 mem=14M709
2.23
2.23 search
2.23 run=12 nbConstraintChecks=7980749 nbPropagations=406283 nbRevisions=4406146 nbUselessRevisions=3361615
2.23 nbAssignments=6840 nbFailedAssignments=2896 nbBacktracks=3874 nbVisitedNodes=12114 nbRestartNogoods=52
2.23 => wckTime=1.448 cpuTime=1.39 mem=14M709
2.78
2.78 search
2.78 run=13 nbConstraintChecks=11575254 nbPropagations=605222 nbRevisions=6586014 nbUselessRevisions=5030184
2.78 nbAssignments=10145 nbFailedAssignments=4250 nbBacktracks=5821 nbVisitedNodes=17974 nbRestartNogoods=58
2.78 => wckTime=2.003 cpuTime=1.94 mem=14M709
3.67
3.67 search
3.67 run=14 nbConstraintChecks=17604277 nbPropagations=904243 nbRevisions=9883039 nbUselessRevisions=7554582
3.67 nbAssignments=15241 nbFailedAssignments=6421 nbBacktracks=8742 nbVisitedNodes=27058 nbRestartNogoods=68
3.67 => wckTime=2.892 cpuTime=2.82 mem=14M709
4.95
4.95 search
4.95 run=15 nbConstraintChecks=26117591 nbPropagations=1349329 nbRevisions=14777687 nbUselessRevisions=11300415
4.95 nbAssignments=22666 nbFailedAssignments=9462 nbBacktracks=13121 nbVisitedNodes=40178 nbRestartNogoods=76
4.95 => wckTime=4.166 cpuTime=4.1 mem=14M709
6.93
6.93 search
6.93 run=16 nbConstraintChecks=39499025 nbPropagations=2018214 nbRevisions=22183511 nbUselessRevisions=16974113
6.93 nbAssignments=34003 nbFailedAssignments=14227 nbBacktracks=19689 nbVisitedNodes=60310 nbRestartNogoods=81
6.93 => wckTime=6.153 cpuTime=6.08 mem=14M709
9.15
9.15 search
9.15 run=17 nbConstraintChecks=53775521 nbPropagations=2922502 nbRevisions=32183668 nbUselessRevisions=24625450
9.15 nbAssignments=45638 nbFailedAssignments=19133 nbBacktracks=26419 nbVisitedNodes=81007 nbRestartNogoods=92
9.15 => wckTime=8.37 cpuTime=8.28 mem=14M709
9.15
9.15 global
9.15 nbConstraintChecks=53775521 nbPropagations=2922542 nbRevisions=32183668 nbUselessRevisions=24625450
9.15 nbRestartNogoods=92 solvingWckTime=8.371 solvingCpuTime=8.28 expiredTime=no totalExploration=yes
9.15 nbFoundSolutions=0 globalCpuTime=8.65
9.15 => wckTime=8.831 cpuTime=8.61 mem=14M709
9.15
9.15 s UNSATISFIABLE
9.15 d NODES 45638
9.15 d CHECKS 53775521
9.15
9.16 totalWckTime=8.907 totalCpuTime=8.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-229030-1168080928 -o ROOT/results/node3/solver-229030-1168080928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229030-1168080928/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: 0.27 0.98 1.53 3/81 30839
/proc/meminfo: memFree=1325192/2055920 swapFree=4192812/4192956
[pid=30838] ppid=30836 vsize=18540 CPUtime=0
/proc/30838/stat : 30838 (runsolver) D 30836 30838 30480 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156489675 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233632754983 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/30838/statm: 4635 279 244 17 0 2626 0
[startup+0.105123 s]
/proc/loadavg: 0.27 0.98 1.53 3/81 30839
/proc/meminfo: memFree=1325192/2055920 swapFree=4192812/4192956
[pid=30838] ppid=30836 vsize=912272 CPUtime=0.06
/proc/30838/stat : 30838 (java) R 30836 30838 30480 0 -1 0 2646 0 1 0 5 1 0 0 24 0 8 0 156489675 934166528 2394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30838/statm: 228068 2398 1293 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272
[startup+0.517191 s]
/proc/loadavg: 0.27 0.98 1.53 3/81 30839
/proc/meminfo: memFree=1325192/2055920 swapFree=4192812/4192956
[pid=30838] ppid=30836 vsize=915328 CPUtime=0.48
/proc/30838/stat : 30838 (java) S 30836 30838 30480 0 -1 0 6686 0 1 0 44 4 0 0 16 0 8 0 156489675 937295872 6425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30838/statm: 228832 6425 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33832 s]
/proc/loadavg: 0.27 0.98 1.53 2/88 30846
/proc/meminfo: memFree=1301776/2055920 swapFree=4192812/4192956
[pid=30838] ppid=30836 vsize=915452 CPUtime=1.3
/proc/30838/stat : 30838 (java) R 30836 30838 30480 0 -1 0 8592 0 1 0 125 5 0 0 16 0 8 0 156489675 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073341776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30838/statm: 228863 8330 2513 14 0 215333 0
[pid=30838/tid=30840] ppid=30836 vsize=915452 CPUtime=0.02
/proc/30838/task/30840/stat : 30840 (java) S 30836 30838 30480 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156489681 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30838/tid=30841] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30841/stat : 30841 (java) S 30836 30838 30480 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156489681 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30842] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30842/stat : 30842 (java) S 30836 30838 30480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156489681 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30843] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30843/stat : 30843 (java) S 30836 30838 30480 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156489684 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30844] ppid=30836 vsize=915452 CPUtime=0.2
/proc/30838/task/30844/stat : 30844 (java) S 30836 30838 30480 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 156489684 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30845] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30845/stat : 30845 (java) S 30836 30838 30480 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156489684 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30846] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30846/stat : 30846 (java) S 30836 30838 30480 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156489685 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.97558 s]
/proc/loadavg: 0.27 0.98 1.53 2/88 30846
/proc/meminfo: memFree=1301648/2055920 swapFree=4192812/4192956
[pid=30838] ppid=30836 vsize=915452 CPUtime=2.93
/proc/30838/stat : 30838 (java) R 30836 30838 30480 0 -1 0 8606 0 1 0 288 5 0 0 18 0 8 0 156489675 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30838/statm: 228863 8343 2513 14 0 215333 0
[pid=30838/tid=30840] ppid=30836 vsize=915452 CPUtime=0.02
/proc/30838/task/30840/stat : 30840 (java) S 30836 30838 30480 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156489681 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30838/tid=30841] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30841/stat : 30841 (java) S 30836 30838 30480 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156489681 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30842] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30842/stat : 30842 (java) S 30836 30838 30480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156489681 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30843] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30843/stat : 30843 (java) S 30836 30838 30480 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156489684 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30844] ppid=30836 vsize=915452 CPUtime=0.21
/proc/30838/task/30844/stat : 30844 (java) S 30836 30838 30480 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156489684 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30845] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30845/stat : 30845 (java) S 30836 30838 30480 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156489684 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30846] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30846/stat : 30846 (java) S 30836 30838 30480 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156489685 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.27212 s]
/proc/loadavg: 0.33 0.98 1.53 2/88 30846
/proc/meminfo: memFree=1301584/2055920 swapFree=4192812/4192956
[pid=30838] ppid=30836 vsize=915452 CPUtime=6.22
/proc/30838/stat : 30838 (java) R 30836 30838 30480 0 -1 0 8612 0 1 0 617 5 0 0 20 0 8 0 156489675 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30838/statm: 228863 8348 2513 14 0 215333 0
[pid=30838/tid=30840] ppid=30836 vsize=915452 CPUtime=0.02
/proc/30838/task/30840/stat : 30840 (java) S 30836 30838 30480 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156489681 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30838/tid=30841] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30841/stat : 30841 (java) S 30836 30838 30480 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156489681 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30842] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30842/stat : 30842 (java) S 30836 30838 30480 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156489681 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30843] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30843/stat : 30843 (java) S 30836 30838 30480 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156489684 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30844] ppid=30836 vsize=915452 CPUtime=0.21
/proc/30838/task/30844/stat : 30844 (java) S 30836 30838 30480 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156489684 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30845] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30845/stat : 30845 (java) S 30836 30838 30480 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156489684 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30838/tid=30846] ppid=30836 vsize=915452 CPUtime=0
/proc/30838/task/30846/stat : 30846 (java) S 30836 30838 30480 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156489685 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 9.21275
CPU time (s): 9.11261
CPU user time (s): 9.04862
CPU system time (s): 0.06399
CPU usage (%): 98.9131
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.04862
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8706
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= 1016
involuntary context switches= 523
runsolver used 0.016997 s user time and 0.031995 s system time
The end
Begin job on node3 on Sat Jan 6 10:55:30 UTC 2007
IDJOB= 229030
IDBENCH= 6268
FILE ID= node3/229030-1168080928
PBS_JOBID= 3475870
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229030-1168080928/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-229030-1168080928 -o ROOT/results/node3/solver-229030-1168080928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229030-1168080928/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 74df457be90ea7a152f59268da62bd6f
RANDOM SEED= 685604237
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.279
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.279
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: 1325736 kB
Buffers: 65892 kB
Cached: 513264 kB
SwapCached: 0 kB
Active: 128268 kB
Inactive: 507648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1325736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 75732 kB
Slab: 79604 kB
Committed_AS: 3756944 kB
PageTables: 1904 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= 66545 MiB
End job on node3 on Sat Jan 6 10:56:00 UTC 2007