0.31
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/227871-1168080828/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.41 => wckTime=0.092 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.67 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11890 maxDegree=39
0.67 maxArity=2
0.67 => wckTime=0.355 cpuTime=0.23 mem=11M848
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.54 cpuTime=0.36 mem=14M15
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.011 cpuTime=0.0 mem=14M15
0.90
0.90 search
0.90 run=0 nbConstraintChecks=13987 nbPropagations=378 nbRevisions=4108 nbUselessRevisions=3477 nbAssignments=25
0.90 nbFailedAssignments=4 nbBacktracks=13 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.045 cpuTime=0.02 mem=15M7
0.93
0.93 search
0.93 run=1 nbConstraintChecks=32733 nbPropagations=1184 nbRevisions=13824 nbUselessRevisions=11669 nbAssignments=57
0.93 nbFailedAssignments=11 nbBacktracks=31 nbVisitedNodes=86 nbRestartNogoods=3 mapSize=23 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.071 cpuTime=0.04 mem=15M7
0.95
0.95 search
0.95 run=2 nbConstraintChecks=56246 nbPropagations=2489 nbRevisions=30968 nbUselessRevisions=26129 nbAssignments=98
0.95 nbFailedAssignments=22 nbBacktracks=54 nbVisitedNodes=150 nbRestartNogoods=5 mapSize=42 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.087 cpuTime=0.05 mem=15M7
0.96
0.96 search
0.96 run=3 nbConstraintChecks=88263 nbPropagations=4479 nbRevisions=58618 nbUselessRevisions=49544
0.96 nbAssignments=150 nbFailedAssignments=33 nbBacktracks=88 nbVisitedNodes=231 nbRestartNogoods=8 mapSize=67
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.103 cpuTime=0.06 mem=15M7
0.98
0.98 search
0.98 run=4 nbConstraintChecks=140439 nbPropagations=7544 nbRevisions=103348 nbUselessRevisions=87607
0.98 nbAssignments=232 nbFailedAssignments=55 nbBacktracks=138 nbVisitedNodes=361 nbRestartNogoods=10 mapSize=107
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.126 cpuTime=0.09 mem=15M7
1.01
1.01 search
1.01 run=5 nbConstraintChecks=208341 nbPropagations=11976 nbRevisions=171433 nbUselessRevisions=145771
1.01 nbAssignments=344 nbFailedAssignments=86 nbBacktracks=213 nbVisitedNodes=538 nbRestartNogoods=14 mapSize=166
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.155 cpuTime=0.11 mem=15M7
1.06
1.06 search
1.06 run=6 nbConstraintChecks=330186 nbPropagations=18717 nbRevisions=279408 nbUselessRevisions=238146
1.06 nbAssignments=522 nbFailedAssignments=143 nbBacktracks=330 nbVisitedNodes=834 nbRestartNogoods=17 mapSize=268
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.204 cpuTime=0.16 mem=15M7
1.13
1.13 search
1.13 run=7 nbConstraintChecks=496721 nbPropagations=28709 nbRevisions=440507 nbUselessRevisions=375620
1.13 nbAssignments=776 nbFailedAssignments=219 nbBacktracks=501 nbVisitedNodes=1245 nbRestartNogoods=18 mapSize=404
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.272 cpuTime=0.22 mem=15M7
1.23
1.23 search
1.23 run=8 nbConstraintChecks=748407 nbPropagations=43575 nbRevisions=685380 nbUselessRevisions=584906
1.23 nbAssignments=1156 nbFailedAssignments=330 nbBacktracks=762 nbVisitedNodes=1870 nbRestartNogoods=23
1.23 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.373 cpuTime=0.32 mem=15M7
1.38
1.38 search
1.38 run=9 nbConstraintChecks=1102802 nbPropagations=65229 nbRevisions=1047321 nbUselessRevisions=894947
1.38 nbAssignments=1706 nbFailedAssignments=489 nbBacktracks=1146 nbVisitedNodes=2746 nbRestartNogoods=27
1.38 mapSize=911 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.519 cpuTime=0.45 mem=15M7
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=15M7)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=1693158 nbPropagations=97918 nbRevisions=1600511 nbUselessRevisions=1367842
1.57 nbAssignments=2530 nbFailedAssignments=733 nbBacktracks=1723 nbVisitedNodes=4100 nbRestartNogoods=31
1.57 => wckTime=0.714 cpuTime=0.63 mem=15M7
1.81
1.81 search
1.81 run=11 nbConstraintChecks=2464148 nbPropagations=145253 nbRevisions=2413248 nbUselessRevisions=2065058
1.81 nbAssignments=3758 nbFailedAssignments=1088 nbBacktracks=2590 nbVisitedNodes=6084 nbRestartNogoods=35
1.81 => wckTime=0.948 cpuTime=0.87 mem=15M7
2.16
2.16 search
2.16 run=12 nbConstraintChecks=3618427 nbPropagations=214662 nbRevisions=3615856 nbUselessRevisions=3099033
2.16 nbAssignments=5579 nbFailedAssignments=1602 nbBacktracks=3888 nbVisitedNodes=9025 nbRestartNogoods=40
2.16 => wckTime=1.298 cpuTime=1.22 mem=15M7
2.71
2.71 search
2.71 run=13 nbConstraintChecks=5376347 nbPropagations=317077 nbRevisions=5400610 nbUselessRevisions=4634412
2.71 nbAssignments=8318 nbFailedAssignments=2389 nbBacktracks=5835 nbVisitedNodes=13430 nbRestartNogoods=46
2.71 => wckTime=1.852 cpuTime=1.77 mem=15M7
3.59
3.59 search
3.59 run=14 nbConstraintChecks=8184256 nbPropagations=471926 nbRevisions=8111053 nbUselessRevisions=6964101
3.59 nbAssignments=12490 nbFailedAssignments=3634 nbBacktracks=8755 nbVisitedNodes=20255 nbRestartNogoods=53
3.59 => wckTime=2.735 cpuTime=2.65 mem=15M7
4.90
4.90 search
4.90 run=15 nbConstraintChecks=12332004 nbPropagations=703945 nbRevisions=12201239 nbUselessRevisions=10481283
4.90 nbAssignments=18681 nbFailedAssignments=5443 nbBacktracks=13134 nbVisitedNodes=30351 nbRestartNogoods=58
4.90 => wckTime=4.041 cpuTime=3.96 mem=15M7
6.86
6.86 search
6.86 run=16 nbConstraintChecks=18523730 nbPropagations=1051587 nbRevisions=18330316 nbUselessRevisions=15750648
6.86 nbAssignments=28015 nbFailedAssignments=8201 nbBacktracks=19703 nbVisitedNodes=45518 nbRestartNogoods=63
6.86 => wckTime=6.002 cpuTime=5.91 mem=15M7
9.92
9.92 search
9.92 run=17 nbConstraintChecks=28186228 nbPropagations=1578055 nbRevisions=27633631 nbUselessRevisions=23742501
9.92 nbAssignments=42083 nbFailedAssignments=12407 nbBacktracks=29558 nbVisitedNodes=68586 nbRestartNogoods=70
9.92 => wckTime=9.057 cpuTime=8.97 mem=15M7
11.92
11.92 search
11.92 run=18 nbConstraintChecks=34432932 nbPropagations=2222393 nbRevisions=39049425 nbUselessRevisions=33559188
11.92 nbAssignments=51927 nbFailedAssignments=15272 nbBacktracks=36497 nbVisitedNodes=84491 nbRestartNogoods=78
11.92 => wckTime=11.059 cpuTime=10.97 mem=15M7
11.92
11.92 global
11.92 nbConstraintChecks=34432932 nbPropagations=2222433 nbRevisions=39049425 nbUselessRevisions=33559188
11.92 nbRestartNogoods=78 solvingWckTime=11.059 solvingCpuTime=10.97 expiredTime=no totalExploration=no
11.92 nbFoundSolutions=1 globalCpuTime=11.36
11.92 => wckTime=11.602 cpuTime=11.33 mem=15M7
11.92
11.92 s SATISFIABLE
11.92 v 2 7 6 2 4 3 3 3 0 4 5 0 4 2 2 3 4 1 4 6 1 6 5 4 1 2 2 7 4 3 6 6 6 5 4 6 4 1 1 4
11.92 d NODES 51927
11.92 d CHECKS 34432932
11.92
11.92 totalWckTime=11.676 totalCpuTime=11.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-227871-1168080828 -o ROOT/results/node59/solver-227871-1168080828 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227871-1168080828/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.06 1.75 1.85 3/68 24878
/proc/meminfo: memFree=1496064/2055920 swapFree=4192812/4192956
[pid=24877] ppid=24875 vsize=1784 CPUtime=0
/proc/24877/stat : 24877 (java) R 24875 24877 24376 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156481854 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24877/statm: 446 158 123 14 0 91 0
[startup+0.103111 s]
/proc/loadavg: 1.06 1.75 1.85 3/68 24878
/proc/meminfo: memFree=1496064/2055920 swapFree=4192812/4192956
[pid=24877] ppid=24875 vsize=916012 CPUtime=0.08
/proc/24877/stat : 24877 (java) D 24875 24877 24376 0 -1 0 2990 0 1 0 7 1 0 0 17 0 8 0 156481854 937996288 2736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24877/statm: 229003 2736 1426 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012
[startup+0.511154 s]
/proc/loadavg: 1.06 1.75 1.85 3/68 24878
/proc/meminfo: memFree=1496064/2055920 swapFree=4192812/4192956
[pid=24877] ppid=24875 vsize=916352 CPUtime=0.47
/proc/24877/stat : 24877 (java) R 24875 24877 24376 0 -1 0 6364 0 1 0 43 4 0 0 16 0 8 0 156481854 938344448 6103 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073416307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24877/statm: 229088 6103 2138 14 0 215558 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 916352
[startup+1.33124 s]
/proc/loadavg: 1.05 1.74 1.84 2/75 24885
/proc/meminfo: memFree=1472328/2055920 swapFree=4192812/4192956
[pid=24877] ppid=24875 vsize=916608 CPUtime=1.29
/proc/24877/stat : 24877 (java) R 24875 24877 24376 0 -1 0 8669 0 1 0 123 6 0 0 17 0 8 0 156481854 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24877/statm: 229152 8407 2513 14 0 215622 0
[pid=24877/tid=24879] ppid=24875 vsize=916608 CPUtime=0.03
/proc/24877/task/24879/stat : 24879 (java) S 24875 24877 24376 0 -1 64 305 0 0 0 3 0 0 0 17 0 8 0 156481858 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24877/tid=24880] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24880/stat : 24880 (java) S 24875 24877 24376 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481858 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24881] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24881/stat : 24881 (java) S 24875 24877 24376 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156481858 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24882] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24882/stat : 24882 (java) S 24875 24877 24376 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481861 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24883] ppid=24875 vsize=916608 CPUtime=0.24
/proc/24877/task/24883/stat : 24883 (java) R 24875 24877 24376 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156481861 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24877/tid=24884] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24884/stat : 24884 (java) S 24875 24877 24376 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156481861 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24885] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24885/stat : 24885 (java) S 24875 24877 24376 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481861 938606592 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916608
[startup+2.96742 s]
/proc/loadavg: 1.05 1.74 1.84 2/75 24885
/proc/meminfo: memFree=1472144/2055920 swapFree=4192812/4192956
[pid=24877] ppid=24875 vsize=916608 CPUtime=2.91
/proc/24877/stat : 24877 (java) R 24875 24877 24376 0 -1 0 8700 0 1 0 285 6 0 0 18 0 8 0 156481854 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24877/statm: 229152 8437 2513 14 0 215622 0
[pid=24877/tid=24879] ppid=24875 vsize=916608 CPUtime=0.03
/proc/24877/task/24879/stat : 24879 (java) S 24875 24877 24376 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156481858 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24877/tid=24880] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24880/stat : 24880 (java) S 24875 24877 24376 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481858 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24881] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24881/stat : 24881 (java) S 24875 24877 24376 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156481858 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24882] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24882/stat : 24882 (java) S 24875 24877 24376 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481861 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24883] ppid=24875 vsize=916608 CPUtime=0.26
/proc/24877/task/24883/stat : 24883 (java) S 24875 24877 24376 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 156481861 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24877/tid=24884] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24884/stat : 24884 (java) S 24875 24877 24376 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156481861 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24885] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24885/stat : 24885 (java) S 24875 24877 24376 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481861 938606592 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 916608
[startup+6.25478 s]
/proc/loadavg: 1.05 1.72 1.84 2/75 24885
/proc/meminfo: memFree=1472080/2055920 swapFree=4192812/4192956
[pid=24877] ppid=24875 vsize=916608 CPUtime=6.2
/proc/24877/stat : 24877 (java) R 24875 24877 24376 0 -1 0 8705 0 1 0 614 6 0 0 25 0 8 0 156481854 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24877/statm: 229152 8442 2513 14 0 215622 0
[pid=24877/tid=24879] ppid=24875 vsize=916608 CPUtime=0.03
/proc/24877/task/24879/stat : 24879 (java) S 24875 24877 24376 0 -1 64 305 0 0 0 3 0 0 0 17 0 8 0 156481858 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24877/tid=24880] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24880/stat : 24880 (java) S 24875 24877 24376 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481858 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24881] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24881/stat : 24881 (java) S 24875 24877 24376 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 156481858 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24882] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24882/stat : 24882 (java) S 24875 24877 24376 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481861 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24883] ppid=24875 vsize=916608 CPUtime=0.26
/proc/24877/task/24883/stat : 24883 (java) S 24875 24877 24376 0 -1 64 417 0 0 0 25 1 0 0 15 0 8 0 156481861 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24877/tid=24884] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24884/stat : 24884 (java) S 24875 24877 24376 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156481861 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24877/tid=24885] ppid=24875 vsize=916608 CPUtime=0
/proc/24877/task/24885/stat : 24885 (java) S 24875 24877 24376 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481861 938606592 8442 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 916608
Child status: 0
Real time (s): 11.9491
CPU time (s): 11.8882
CPU user time (s): 11.8122
CPU system time (s): 0.075988
CPU usage (%): 99.49
Max. virtual memory (cumulated for all children) (KiB): 916608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8122
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8806
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= 1194
involuntary context switches= 399
runsolver used 0.011998 s user time and 0.041993 s system time
The end
Begin job on node59 on Sat Jan 6 10:53:53 UTC 2007
IDJOB= 227871
IDBENCH= 6131
FILE ID= node59/227871-1168080828
PBS_JOBID= 3476055
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227871-1168080828/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-227871-1168080828 -o ROOT/results/node59/solver-227871-1168080828 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227871-1168080828/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ebcb9b8424c15daf390cc93618d11aab
RANDOM SEED= 193454721
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.239
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.239
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: 1496672 kB
Buffers: 45116 kB
Cached: 418644 kB
SwapCached: 0 kB
Active: 73660 kB
Inactive: 411296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1496672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 31400 kB
Slab: 59952 kB
Committed_AS: 2889124 kB
PageTables: 1696 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= 66550 MiB
End job on node59 on Sat Jan 6 10:54:16 UTC 2007