0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/227682-1168080809/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.49
0.49 constraints being loaded...
0.66 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.66 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11895 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.363 cpuTime=0.23 mem=11M844
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.553 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.012 cpuTime=0.01 mem=14M16
0.90
0.90 search
0.90 run=0 nbConstraintChecks=15968 nbPropagations=394 nbRevisions=4729 nbUselessRevisions=4019 nbAssignments=25
0.90 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=40 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.047 cpuTime=0.03 mem=15M7
0.93
0.93 search
0.93 run=1 nbConstraintChecks=37185 nbPropagations=1246 nbRevisions=15468 nbUselessRevisions=13025 nbAssignments=55
0.93 nbFailedAssignments=15 nbBacktracks=27 nbVisitedNodes=87 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.074 cpuTime=0.04 mem=15M7
0.94
0.94 search
0.94 run=2 nbConstraintChecks=65438 nbPropagations=2651 nbRevisions=35431 nbUselessRevisions=29953 nbAssignments=98
0.94 nbFailedAssignments=27 nbBacktracks=53 nbVisitedNodes=155 nbRestartNogoods=4 mapSize=47 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.092 cpuTime=0.06 mem=15M7
0.96
0.96 search
0.96 run=3 nbConstraintChecks=104129 nbPropagations=4803 nbRevisions=67687 nbUselessRevisions=57344
0.96 nbAssignments=153 nbFailedAssignments=41 nbBacktracks=87 nbVisitedNodes=244 nbRestartNogoods=6 mapSize=76
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.111 cpuTime=0.08 mem=15M7
0.99
0.99 search
0.99 run=4 nbConstraintChecks=166594 nbPropagations=8130 nbRevisions=119863 nbUselessRevisions=101643
0.99 nbAssignments=236 nbFailedAssignments=65 nbBacktracks=143 nbVisitedNodes=381 nbRestartNogoods=10 mapSize=125
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.137 cpuTime=0.1 mem=15M7
1.02
1.02 search
1.02 run=5 nbConstraintChecks=238878 nbPropagations=12844 nbRevisions=196960 nbUselessRevisions=167434
1.02 nbAssignments=349 nbFailedAssignments=96 nbBacktracks=220 nbVisitedNodes=556 nbRestartNogoods=11 mapSize=178
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.171 cpuTime=0.13 mem=15M7
1.07
1.07 search
1.07 run=6 nbConstraintChecks=352386 nbPropagations=19672 nbRevisions=310993 nbUselessRevisions=264759
1.07 nbAssignments=516 nbFailedAssignments=144 nbBacktracks=333 nbVisitedNodes=827 nbRestartNogoods=14 mapSize=268
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.218 cpuTime=0.18 mem=15M7
1.15
1.15 search
1.15 run=7 nbConstraintChecks=539873 nbPropagations=30047 nbRevisions=485478 nbUselessRevisions=413792
1.15 nbAssignments=775 nbFailedAssignments=224 nbBacktracks=505 nbVisitedNodes=1258 nbRestartNogoods=18 mapSize=422
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.295 cpuTime=0.25 mem=15M7
1.25
1.25 search
1.25 run=8 nbConstraintChecks=811974 nbPropagations=45437 nbRevisions=748013 nbUselessRevisions=638277
1.25 nbAssignments=1153 nbFailedAssignments=342 nbBacktracks=762 nbVisitedNodes=1879 nbRestartNogoods=22
1.25 mapSize=638 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.394 cpuTime=0.35 mem=15M7
1.40
1.40 search
1.40 run=9 nbConstraintChecks=1186668 nbPropagations=67918 nbRevisions=1135082 nbUselessRevisions=969642
1.40 nbAssignments=1711 nbFailedAssignments=507 nbBacktracks=1149 nbVisitedNodes=2797 nbRestartNogoods=23
1.40 mapSize=958 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.545 cpuTime=0.48 mem=15M7
1.42
1.42 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=15M7)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=1790916 nbPropagations=101504 nbRevisions=1715240 nbUselessRevisions=1465245
1.60 nbAssignments=2568 nbFailedAssignments=781 nbBacktracks=1727 nbVisitedNodes=4207 nbRestartNogoods=27
1.60 => wckTime=0.75 cpuTime=0.69 mem=15M7
1.87
1.87 search
1.87 run=11 nbConstraintChecks=2639608 nbPropagations=150682 nbRevisions=2573167 nbUselessRevisions=2199728
1.87 nbAssignments=3813 nbFailedAssignments=1152 nbBacktracks=2592 nbVisitedNodes=6219 nbRestartNogoods=32
1.87 => wckTime=1.016 cpuTime=0.95 mem=15M7
2.29
2.29 search
2.29 run=12 nbConstraintChecks=3974608 nbPropagations=224628 nbRevisions=3871304 nbUselessRevisions=3312290
2.29 nbAssignments=5710 nbFailedAssignments=1742 nbBacktracks=3896 nbVisitedNodes=9334 nbRestartNogoods=39
2.29 => wckTime=1.439 cpuTime=1.37 mem=15M7
2.89
2.89 search
2.90 run=13 nbConstraintChecks=6046080 nbPropagations=336494 nbRevisions=5839704 nbUselessRevisions=4996657
2.90 nbAssignments=8534 nbFailedAssignments=2614 nbBacktracks=5845 nbVisitedNodes=14023 nbRestartNogoods=42
2.90 => wckTime=2.043 cpuTime=1.97 mem=15M7
3.75
3.75 search
3.75 run=14 nbConstraintChecks=8943949 nbPropagations=501802 nbRevisions=8744197 nbUselessRevisions=7482528
3.75 nbAssignments=12748 nbFailedAssignments=3898 nbBacktracks=8765 nbVisitedNodes=20882 nbRestartNogoods=49
3.75 => wckTime=2.894 cpuTime=2.82 mem=15M7
5.06
5.06 search
5.06 run=15 nbConstraintChecks=13452906 nbPropagations=750047 nbRevisions=13114139 nbUselessRevisions=11222624
5.06 nbAssignments=19056 nbFailedAssignments=5822 nbBacktracks=13143 nbVisitedNodes=31313 nbRestartNogoods=63
5.06 => wckTime=4.211 cpuTime=4.14 mem=15M7
7.01
7.01 search
7.01 run=16 nbConstraintChecks=20137794 nbPropagations=1121897 nbRevisions=19640394 nbUselessRevisions=16805644
7.01 nbAssignments=28575 nbFailedAssignments=8762 nbBacktracks=19716 nbVisitedNodes=47013 nbRestartNogoods=72
7.01 => wckTime=6.156 cpuTime=6.08 mem=15M7
9.92
9.92 search
9.92 run=17 nbConstraintChecks=30238610 nbPropagations=1678182 nbRevisions=29445030 nbUselessRevisions=25197392
9.92 nbAssignments=42668 nbFailedAssignments=12995 nbBacktracks=29571 nbVisitedNodes=70074 nbRestartNogoods=81
9.92 => wckTime=9.07 cpuTime=8.99 mem=15M7
11.83
11.83 search
11.83 run=18 nbConstraintChecks=36876805 nbPropagations=2354647 nbRevisions=41376339 nbUselessRevisions=35403859
11.83 nbAssignments=51584 nbFailedAssignments=15719 nbBacktracks=35764 nbVisitedNodes=84860 nbRestartNogoods=88
11.83 => wckTime=10.98 cpuTime=10.9 mem=15M7
11.83
11.83 global
11.83 nbConstraintChecks=36876805 nbPropagations=2354687 nbRevisions=41376339 nbUselessRevisions=35403859
11.83 nbRestartNogoods=88 solvingWckTime=10.981 solvingCpuTime=10.9 expiredTime=no totalExploration=yes
11.83 nbFoundSolutions=0 globalCpuTime=11.31
11.83 => wckTime=11.536 cpuTime=11.26 mem=15M7
11.84
11.84 s UNSATISFIABLE
11.84 d NODES 51584
11.84 d CHECKS 36876805
11.84
11.84 totalWckTime=11.61 totalCpuTime=11.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-227682-1168080809 -o ROOT/results/node56/solver-227682-1168080809 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227682-1168080809/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.09 0.45 0.73 3/68 8547
/proc/meminfo: memFree=1641320/2055920 swapFree=4184772/4192956
[pid=8546] ppid=8544 vsize=1784 CPUtime=0
/proc/8546/stat : 8546 (java) R 8544 8546 8114 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156480168 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8546/statm: 446 136 102 14 0 91 0
[startup+0.106725 s]
/proc/loadavg: 0.09 0.45 0.73 3/68 8547
/proc/meminfo: memFree=1641320/2055920 swapFree=4184772/4192956
[pid=8546] ppid=8544 vsize=916012 CPUtime=0.09
/proc/8546/stat : 8546 (java) R 8544 8546 8114 0 -1 0 3062 0 1 0 8 1 0 0 16 0 8 0 156480168 937996288 2808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154113458 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8546/statm: 229003 2808 1450 14 0 215498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 916012
[startup+0.514764 s]
/proc/loadavg: 0.09 0.45 0.73 3/68 8547
/proc/meminfo: memFree=1641320/2055920 swapFree=4184772/4192956
[pid=8546] ppid=8544 vsize=916352 CPUtime=0.48
/proc/8546/stat : 8546 (java) R 8544 8546 8114 0 -1 0 6457 0 1 0 45 3 0 0 16 0 8 0 156480168 938344448 6196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073575746 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8546/statm: 229088 6196 2138 14 0 215558 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916352
[startup+1.33584 s]
/proc/loadavg: 0.09 0.45 0.73 2/75 8554
/proc/meminfo: memFree=1617584/2055920 swapFree=4184772/4192956
[pid=8546] ppid=8544 vsize=916608 CPUtime=1.3
/proc/8546/stat : 8546 (java) R 8544 8546 8114 0 -1 0 8665 0 1 0 125 5 0 0 16 0 8 0 156480168 938606592 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8546/statm: 229152 8403 2513 14 0 215622 0
[pid=8546/tid=8548] ppid=8544 vsize=916608 CPUtime=0.03
/proc/8546/task/8548/stat : 8548 (java) S 8544 8546 8114 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156480172 938606592 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8546/tid=8549] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8549/stat : 8549 (java) S 8544 8546 8114 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156480172 938606592 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8550] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8550/stat : 8550 (java) S 8544 8546 8114 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480172 938606592 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8551] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8551/stat : 8551 (java) S 8544 8546 8114 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156480175 938606592 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8552] ppid=8544 vsize=916608 CPUtime=0.22
/proc/8546/task/8552/stat : 8552 (java) S 8544 8546 8114 0 -1 64 406 0 0 0 21 1 0 0 16 0 8 0 156480175 938606592 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8553] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8553/stat : 8553 (java) S 8544 8546 8114 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156480175 938606592 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8554] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8554/stat : 8554 (java) S 8544 8546 8114 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156480175 938606592 8403 18446744073709551615 134512640 134570532 4294956480 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) 916608
[startup+2.988 s]
/proc/loadavg: 0.09 0.45 0.73 2/75 8554
/proc/meminfo: memFree=1617392/2055920 swapFree=4184772/4192956
[pid=8546] ppid=8544 vsize=916608 CPUtime=2.95
/proc/8546/stat : 8546 (java) R 8544 8546 8114 0 -1 0 8698 0 1 0 290 5 0 0 17 0 8 0 156480168 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8546/statm: 229152 8435 2513 14 0 215622 0
[pid=8546/tid=8548] ppid=8544 vsize=916608 CPUtime=0.03
/proc/8546/task/8548/stat : 8548 (java) S 8544 8546 8114 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156480172 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8546/tid=8549] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8549/stat : 8549 (java) S 8544 8546 8114 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156480172 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8550] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8550/stat : 8550 (java) S 8544 8546 8114 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480172 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8551] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8551/stat : 8551 (java) S 8544 8546 8114 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156480175 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8552] ppid=8544 vsize=916608 CPUtime=0.24
/proc/8546/task/8552/stat : 8552 (java) S 8544 8546 8114 0 -1 64 419 0 0 0 23 1 0 0 16 0 8 0 156480175 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8553] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8553/stat : 8553 (java) S 8544 8546 8114 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156480175 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8554] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8554/stat : 8554 (java) S 8544 8546 8114 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156480175 938606592 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916608
[startup+6.28132 s]
/proc/loadavg: 0.16 0.46 0.74 2/75 8554
/proc/meminfo: memFree=1617328/2055920 swapFree=4184772/4192956
[pid=8546] ppid=8544 vsize=916608 CPUtime=6.24
/proc/8546/stat : 8546 (java) R 8544 8546 8114 0 -1 0 8704 0 1 0 619 5 0 0 20 0 8 0 156480168 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8546/statm: 229152 8440 2513 14 0 215622 0
[pid=8546/tid=8548] ppid=8544 vsize=916608 CPUtime=0.03
/proc/8546/task/8548/stat : 8548 (java) S 8544 8546 8114 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156480172 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8546/tid=8549] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8549/stat : 8549 (java) S 8544 8546 8114 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156480172 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8550] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8550/stat : 8550 (java) S 8544 8546 8114 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156480172 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8551] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8551/stat : 8551 (java) S 8544 8546 8114 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156480175 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8552] ppid=8544 vsize=916608 CPUtime=0.24
/proc/8546/task/8552/stat : 8552 (java) S 8544 8546 8114 0 -1 64 419 0 0 0 23 1 0 0 16 0 8 0 156480175 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8553] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8553/stat : 8553 (java) S 8544 8546 8114 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156480175 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8546/tid=8554] ppid=8544 vsize=916608 CPUtime=0
/proc/8546/task/8554/stat : 8554 (java) S 8544 8546 8114 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156480175 938606592 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916608
Child status: 0
Real time (s): 11.8908
CPU time (s): 11.8132
CPU user time (s): 11.7482
CPU system time (s): 0.06499
CPU usage (%): 99.3472
Max. virtual memory (cumulated for all children) (KiB): 916608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7482
system time used= 0.06499
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= 1152
involuntary context switches= 477
runsolver used 0.017997 s user time and 0.036994 s system time
The end
Begin job on node56 on Sat Jan 6 10:53:33 UTC 2007
IDJOB= 227682
IDBENCH= 6105
FILE ID= node56/227682-1168080809
PBS_JOBID= 3476170
Free space on /tmp= 66521 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227682-1168080809/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-227682-1168080809 -o ROOT/results/node56/solver-227682-1168080809 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227682-1168080809/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6361e72e1fbbf6d640504cad81960bbe
RANDOM SEED= 555330224
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: 1641800 kB
Buffers: 30532 kB
Cached: 302716 kB
SwapCached: 2060 kB
Active: 66528 kB
Inactive: 280908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1641800 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 21160 kB
Slab: 52348 kB
Committed_AS: 2775332 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:53:59 UTC 2007