0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/228747-1168080913/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.49 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.57
0.57 constraints being loaded...
0.67 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8220 maxDegree=27
0.67 maxArity=2
0.67 => wckTime=0.284 cpuTime=0.21 mem=10M860
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.471 cpuTime=0.33 mem=13M695
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0070 cpuTime=0.0 mem=13M695
0.91
0.91 search
0.91 run=0 nbConstraintChecks=18786 nbPropagations=423 nbRevisions=4453 nbUselessRevisions=3688 nbAssignments=23
0.91 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.043 cpuTime=0.03 mem=14M671
0.93
0.93 search
0.93 run=1 nbConstraintChecks=39638 nbPropagations=1271 nbRevisions=14157 nbUselessRevisions=11599 nbAssignments=49
0.93 nbFailedAssignments=11 nbBacktracks=27 nbVisitedNodes=77 nbRestartNogoods=3 mapSize=19 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.065 cpuTime=0.05 mem=14M671
0.95
0.95 search
0.95 run=2 nbConstraintChecks=78060 nbPropagations=2826 nbRevisions=33316 nbUselessRevisions=27244 nbAssignments=92
0.95 nbFailedAssignments=25 nbBacktracks=52 nbVisitedNodes=147 nbRestartNogoods=4 mapSize=40 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.086 cpuTime=0.06 mem=14M671
0.96
0.96 search
0.96 run=3 nbConstraintChecks=115543 nbPropagations=5116 nbRevisions=61799 nbUselessRevisions=50528
0.96 nbAssignments=144 nbFailedAssignments=39 nbBacktracks=85 nbVisitedNodes=229 nbRestartNogoods=5 mapSize=64
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.098 cpuTime=0.07 mem=14M671
0.98
0.98 search
0.98 run=4 nbConstraintChecks=188167 nbPropagations=8748 nbRevisions=109107 nbUselessRevisions=89070
0.98 nbAssignments=232 nbFailedAssignments=69 nbBacktracks=135 nbVisitedNodes=376 nbRestartNogoods=7 mapSize=105
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.12 cpuTime=0.09 mem=14M671
1.02
1.02 search
1.02 run=5 nbConstraintChecks=312129 nbPropagations=14576 nbRevisions=188368 nbUselessRevisions=153932
1.02 nbAssignments=362 nbFailedAssignments=118 nbBacktracks=210 nbVisitedNodes=599 nbRestartNogoods=11 mapSize=171
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.158 cpuTime=0.13 mem=14M671
1.07
1.07 search
1.07 run=6 nbConstraintChecks=472955 nbPropagations=23317 nbRevisions=309833 nbUselessRevisions=253878
1.07 nbAssignments=548 nbFailedAssignments=183 nbBacktracks=327 nbVisitedNodes=910 nbRestartNogoods=15 mapSize=267
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.202 cpuTime=0.17 mem=14M671
1.13
1.13 search
1.13 run=7 nbConstraintChecks=698087 nbPropagations=36138 nbRevisions=488257 nbUselessRevisions=400462
1.13 nbAssignments=807 nbFailedAssignments=265 nbBacktracks=498 nbVisitedNodes=1338 nbRestartNogoods=19 mapSize=400
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.267 cpuTime=0.23 mem=14M671
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1064511 nbPropagations=55448 nbRevisions=759920 nbUselessRevisions=623157
1.22 nbAssignments=1202 nbFailedAssignments=398 nbBacktracks=755 nbVisitedNodes=2020 nbRestartNogoods=22
1.22 mapSize=620 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.359 cpuTime=0.32 mem=14M671
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1548504 nbPropagations=83808 nbRevisions=1165194 nbUselessRevisions=956843
1.36 nbAssignments=1803 nbFailedAssignments=608 nbBacktracks=1139 nbVisitedNodes=3036 nbRestartNogoods=29
1.36 mapSize=946 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.495 cpuTime=0.44 mem=14M671
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=14M671)
1.55
1.55 search
1.55 run=10 nbConstraintChecks=2360808 nbPropagations=126776 nbRevisions=1786543 nbUselessRevisions=1468499
1.55 nbAssignments=2741 nbFailedAssignments=961 nbBacktracks=1715 nbVisitedNodes=4643 nbRestartNogoods=36
1.55 => wckTime=0.689 cpuTime=0.62 mem=14M671
1.81
1.81 search
1.81 run=11 nbConstraintChecks=3564775 nbPropagations=190992 nbRevisions=2727005 nbUselessRevisions=2244247
1.81 nbAssignments=4081 nbFailedAssignments=1429 nbBacktracks=2582 nbVisitedNodes=6905 nbRestartNogoods=43
1.81 => wckTime=0.95 cpuTime=0.88 mem=14M671
2.19
2.19 search
2.19 run=12 nbConstraintChecks=5305996 nbPropagations=286273 nbRevisions=4128355 nbUselessRevisions=3400957
2.19 nbAssignments=6055 nbFailedAssignments=2098 nbBacktracks=3880 nbVisitedNodes=10256 nbRestartNogoods=49
2.19 => wckTime=1.328 cpuTime=1.26 mem=14M671
2.72
2.72 search
2.72 run=13 nbConstraintChecks=7915160 nbPropagations=427733 nbRevisions=6222315 nbUselessRevisions=5132143
2.72 nbAssignments=9003 nbFailedAssignments=3092 nbBacktracks=5827 nbVisitedNodes=15228 nbRestartNogoods=55
2.72 => wckTime=1.856 cpuTime=1.78 mem=14M671
3.51
3.51 search
3.51 run=14 nbConstraintChecks=11911961 nbPropagations=639554 nbRevisions=9348324 nbUselessRevisions=7712269
3.51 nbAssignments=13477 nbFailedAssignments=4641 nbBacktracks=8746 nbVisitedNodes=22781 nbRestartNogoods=66
3.51 => wckTime=2.646 cpuTime=2.57 mem=14M671
4.70
4.70 search
4.70 run=15 nbConstraintChecks=17909019 nbPropagations=957646 nbRevisions=14055258 nbUselessRevisions=11595958
4.70 nbAssignments=20204 nbFailedAssignments=6981 nbBacktracks=13125 nbVisitedNodes=34200 nbRestartNogoods=74
4.70 => wckTime=3.834 cpuTime=3.76 mem=14M671
6.43
6.43 search
6.43 run=16 nbConstraintChecks=26672937 nbPropagations=1430726 nbRevisions=21090816 nbUselessRevisions=17412647
6.43 nbAssignments=30214 nbFailedAssignments=10415 nbBacktracks=19695 nbVisitedNodes=51105 nbRestartNogoods=85
6.43 => wckTime=5.568 cpuTime=5.49 mem=14M671
9.14
9.14 search
9.14 run=17 nbConstraintChecks=40534023 nbPropagations=2143782 nbRevisions=31731598 nbUselessRevisions=26207432
9.14 nbAssignments=45509 nbFailedAssignments=15852 nbBacktracks=29549 nbVisitedNodes=77097 nbRestartNogoods=92
9.14 => wckTime=8.277 cpuTime=8.2 mem=14M671
10.07
10.07 search
10.07 run=18 nbConstraintChecks=45310853 nbPropagations=2938936 nbRevisions=43606306 nbUselessRevisions=36019895
10.07 nbAssignments=50563 nbFailedAssignments=17657 nbBacktracks=32758 nbVisitedNodes=85722 nbRestartNogoods=97
10.07 => wckTime=9.207 cpuTime=9.13 mem=14M671
10.07
10.07 global
10.07 nbConstraintChecks=45310853 nbPropagations=2938976 nbRevisions=43606306 nbUselessRevisions=36019895
10.07 nbRestartNogoods=97 solvingWckTime=9.209 solvingCpuTime=9.13 expiredTime=no totalExploration=no
10.07 nbFoundSolutions=1 globalCpuTime=9.51
10.07 => wckTime=9.682 cpuTime=9.46 mem=14M671
10.07
10.07 s SATISFIABLE
10.07 v 1 6 10 8 7 2 3 9 10 0 10 9 8 0 0 2 5 1 5 3 2 3 3 3 8 2 2 10 0 5 0 2 7 5 8 6 2 5 2 6
10.07 d NODES 50563
10.07 d CHECKS 45310853
10.07
10.07 totalWckTime=9.757 totalCpuTime=9.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-228747-1168080913 -o ROOT/results/node56/solver-228747-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228747-1168080913/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.07 0.35 0.67 3/68 8659
/proc/meminfo: memFree=1640808/2055920 swapFree=4184772/4192956
[pid=8658] ppid=8656 vsize=1784 CPUtime=0
/proc/8658/stat : 8658 (java) R 8656 8658 8114 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156490614 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8658/statm: 446 158 123 14 0 91 0
[startup+0.10526 s]
/proc/loadavg: 0.07 0.35 0.67 3/68 8659
/proc/meminfo: memFree=1640808/2055920 swapFree=4184772/4192956
[pid=8658] ppid=8656 vsize=913452 CPUtime=0.07
/proc/8658/stat : 8658 (java) R 8656 8658 8114 0 -1 0 2751 0 1 0 6 1 0 0 18 0 8 0 156490614 935374848 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8658/statm: 228363 2497 1382 14 0 215307 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913452
[startup+0.5133 s]
/proc/loadavg: 0.07 0.35 0.67 3/68 8659
/proc/meminfo: memFree=1640808/2055920 swapFree=4184772/4192956
[pid=8658] ppid=8656 vsize=915956 CPUtime=0.4
/proc/8658/stat : 8658 (java) S 8656 8658 8114 0 -1 0 6156 0 1 0 37 3 0 0 16 0 8 0 156490614 937938944 5895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8658/statm: 228989 5895 2137 14 0 215459 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915956
[startup+1.33538 s]
/proc/loadavg: 0.07 0.35 0.67 2/75 8666
/proc/meminfo: memFree=1617648/2055920 swapFree=4184772/4192956
[pid=8658] ppid=8656 vsize=916200 CPUtime=1.22
/proc/8658/stat : 8658 (java) R 8656 8658 8114 0 -1 0 8578 0 1 0 117 5 0 0 17 0 8 0 156490614 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8658/statm: 229050 8316 2513 14 0 215520 0
[pid=8658/tid=8660] ppid=8656 vsize=916200 CPUtime=0.03
/proc/8658/task/8660/stat : 8660 (java) S 8656 8658 8114 0 -1 64 230 0 0 0 3 0 0 0 16 0 8 0 156490617 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8658/tid=8661] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8661/stat : 8661 (java) S 8656 8658 8114 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490618 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8662] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8662/stat : 8662 (java) S 8656 8658 8114 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490618 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8663] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8663/stat : 8663 (java) S 8656 8658 8114 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 156490623 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8664] ppid=8656 vsize=916200 CPUtime=0.19
/proc/8658/task/8664/stat : 8664 (java) S 8656 8658 8114 0 -1 64 386 0 0 0 19 0 0 0 16 0 8 0 156490623 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8665] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8665/stat : 8665 (java) S 8656 8658 8114 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490623 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8666] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8666/stat : 8666 (java) S 8656 8658 8114 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156490623 938188800 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 916200
[startup+2.98654 s]
/proc/loadavg: 0.07 0.35 0.67 2/75 8666
/proc/meminfo: memFree=1617392/2055920 swapFree=4184772/4192956
[pid=8658] ppid=8656 vsize=916200 CPUtime=2.87
/proc/8658/stat : 8658 (java) R 8656 8658 8114 0 -1 0 8607 0 1 0 282 5 0 0 18 0 8 0 156490614 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805747 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8658/statm: 229050 8344 2513 14 0 215520 0
[pid=8658/tid=8660] ppid=8656 vsize=916200 CPUtime=0.03
/proc/8658/task/8660/stat : 8660 (java) S 8656 8658 8114 0 -1 64 230 0 0 0 3 0 0 0 16 0 8 0 156490617 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8658/tid=8661] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8661/stat : 8661 (java) S 8656 8658 8114 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490618 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8662] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8662/stat : 8662 (java) S 8656 8658 8114 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490618 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8663] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8663/stat : 8663 (java) S 8656 8658 8114 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 156490623 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8664] ppid=8656 vsize=916200 CPUtime=0.21
/proc/8658/task/8664/stat : 8664 (java) S 8656 8658 8114 0 -1 64 394 0 0 0 21 0 0 0 16 0 8 0 156490623 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8665] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8665/stat : 8665 (java) S 8656 8658 8114 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490623 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8666] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8666/stat : 8666 (java) S 8656 8658 8114 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156490623 938188800 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 916200
[startup+6.26386 s]
/proc/loadavg: 0.15 0.36 0.67 2/75 8666
/proc/meminfo: memFree=1617392/2055920 swapFree=4184772/4192956
[pid=8658] ppid=8656 vsize=916200 CPUtime=6.14
/proc/8658/stat : 8658 (java) R 8656 8658 8114 0 -1 0 8613 0 1 0 609 5 0 0 20 0 8 0 156490614 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8658/statm: 229050 8349 2513 14 0 215520 0
[pid=8658/tid=8660] ppid=8656 vsize=916200 CPUtime=0.03
/proc/8658/task/8660/stat : 8660 (java) S 8656 8658 8114 0 -1 64 230 0 0 0 3 0 0 0 16 0 8 0 156490617 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8658/tid=8661] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8661/stat : 8661 (java) S 8656 8658 8114 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490618 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8662] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8662/stat : 8662 (java) S 8656 8658 8114 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490618 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8663] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8663/stat : 8663 (java) S 8656 8658 8114 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 156490623 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8664] ppid=8656 vsize=916200 CPUtime=0.21
/proc/8658/task/8664/stat : 8664 (java) S 8656 8658 8114 0 -1 64 394 0 0 0 21 0 0 0 16 0 8 0 156490623 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8665] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8665/stat : 8665 (java) S 8656 8658 8114 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156490623 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8658/tid=8666] ppid=8656 vsize=916200 CPUtime=0
/proc/8658/task/8666/stat : 8666 (java) S 8656 8658 8114 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156490623 938188800 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 916200
Child status: 0
Real time (s): 10.0902
CPU time (s): 9.97348
CPU user time (s): 9.91449
CPU system time (s): 0.058991
CPU usage (%): 98.8432
Max. virtual memory (cumulated for all children) (KiB): 916200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.91449
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8711
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= 1044
involuntary context switches= 385
runsolver used 0.018997 s user time and 0.032994 s system time
The end
Begin job on node56 on Sat Jan 6 10:55:17 UTC 2007
IDJOB= 228747
IDBENCH= 6231
FILE ID= node56/228747-1168080913
PBS_JOBID= 3476170
Free space on /tmp= 66521 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-55_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228747-1168080913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-228747-1168080913 -o ROOT/results/node56/solver-228747-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228747-1168080913/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= aa524ac423852c9af307b18396390735
RANDOM SEED= 87057875
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.232
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.232
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: 1641480 kB
Buffers: 30656 kB
Cached: 302864 kB
SwapCached: 2060 kB
Active: 66656 kB
Inactive: 281136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1641480 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 21176 kB
Slab: 52356 kB
Committed_AS: 2779820 kB
PageTables: 1692 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= 66521 MiB
End job on node56 on Sat Jan 6 10:55:40 UTC 2007