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/223744-1168080456/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.095 cpuTime=0.07 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.58 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=2
0.58 => wckTime=0.286 cpuTime=0.21 mem=13M812
0.62
0.62 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.468 cpuTime=0.33 mem=13M749
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0020 cpuTime=0.0 mem=13M749
0.82
0.82 search
0.82 run=0 nbConstraintChecks=34079 nbPropagations=605 nbRevisions=4205 nbUselessRevisions=2962 nbAssignments=29
0.82 nbFailedAssignments=11 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.05 cpuTime=0.03 mem=14M724
0.84
0.84 search
0.84 run=1 nbConstraintChecks=89713 nbPropagations=2053 nbRevisions=15138 nbUselessRevisions=10741 nbAssignments=66
0.84 nbFailedAssignments=28 nbBacktracks=28 nbVisitedNodes=112 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.07 cpuTime=0.04 mem=14M724
0.85
0.85 search
0.85 run=2 nbConstraintChecks=143219 nbPropagations=4458 nbRevisions=32815 nbUselessRevisions=23142
0.85 nbAssignments=109 nbFailedAssignments=43 nbBacktracks=50 nbVisitedNodes=185 nbRestartNogoods=4 mapSize=42
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.086 cpuTime=0.05 mem=14M724
0.87
0.87 search
0.87 run=3 nbConstraintChecks=214841 nbPropagations=8062 nbRevisions=59428 nbUselessRevisions=41680
0.87 nbAssignments=165 nbFailedAssignments=62 nbBacktracks=84 nbVisitedNodes=282 nbRestartNogoods=6 mapSize=72
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.103 cpuTime=0.07 mem=14M724
0.89
0.89 search
0.89 run=4 nbConstraintChecks=359074 nbPropagations=13881 nbRevisions=104625 nbUselessRevisions=73216
0.89 nbAssignments=280 nbFailedAssignments=121 nbBacktracks=136 nbVisitedNodes=487 nbRestartNogoods=9 mapSize=117
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.126 cpuTime=0.09 mem=14M724
0.93
0.93 search
0.93 run=5 nbConstraintChecks=538481 nbPropagations=22744 nbRevisions=172942 nbUselessRevisions=120370
0.93 nbAssignments=408 nbFailedAssignments=170 nbBacktracks=212 nbVisitedNodes=712 nbRestartNogoods=11 mapSize=188
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.158 cpuTime=0.12 mem=14M724
0.98
0.98 search
0.98 run=6 nbConstraintChecks=890686 nbPropagations=37364 nbRevisions=288075 nbUselessRevisions=200312
0.98 nbAssignments=684 nbFailedAssignments=326 nbBacktracks=325 nbVisitedNodes=1221 nbRestartNogoods=15 mapSize=293
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.215 cpuTime=0.17 mem=14M724
1.05
1.05 search
1.05 run=7 nbConstraintChecks=1325485 nbPropagations=60118 nbRevisions=464190 nbUselessRevisions=321704
1.05 nbAssignments=1028 nbFailedAssignments=493 nbBacktracks=496 nbVisitedNodes=1838 nbRestartNogoods=25
1.05 mapSize=445 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.285 cpuTime=0.24 mem=14M724
1.18
1.18 search
1.18 run=8 nbConstraintChecks=2117019 nbPropagations=94358 nbRevisions=730531 nbUselessRevisions=503545
1.18 nbAssignments=1528 nbFailedAssignments=733 nbBacktracks=752 nbVisitedNodes=2744 nbRestartNogoods=30
1.18 mapSize=658 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.408 cpuTime=0.36 mem=14M724
1.31
1.31 search
1.31 run=9 nbConstraintChecks=3039091 nbPropagations=143893 nbRevisions=1112590 nbUselessRevisions=764238
1.31 nbAssignments=2215 nbFailedAssignments=1032 nbBacktracks=1136 nbVisitedNodes=3968 nbRestartNogoods=37
1.31 mapSize=990 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.54 cpuTime=0.48 mem=14M724
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=14M724)
1.49
1.49 search
1.49 run=10 nbConstraintChecks=4306062 nbPropagations=216373 nbRevisions=1669163 nbUselessRevisions=1144572
1.49 nbAssignments=3247 nbFailedAssignments=1483 nbBacktracks=1712 nbVisitedNodes=5797 nbRestartNogoods=45
1.49 => wckTime=0.718 cpuTime=0.65 mem=14M724
1.77
1.77 search
1.77 run=11 nbConstraintChecks=6518954 nbPropagations=326501 nbRevisions=2530492 nbUselessRevisions=1737273
1.77 nbAssignments=4957 nbFailedAssignments=2324 nbBacktracks=2577 nbVisitedNodes=8917 nbRestartNogoods=51
1.77 => wckTime=1.005 cpuTime=0.94 mem=14M724
2.14
2.14 search
2.14 run=12 nbConstraintChecks=9412672 nbPropagations=487347 nbRevisions=3786056 nbUselessRevisions=2602563
2.14 nbAssignments=7302 nbFailedAssignments=3366 nbBacktracks=3874 nbVisitedNodes=13072 nbRestartNogoods=60
2.14 => wckTime=1.378 cpuTime=1.31 mem=14M724
2.72
2.72 search
2.72 run=13 nbConstraintChecks=14009803 nbPropagations=723525 nbRevisions=5624844 nbUselessRevisions=3865692
2.72 nbAssignments=10737 nbFailedAssignments=4848 nbBacktracks=5820 nbVisitedNodes=19068 nbRestartNogoods=74
2.72 => wckTime=1.949 cpuTime=1.88 mem=14M724
3.65
3.65 search
3.65 run=14 nbConstraintChecks=21610383 nbPropagations=1083444 nbRevisions=8445156 nbUselessRevisions=5804468
3.65 nbAssignments=16313 nbFailedAssignments=7502 nbBacktracks=8739 nbVisitedNodes=29159 nbRestartNogoods=85
3.65 => wckTime=2.888 cpuTime=2.82 mem=14M724
4.95
4.95 search
4.95 run=15 nbConstraintChecks=31923237 nbPropagations=1618952 nbRevisions=12611409 nbUselessRevisions=8663188
4.95 nbAssignments=24123 nbFailedAssignments=10928 nbBacktracks=13118 nbVisitedNodes=42966 nbRestartNogoods=90
4.95 => wckTime=4.187 cpuTime=4.12 mem=14M724
6.79
6.79 search
6.79 run=16 nbConstraintChecks=46876711 nbPropagations=2395039 nbRevisions=18657596 nbUselessRevisions=12804790
6.79 nbAssignments=34984 nbFailedAssignments=15702 nbBacktracks=19165 nbVisitedNodes=62117 nbRestartNogoods=98
6.79 => wckTime=6.026 cpuTime=5.96 mem=14M724
6.79
6.79 global
6.79 nbConstraintChecks=46876711 nbPropagations=2395079 nbRevisions=18657596 nbUselessRevisions=12804790
6.79 nbRestartNogoods=98 solvingWckTime=6.027 solvingCpuTime=5.96 expiredTime=no totalExploration=no
6.79 nbFoundSolutions=1 globalCpuTime=6.34
6.79 => wckTime=6.499 cpuTime=6.29 mem=14M724
6.80
6.80 s SATISFIABLE
6.80 v 24 19 9 11 17 9 18 18 16 22 5 17 7 22 14 3 24 13 13 17 20 4 12 22 5 11 14 7 15 16 13 8 16 23 9 7 6 11 22 12
6.80 d NODES 34984
6.80 d CHECKS 46876711
6.80
6.80 totalWckTime=6.573 totalCpuTime=6.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-223744-1168080456 -o ROOT/results/node16/solver-223744-1168080456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223744-1168080456/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.72 1.93 1.98 4/93 22491
/proc/meminfo: memFree=1331304/2055920 swapFree=4191880/4192956
[pid=22490] ppid=22488 vsize=172 CPUtime=0
/proc/22490/stat : 22490 (java) R 22488 22490 22423 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156440572 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7205163 0 0 4096 0 0 0 0 17 0 0 0
/proc/22490/statm: 43 24 18 14 0 3 0
[startup+0.108471 s]
/proc/loadavg: 1.72 1.93 1.98 4/93 22491
/proc/meminfo: memFree=1331304/2055920 swapFree=4191880/4192956
[pid=22490] ppid=22488 vsize=914988 CPUtime=0.09
/proc/22490/stat : 22490 (java) R 22488 22490 22423 0 -1 0 3056 0 1 0 8 1 0 0 22 0 8 0 156440572 936947712 2802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22490/statm: 228747 2804 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516395 s]
/proc/loadavg: 1.72 1.93 1.98 4/93 22491
/proc/meminfo: memFree=1331304/2055920 swapFree=4191880/4192956
[pid=22490] ppid=22488 vsize=915328 CPUtime=0.5
/proc/22490/stat : 22490 (java) R 22488 22490 22423 0 -1 0 7372 0 1 0 46 4 0 0 25 0 8 0 156440572 937295872 7111 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22490/statm: 228832 7111 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33725 s]
/proc/loadavg: 1.72 1.93 1.98 3/100 22498
/proc/meminfo: memFree=1307760/2055920 swapFree=4191880/4192956
[pid=22490] ppid=22488 vsize=915452 CPUtime=1.31
/proc/22490/stat : 22490 (java) R 22488 22490 22423 0 -1 0 8647 0 1 0 126 5 0 0 25 0 8 0 156440572 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22490/statm: 228863 8385 2513 14 0 215333 0
[pid=22490/tid=22492] ppid=22488 vsize=915452 CPUtime=0.02
/proc/22490/task/22492/stat : 22492 (java) S 22488 22490 22423 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156440575 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22493] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22493/stat : 22493 (java) S 22488 22490 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156440576 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22494] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22494/stat : 22494 (java) S 22488 22490 22423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156440576 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22495] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22495/stat : 22495 (java) S 22488 22490 22423 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156440579 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22496] ppid=22488 vsize=915452 CPUtime=0.2
/proc/22490/task/22496/stat : 22496 (java) S 22488 22490 22423 0 -1 64 382 0 0 0 20 0 0 0 15 0 8 0 156440579 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22497] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22497/stat : 22497 (java) S 22488 22490 22423 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156440579 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22498] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22498/stat : 22498 (java) S 22488 22490 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156440579 937422848 8385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97395 s]
/proc/loadavg: 1.72 1.93 1.98 3/100 22498
/proc/meminfo: memFree=1307696/2055920 swapFree=4191880/4192956
[pid=22490] ppid=22488 vsize=915452 CPUtime=2.95
/proc/22490/stat : 22490 (java) R 22488 22490 22423 0 -1 0 8654 0 1 0 290 5 0 0 25 0 8 0 156440572 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786837 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22490/statm: 228863 8390 2513 14 0 215333 0
[pid=22490/tid=22492] ppid=22488 vsize=915452 CPUtime=0.02
/proc/22490/task/22492/stat : 22492 (java) S 22488 22490 22423 0 -1 64 244 0 0 0 2 0 0 0 17 0 8 0 156440575 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22493] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22493/stat : 22493 (java) S 22488 22490 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156440576 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22494] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22494/stat : 22494 (java) S 22488 22490 22423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156440576 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22495] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22495/stat : 22495 (java) S 22488 22490 22423 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22496] ppid=22488 vsize=915452 CPUtime=0.21
/proc/22490/task/22496/stat : 22496 (java) S 22488 22490 22423 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22497] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22497/stat : 22497 (java) S 22488 22490 22423 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22498] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22498/stat : 22498 (java) S 22488 22490 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+6.26235 s]
/proc/loadavg: 1.74 1.94 1.98 3/100 22498
/proc/meminfo: memFree=1307568/2055920 swapFree=4191880/4192956
[pid=22490] ppid=22488 vsize=915452 CPUtime=6.24
/proc/22490/stat : 22490 (java) R 22488 22490 22423 0 -1 0 8654 0 1 0 619 5 0 0 25 0 8 0 156440572 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22490/statm: 228863 8390 2513 14 0 215333 0
[pid=22490/tid=22492] ppid=22488 vsize=915452 CPUtime=0.02
/proc/22490/task/22492/stat : 22492 (java) S 22488 22490 22423 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 156440575 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22493] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22493/stat : 22493 (java) S 22488 22490 22423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156440576 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22494] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22494/stat : 22494 (java) S 22488 22490 22423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156440576 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22495] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22495/stat : 22495 (java) S 22488 22490 22423 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22496] ppid=22488 vsize=915452 CPUtime=0.21
/proc/22490/task/22496/stat : 22496 (java) S 22488 22490 22423 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22497] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22497/stat : 22497 (java) S 22488 22490 22423 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22490/tid=22498] ppid=22488 vsize=915452 CPUtime=0
/proc/22490/task/22498/stat : 22498 (java) S 22488 22490 22423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156440579 937422848 8390 18446744073709551615 134512640 134570532 4294956464 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) 915452
Child status: 0
Real time (s): 6.84911
CPU time (s): 6.79297
CPU user time (s): 6.73098
CPU system time (s): 0.06199
CPU usage (%): 99.1803
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.73098
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8727
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= 1249
involuntary context switches= 1720
runsolver used 0.008998 s user time and 0.034994 s system time
The end
Begin job on node16 on Sat Jan 6 10:47:37 UTC 2007
IDJOB= 223744
IDBENCH= 5676
FILE ID= node16/223744-1168080456
PBS_JOBID= 3475863
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-69_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223744-1168080456/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-223744-1168080456 -o ROOT/results/node16/solver-223744-1168080456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223744-1168080456/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 990376cbc6c9155c4edc85cc826662ae
RANDOM SEED= 307675016
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.220
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.220
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: 1331720 kB
Buffers: 64368 kB
Cached: 484192 kB
SwapCached: 268 kB
Active: 228840 kB
Inactive: 397652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1331720 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2256 kB
Writeback: 0 kB
Mapped: 106392 kB
Slab: 82164 kB
Committed_AS: 4680476 kB
PageTables: 2472 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= 66500 MiB
End job on node16 on Sat Jan 6 10:47:46 UTC 2007