0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/227560-1168080799/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.65 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.65 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11897 maxDegree=39
0.65 maxArity=2
0.65 => wckTime=0.358 cpuTime=0.23 mem=11M848
0.69
0.70 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.547 cpuTime=0.36 mem=14M16
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.011 cpuTime=0.0 mem=14M16
0.89
0.89 search
0.89 run=0 nbConstraintChecks=11546 nbPropagations=329 nbRevisions=3251 nbUselessRevisions=2765 nbAssignments=22
0.90 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=31 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.05 cpuTime=0.03 mem=15M7
0.92
0.92 search
0.92 run=1 nbConstraintChecks=30526 nbPropagations=1086 nbRevisions=12342 nbUselessRevisions=10488 nbAssignments=55
0.92 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=81 nbRestartNogoods=3 mapSize=19 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.078 cpuTime=0.04 mem=15M7
0.94
0.94 search
0.94 run=2 nbConstraintChecks=58766 nbPropagations=2424 nbRevisions=30438 nbUselessRevisions=25855 nbAssignments=93
0.94 nbFailedAssignments=23 nbBacktracks=47 nbVisitedNodes=144 nbRestartNogoods=5 mapSize=40 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.097 cpuTime=0.06 mem=15M7
0.96
0.96 search
0.96 run=3 nbConstraintChecks=90260 nbPropagations=4422 nbRevisions=58719 nbUselessRevisions=49951
0.96 nbAssignments=149 nbFailedAssignments=37 nbBacktracks=82 nbVisitedNodes=228 nbRestartNogoods=8 mapSize=65
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.114 cpuTime=0.07 mem=15M7
0.98
0.98 search
0.98 run=4 nbConstraintChecks=133642 nbPropagations=7298 nbRevisions=101124 nbUselessRevisions=86177
0.98 nbAssignments=224 nbFailedAssignments=53 nbBacktracks=134 nbVisitedNodes=339 nbRestartNogoods=11 mapSize=97
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.135 cpuTime=0.09 mem=15M7
1.01
1.01 search
1.01 run=5 nbConstraintChecks=211821 nbPropagations=11734 nbRevisions=169367 nbUselessRevisions=144360
1.01 nbAssignments=338 nbFailedAssignments=87 nbBacktracks=210 nbVisitedNodes=529 nbRestartNogoods=14 mapSize=162
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.168 cpuTime=0.13 mem=15M7
1.06
1.06 search
1.06 run=6 nbConstraintChecks=329284 nbPropagations=18437 nbRevisions=276568 nbUselessRevisions=235788
1.06 nbAssignments=507 nbFailedAssignments=134 nbBacktracks=324 nbVisitedNodes=807 nbRestartNogoods=15 mapSize=258
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.218 cpuTime=0.17 mem=15M7
1.12
1.12 search
1.12 run=7 nbConstraintChecks=484937 nbPropagations=28106 nbRevisions=435908 nbUselessRevisions=372104
1.12 nbAssignments=750 nbFailedAssignments=200 nbBacktracks=495 nbVisitedNodes=1194 nbRestartNogoods=17 mapSize=391
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.279 cpuTime=0.23 mem=15M7
1.22
1.22 search
1.22 run=8 nbConstraintChecks=729108 nbPropagations=42433 nbRevisions=675188 nbUselessRevisions=577075
1.22 nbAssignments=1122 nbFailedAssignments=306 nbBacktracks=755 nbVisitedNodes=1798 nbRestartNogoods=19
1.22 mapSize=602 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.378 cpuTime=0.32 mem=15M7
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1074781 nbPropagations=63389 nbRevisions=1028406 nbUselessRevisions=879622
1.36 nbAssignments=1683 nbFailedAssignments=473 nbBacktracks=1142 nbVisitedNodes=2697 nbRestartNogoods=25
1.36 mapSize=908 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.518 cpuTime=0.45 mem=15M7
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=15M7)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=1578452 nbPropagations=94103 nbRevisions=1548340 nbUselessRevisions=1324854
1.54 nbAssignments=2483 nbFailedAssignments=691 nbBacktracks=1718 nbVisitedNodes=3993 nbRestartNogoods=29
1.54 => wckTime=0.693 cpuTime=0.61 mem=15M7
1.78
1.78 search
1.78 run=11 nbConstraintChecks=2355745 nbPropagations=139675 nbRevisions=2326949 nbUselessRevisions=1991616
1.78 nbAssignments=3704 nbFailedAssignments=1037 nbBacktracks=2588 nbVisitedNodes=5973 nbRestartNogoods=36
1.78 => wckTime=0.933 cpuTime=0.85 mem=15M7
2.14
2.14 search
2.14 run=12 nbConstraintChecks=3542442 nbPropagations=207798 nbRevisions=3502866 nbUselessRevisions=2999502
2.14 nbAssignments=5539 nbFailedAssignments=1567 nbBacktracks=3888 nbVisitedNodes=8977 nbRestartNogoods=38
2.14 => wckTime=1.3 cpuTime=1.21 mem=15M7
2.69
2.69 search
2.69 run=13 nbConstraintChecks=5324959 nbPropagations=310021 nbRevisions=5276673 nbUselessRevisions=4520477
2.69 nbAssignments=8323 nbFailedAssignments=2392 nbBacktracks=5834 nbVisitedNodes=13510 nbRestartNogoods=43
2.69 => wckTime=1.846 cpuTime=1.75 mem=15M7
3.53
3.53 search
3.53 run=14 nbConstraintChecks=8066345 nbPropagations=464574 nbRevisions=7953913 nbUselessRevisions=6813622
3.53 nbAssignments=12493 nbFailedAssignments=3636 nbBacktracks=8754 nbVisitedNodes=20311 nbRestartNogoods=51
3.53 => wckTime=2.69 cpuTime=2.59 mem=15M7
4.77
4.77 search
4.77 run=15 nbConstraintChecks=12111340 nbPropagations=695412 nbRevisions=11959108 nbUselessRevisions=10244563
4.77 nbAssignments=18690 nbFailedAssignments=5450 nbBacktracks=13132 nbVisitedNodes=30333 nbRestartNogoods=57
4.77 => wckTime=3.924 cpuTime=3.81 mem=15M7
6.64
6.64 search
6.64 run=16 nbConstraintChecks=18280905 nbPropagations=1042579 nbRevisions=18003747 nbUselessRevisions=15422384
6.64 nbAssignments=28044 nbFailedAssignments=8232 nbBacktracks=19701 nbVisitedNodes=45606 nbRestartNogoods=66
6.64 => wckTime=5.795 cpuTime=5.67 mem=15M7
9.43
9.43 search
9.43 run=17 nbConstraintChecks=27573881 nbPropagations=1564174 nbRevisions=27109420 nbUselessRevisions=23226266
9.43 nbAssignments=41993 nbFailedAssignments=12318 nbBacktracks=29555 nbVisitedNodes=68304 nbRestartNogoods=72
9.43 => wckTime=8.591 cpuTime=8.44 mem=15M7
10.56
10.56 search
10.56 run=18 nbConstraintChecks=31324011 nbPropagations=2155527 nbRevisions=37455087 nbUselessRevisions=32094846
10.56 nbAssignments=47691 nbFailedAssignments=13977 nbBacktracks=33554 nbVisitedNodes=77503 nbRestartNogoods=80
10.56 => wckTime=9.716 cpuTime=9.56 mem=15M7
10.56
10.56 global
10.56 nbConstraintChecks=31324011 nbPropagations=2155567 nbRevisions=37455087 nbUselessRevisions=32094846
10.56 nbRestartNogoods=80 solvingWckTime=9.718 solvingCpuTime=9.56 expiredTime=no totalExploration=no
10.56 nbFoundSolutions=1 globalCpuTime=9.96
10.56 => wckTime=10.266 cpuTime=9.92 mem=15M7
10.56
10.56 s SATISFIABLE
10.56 v 5 7 1 2 0 6 5 2 2 5 1 4 0 4 5 3 0 5 5 4 5 2 2 0 5 6 3 1 5 3 2 7 4 3 1 7 3 0 4 1
10.56 d NODES 47691
10.56 d CHECKS 31324011
10.56
10.56 totalWckTime=10.343 totalCpuTime=9.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-227560-1168080799 -o ROOT/results/node75/solver-227560-1168080799 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227560-1168080799/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.31 0.71 0.95 4/80 23822
/proc/meminfo: memFree=1690784/2055920 swapFree=4184496/4192956
[pid=23821] ppid=23819 vsize=18540 CPUtime=0
/proc/23821/stat : 23821 (runsolver) R 23819 23821 23593 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156480268 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 0 4096 24578 0 0 0 17 0 0 0
/proc/23821/statm: 4635 279 244 17 0 2626 0
[startup+0.106667 s]
/proc/loadavg: 0.31 0.71 0.95 4/80 23822
/proc/meminfo: memFree=1690784/2055920 swapFree=4184496/4192956
[pid=23821] ppid=23819 vsize=914988 CPUtime=0.08
/proc/23821/stat : 23821 (java) R 23819 23821 23593 0 -1 0 3065 0 1 0 7 1 0 0 17 0 8 0 156480268 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154010917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23821/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518712 s]
/proc/loadavg: 0.31 0.71 0.95 4/80 23822
/proc/meminfo: memFree=1690784/2055920 swapFree=4184496/4192956
[pid=23821] ppid=23819 vsize=915328 CPUtime=0.49
/proc/23821/stat : 23821 (java) S 23819 23821 23593 0 -1 0 6516 0 1 0 46 3 0 0 18 0 8 0 156480268 937295872 6255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23821/statm: 228832 6255 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34682 s]
/proc/loadavg: 0.31 0.71 0.95 4/87 23829
/proc/meminfo: memFree=1666984/2055920 swapFree=4184496/4192956
[pid=23821] ppid=23819 vsize=915584 CPUtime=1.31
/proc/23821/stat : 23821 (java) R 23819 23821 23593 0 -1 0 8671 0 1 0 126 5 0 0 20 0 8 0 156480268 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23821/statm: 228896 8409 2513 14 0 215366 0
[pid=23821/tid=23823] ppid=23819 vsize=915584 CPUtime=0.03
/proc/23821/task/23823/stat : 23823 (java) S 23819 23821 23593 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156480271 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23824] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23824/stat : 23824 (java) S 23819 23821 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156480272 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23825] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23825/stat : 23825 (java) S 23819 23821 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480272 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23826] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23826/stat : 23826 (java) S 23819 23821 23593 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156480275 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23827] ppid=23819 vsize=915584 CPUtime=0.25
/proc/23821/task/23827/stat : 23827 (java) S 23819 23821 23593 0 -1 64 410 0 0 0 25 0 0 0 18 0 8 0 156480275 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23828] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23828/stat : 23828 (java) S 23819 23821 23593 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156480275 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23829] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23829/stat : 23829 (java) S 23819 23821 23593 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156480275 937558016 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915584
[startup+2.984 s]
/proc/loadavg: 0.31 0.71 0.95 3/87 23829
/proc/meminfo: memFree=1666728/2055920 swapFree=4184496/4192956
[pid=23821] ppid=23819 vsize=915584 CPUtime=2.94
/proc/23821/stat : 23821 (java) R 23819 23821 23593 0 -1 0 8698 0 1 0 289 5 0 0 25 0 8 0 156480268 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073905724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23821/statm: 228896 8435 2513 14 0 215366 0
[pid=23821/tid=23823] ppid=23819 vsize=915584 CPUtime=0.03
/proc/23821/task/23823/stat : 23823 (java) S 23819 23821 23593 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156480271 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23824] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23824/stat : 23824 (java) S 23819 23821 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156480272 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23825] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23825/stat : 23825 (java) S 23819 23821 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480272 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23826] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23826/stat : 23826 (java) S 23819 23821 23593 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156480275 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23827] ppid=23819 vsize=915584 CPUtime=0.26
/proc/23821/task/23827/stat : 23827 (java) S 23819 23821 23593 0 -1 64 417 0 0 0 26 0 0 0 16 0 8 0 156480275 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23828] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23828/stat : 23828 (java) S 23819 23821 23593 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156480275 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23829] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23829/stat : 23829 (java) S 23819 23821 23593 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156480275 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915584
[startup+6.26339 s]
/proc/loadavg: 0.45 0.73 0.96 3/87 23829
/proc/meminfo: memFree=1666728/2055920 swapFree=4184496/4192956
[pid=23821] ppid=23819 vsize=915584 CPUtime=6.19
/proc/23821/stat : 23821 (java) R 23819 23821 23593 0 -1 0 8704 0 1 0 614 5 0 0 25 0 8 0 156480268 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23821/statm: 228896 8440 2513 14 0 215366 0
[pid=23821/tid=23823] ppid=23819 vsize=915584 CPUtime=0.03
/proc/23821/task/23823/stat : 23823 (java) S 23819 23821 23593 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156480271 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23824] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23824/stat : 23824 (java) S 23819 23821 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156480272 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23825] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23825/stat : 23825 (java) S 23819 23821 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480272 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23826] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23826/stat : 23826 (java) S 23819 23821 23593 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156480275 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23827] ppid=23819 vsize=915584 CPUtime=0.26
/proc/23821/task/23827/stat : 23827 (java) S 23819 23821 23593 0 -1 64 417 0 0 0 26 0 0 0 16 0 8 0 156480275 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23828] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23828/stat : 23828 (java) S 23819 23821 23593 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156480275 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23821/tid=23829] ppid=23819 vsize=915584 CPUtime=0
/proc/23821/task/23829/stat : 23829 (java) S 23819 23821 23593 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156480275 937558016 8440 18446744073709551615 134512640 134570532 4294956480 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) 915584
Child status: 0
Real time (s): 10.6107
CPU time (s): 10.4794
CPU user time (s): 10.4134
CPU system time (s): 0.065989
CPU usage (%): 98.7623
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4134
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8802
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= 1135
involuntary context switches= 1595
runsolver used 0.013997 s user time and 0.036994 s system time
The end
Begin job on node75 on Sat Jan 6 10:53:23 UTC 2007
IDJOB= 227560
IDBENCH= 6093
FILE ID= node75/227560-1168080799
PBS_JOBID= 3476173
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227560-1168080799/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-227560-1168080799 -o ROOT/results/node75/solver-227560-1168080799 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227560-1168080799/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4e88918fc135c3cce592785ab326627d
RANDOM SEED= 84973323
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1691200 kB
Buffers: 5956 kB
Cached: 269628 kB
SwapCached: 2468 kB
Active: 117248 kB
Inactive: 196776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1691200 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 3668 kB
Writeback: 0 kB
Mapped: 54568 kB
Slab: 35780 kB
Committed_AS: 3933948 kB
PageTables: 1900 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= 66547 MiB
End job on node75 on Sat Jan 6 10:53:42 UTC 2007